- o -

• one() : Reach , wali::regex::Regex , wali::SemElemPair , wali::ShortestPathSemiring , wali::SemElem , wali::wfa::epr::FunctionalWeight , wali::witness::Witness
• operator!=() : opennwa::NestedWord , wali::relations::TernaryRelation< Subject >::Iterator , wali::relations::Component , wali::relations::Domain , wali::HashMapIterator< Key, Data, HashFunc, EqualFunc > , wali::HashMapConstIterator< Key, Data, HashFunc, EqualFunc > , wali::ref_ptr< T >
• operator()() : opennwa::CallReturnTransitionInserter , opennwa::traverse::ConstStateFunctor , wali::hm_hash< unsigned long > , wali::hm_hash< const unsigned long > , opennwa::traverse::ConstCallStringStateFunctor , wali::hm_equal< unsigned long > , wali::hm_equal< const unsigned long > , opennwa::EpsilonTransitionInserter , wali::graph::ActionFunctor , wali::hm_hash< char * > , wali::hm_hash< const char * > , wali::graph::TransitionCmp , wali::hm_equal< char * > , wali::hm_equal< const char * > , opennwa::EpsilonTransitionInserter , wali::graph::TransitionEq , wali::hm_hash< long long > , wali::hm_hash< const long long > , wali::graph::TransitionHash , wali::hm_equal< long long > , wali::hm_equal< const long long > , opennwa::query::details::predicates::SelectorEqualityPredicate< Selector > , wali::graph::cmp_reg_exp , wali::hm_hash< unsigned long long > , wali::hm_hash< const unsigned long long > , wali::graph::reg_exp_key_t , wali::hm_equal< unsigned long long > , wali::hm_equal< const unsigned long long > , opennwa::query::details::selectors::CallTransitionSelector , wali::graph::hash_reg_exp_key , wali::hm_hash< KeyPair > , wali::hm_equal< KeyPair > , wali::graph::hash_sem_elem , wali::hm_hash< KeyTriple > , wali::hm_equal< KeyTriple > , opennwa::query::details::selectors::InternalTransitionSelector , wali::graph::sem_elem_equal , wali::hm_hash< std::set< Key > > , wali::hm_equal< std::set< Key > > , wali::graph::sem_elem_less , wali::hm_hash< key_src_t > , wali::hm_equal< key_src_t > , opennwa::query::details::selectors::ReturnTransitionSelector , wali::hm_hash< char > , wali::wfa::ITransLT , wali::wfa::ITransEq , wali::hm_hash< const char > , wali::wfa::State , wali::wfa::TransFunctor , opennwa::query::details::selectors::SourceSelector , wali::hm_equal< char > , wali::wfa::ConstTransFunctor , wali::wfa::TransCounter , wali::hm_equal< const char > , wali::wfa::TransPrinter , wali::wfa::TransCopier , opennwa::query::details::selectors::SourceSelector , wali::hm_hash< unsigned char > , wali::wfa::TransDuplicator , wali::wfa::TransDeleter , wali::hm_hash< const unsigned char > , wali::wfa::TransZeroWeight , wali::wfa::TransDotty , opennwa::query::details::selectors::SymbolSelector , wali::hm_equal< unsigned char > , wali::wfa::TransMarshaller , wali::wfa::StackHasher , wali::wpds::RuleCopier , wali::wpds::WpdsRules , wali::wpds::WpdsStackSymbols , wali::wpds::RuleDotty , wali::wpds::RuleMarshaller , wali::wpds::RulePrinter , wali::wpds::ConstRuleFunctor , wali::hm_equal< const unsigned char > , wali::wpds::ewpds::EWPDS , wali::wpds::ewpds::CopyCallRules , opennwa::query::details::selectors::SymbolSelector , wali::hm_hash< int > , wali::wpds::RuleFunctor , wali::hm_hash< const int > , opennwa::query::details::selectors::TargetSelector , wali::hm_equal< int > , wali::hm_equal< const int > , opennwa::query::details::selectors::TargetSelector , wali::hm_hash< unsigned int > , wali::wpds::WPDS , wali::hm_hash< const unsigned int > , opennwa::query::details::selectors::CallPredecessorSelector , wali::hm_equal< unsigned int > , wali::hm_equal< const unsigned int > , opennwa::CallReturnTransitionInserter , opennwa::query::details::selectors::PairSelector< Selector1, Selector2 > , wali::hm_hash< long > , wali::hm_hash< const long > , opennwa::query::details::selectors::PairSelector< Selector1, Selector2 > , wali::hm_equal< long > , wali::hm_equal< const long >
• operator*() : wali::wpds::rule_t , wali::HashMapIterator< Key, Data, HashFunc, EqualFunc > , wali::ref_ptr< T > , wali::relations::TernaryRelation< Subject >::Iterator , wali::HashMapConstIterator< Key, Data, HashFunc, EqualFunc > , opennwa::query::details::filter::FilteringIterator< BackingIterator, Predicate > , opennwa::query::details::filter::IteratorPairIterator< CPlusPlusIterator >
• operator++() : wali::relations::TernaryRelation< Subject >::Iterator , wali::HashMapConstIterator< Key, Data, HashFunc, EqualFunc > , wali::relations::TernaryRelation< Subject >::Iterator , wali::HashMapIterator< Key, Data, HashFunc, EqualFunc > , wali::HashMapConstIterator< Key, Data, HashFunc, EqualFunc > , opennwa::query::details::filter::FilteringIterator< BackingIterator, Predicate > , opennwa::query::details::filter::IteratorPairIterator< CPlusPlusIterator >
• operator->() : wali::wpds::rule_t , wali::relations::TernaryRelation< Subject >::Iterator , wali::HashMapIterator< Key, Data, HashFunc, EqualFunc > , wali::HashMapConstIterator< Key, Data, HashFunc, EqualFunc > , wali::ref_ptr< T > , wali::wpds::rule_t
• operator<() : opennwa::WaliKey , opennwa::FstKey , wali::wpds::Rule , wali::Quad< T, U, V, W > , wali::Triple< T, U, V > , opennwa::details::Configuration
• operator=() : opennwa::details::TransitionStorage , wali::witness::witness_t , wali::Markable , wali::wpds::rule_t , opennwa::details::TransitionInfo , wali::Countable , wali::ref_ptr< T > , wali::wfa::WFA , wali::ref_ptr< T > , opennwa::query::details::iterators::iterator_base_wrapper< ValueType, ReferenceType > , wali::Triple< T, U, V > , opennwa::details::Label , opennwa::details::StateStorage , opennwa::details::SymbolStorage , wali::IMarkable , wali::wfa::Trans , wali::wpds::rule_t , opennwa::Nwa , wali::witness::witness_t , wali::Quad< T, U, V, W > , wali::HashMap< Key, Data, HashFunc, EqualFunc >
• operator==() : opennwa::NestedWord , wali::relations::TernaryRelation< Subject > , wali::relations::Domain , wali::HashMapConstIterator< Key, Data, HashFunc, EqualFunc > , wali::relations::TernaryRelation< Subject >::Iterator , wali::wpds::Config , wali::Triple< T, U, V > , wali::wpds::Rule , wali::graph::Transition , opennwa::WaliKey , wali::ref_ptr< T > , wali::Quad< T, U, V, W > , wali::relations::BinaryRelation , opennwa::details::TransitionInfo , opennwa::details::SymbolStorage , wali::HashMapIterator< Key, Data, HashFunc, EqualFunc > , opennwa::query::details::filter::IteratorPairIterator< CPlusPlusIterator > , opennwa::NestedWord::Position , wali::relations::BinaryRelation , opennwa::details::StateStorage , opennwa::Nwa , opennwa::FstKey , wali::relations::Component , opennwa::details::Configuration , opennwa::query::details::filter::FilteringIterator< BackingIterator, Predicate > , opennwa::details::TransitionStorage , opennwa::details::Label
• operator[]() : wali::HashMap< Key, Data, HashFunc, EqualFunc >
• out_node_height() : wali::graph::RegExp