Class Hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

• iterator_facade
  • opennwa::query::details::iterators::iterator_base< std::iterator_traits< CPlusPlusIterator >::value_type, std::iterator_traits< CPlusPlusIterator >::reference >
    • opennwa::query::details::iterators::cplusplus_iterator_adapter< CPlusPlusIterator >
• opennwa::CallReturnTransitionInserter
• opennwa::details::Configuration
• opennwa::details::Label
• opennwa::details::TransitionInfo
• opennwa::EpsilonTransitionInserter
• opennwa::FstKey
• opennwa::NestedWord::Position
• opennwa::query::details::filter::FilteringIterator< BackingIterator, Predicate >
• opennwa::query::details::filter::IteratorPairIterator< CPlusPlusIterator >
• opennwa::query::details::iterators::iterator_base< ValueType, ReferenceType >
• opennwa::query::details::iterators::iterator_base_wrapper< ValueType, ReferenceType >
• opennwa::query::details::iterators::iterator_sequence< BackingIterator >
• opennwa::query::details::predicates::SelectorEqualityPredicate< Selector >
• opennwa::query::details::selectors::CallPredecessorSelector
• opennwa::query::details::selectors::CallTransitionSelector
• opennwa::query::details::selectors::InternalTransitionSelector
• opennwa::query::details::selectors::PairSelector< Selector1, Selector2 >
• opennwa::query::details::selectors::ReturnTransitionSelector
• opennwa::query::details::selectors::SourceSelector
• opennwa::query::details::selectors::SymbolSelector
• opennwa::query::details::selectors::TargetSelector
• opennwa::traverse::ConstCallStringStateFunctor
• opennwa::traverse::ConstCallStringTransitionFunctor
• opennwa::traverse::ConstStateFunctor
• opennwa::traverse::ConstTransitionFunctor
• opennwa::WaliKey
• opennwa::WeightGen
  • opennwa::ReachGen
  • opennwa::ShortestPathGen
  • opennwa::ShortestWordGen
• wali::ref_ptr< Witness >
  • wali::witness::witness_t
• wali::Bucket< Value >
• wali::Countable
  • opennwa::ClientInfo
  • opennwa::NestedWord
  • opennwa::Nwa
  • wali::graph::InterGraph
  • wali::IMergeFn
    • wali::MergeFn
      • wali::witness::WitnessMergeFn
  • wali::KeySource
    • wali::IntSource
    • wali::KeyPairSource
    • wali::KeySetSource
    • wali::StringSource
    • wali::wpds::GenKeySource
  • wali::SemElem
    • Reach
    • wali::regex::Regex
      • wali::regex::Concat
      • wali::regex::Root
      • wali::regex::Star
      • wali::regex::Union
    • wali::SemElemPair
    • wali::ShortestPathSemiring
    • wali::wfa::epr::FunctionalWeight
    • wali::witness::Witness
      • wali::witness::WitnessCombine
      • wali::witness::WitnessExtend
      • wali::witness::WitnessMerge
      • wali::witness::WitnessRule
      • wali::witness::WitnessTrans
  • wali::wfa::State
  • wali::Worklist< T >
    • wali::DefaultWorklist< T >
  • wali::wpds::Rule
    • wali::wpds::ewpds::ERule
  • wali::wpds::Wrapper
    • wali::witness::WitnessWrapper
  • wali::Worklist< State >
    • wali::wfa::epr::StatePriorityWorklist
  • wali::Worklist< wfa::ITrans >
    • wali::PriorityWorklist
      • wali::KeyOrderWorklist
      • wali::TotalOrderWorklist
    • wali::RankedWorklist
      • wali::ShortestPathWorklist
• wali::graph::ActionFunctor
• wali::graph::cmp_reg_exp
• wali::graph::ETransHandler
• wali::graph::EvaluatedPathSequence
• wali::graph::Graph
• wali::graph::GraphEdge
• wali::graph::GraphNode
• wali::graph::hash_reg_exp_key
• wali::graph::hash_sem_elem
• wali::graph::HyperEdge
• wali::graph::InterGraphStats
• wali::graph::IntraGraph
• wali::graph::IntraGraphEdge
• wali::graph::IntraGraphNode
• wali::graph::IntraGraphStats
• wali::graph::LinkEval
• wali::graph::Node
• wali::graph::PathSequence
• wali::graph::reg_exp_key_t
• wali::graph::RegExp
• wali::graph::RegExpSatProcess
• wali::graph::RegExpStats
• wali::graph::sem_elem_equal
• wali::graph::sem_elem_less
• wali::graph::SummaryGraph
• wali::graph::SummaryGraphNode
• wali::graph::SummaryGraphStats
• wali::graph::Transition
• wali::graph::TransitionCmp
• wali::graph::TransitionEq
• wali::graph::TransitionHash
• wali::graph::UnionFind
• wali::graph::update_t
• wali::HashMap< Key, Data, HashFunc, EqualFunc >
• wali::HashMapConstIterator< Key, Data, HashFunc, EqualFunc >
• wali::HashMapIterator< Key, Data, HashFunc, EqualFunc >
• wali::hm_equal< T >
• wali::hm_equal< char * >
• wali::hm_equal< char >
• wali::hm_equal< const char * >
• wali::hm_equal< const char >
• wali::hm_equal< const int >
• wali::hm_equal< const long >
• wali::hm_equal< const long long >
• wali::hm_equal< const unsigned char >
• wali::hm_equal< const unsigned int >
• wali::hm_equal< const unsigned long >
• wali::hm_equal< const unsigned long long >
• wali::hm_equal< int >
• wali::hm_equal< key_src_t >
• wali::hm_equal< KeyPair >
• wali::hm_equal< KeyTriple >
• wali::hm_equal< long >
• wali::hm_equal< long long >
• wali::hm_equal< std::set< Key > >
• wali::hm_equal< unsigned char >
• wali::hm_equal< unsigned int >
• wali::hm_equal< unsigned long >
• wali::hm_equal< unsigned long long >
• wali::hm_hash< T >
• wali::hm_hash< char * >
• wali::hm_hash< char >
• wali::hm_hash< const char * >
• wali::hm_hash< const char >
• wali::hm_hash< const int >
• wali::hm_hash< const long >
• wali::hm_hash< const long long >
• wali::hm_hash< const unsigned char >
• wali::hm_hash< const unsigned int >
• wali::hm_hash< const unsigned long >
• wali::hm_hash< const unsigned long long >
• wali::hm_hash< int >
• wali::hm_hash< key_src_t >
• wali::hm_hash< KeyPair >
• wali::hm_hash< KeyTriple >
• wali::hm_hash< long >
• wali::hm_hash< long long >
• wali::hm_hash< std::set< Key > >
• wali::hm_hash< unsigned char >
• wali::hm_hash< unsigned int >
• wali::hm_hash< unsigned long >
• wali::hm_hash< unsigned long long >
• wali::IMarkable
  • wali::Markable
    • wali::regex::Regex
    • wali::wfa::State
    • wali::wfa::Trans
      • wali::wpds::LinkedTrans
    • wali::witness::Witness
  • wali::wfa::ITrans
    • wali::wfa::DecoratorTrans
      • wali::wpds::ewpds::ETrans
      • wali::wpds::fwpds::LazyTrans
    • wali::wfa::Trans
• wali::KeySpace
• wali::MergeFnFactory
• wali::Printable
  • opennwa::details::StateStorage
  • opennwa::details::SymbolStorage
  • opennwa::details::TransitionStorage
  • opennwa::Nwa
  • wali::Exception
  • wali::IMergeFn
  • wali::KeySource
  • wali::SemElem
  • wali::TaggedWeight
  • wali::util::Timer
  • wali::wfa::ITrans
  • wali::wfa::State
  • wali::wfa::TransSet
  • wali::wfa::WFA
    • wali::wfa::epr::EPA
  • wali::witness::RuleStub
  • wali::wpds::Config
  • wali::wpds::Rule
  • wali::wpds::WPDS
    • wali::wpds::DebugWPDS
    • wali::wpds::ewpds::EWPDS
      • wali::wpds::fwpds::FWPDS
        • wali::wpds::fwpds::SWPDS
• wali::Quad< T, U, V, W >
• wali::ref_ptr< T >
• wali::relations::BinaryRelation
• wali::relations::Component
• wali::relations::Domain
• wali::relations::RelationTypedefs< State >
• wali::relations::TernaryRelation< Subject >
• wali::relations::TernaryRelation< Subject >::Iterator
• wali::relations::VectorSet< T >
• wali::Triple< T, U, V >
• wali::util::ParseArgv
• wali::util::StringUtils
• wali::util::WeightChanger
• wali::WeightFactory
• wali::wfa::ConstTransFunctor
  • wali::wfa::TransCopier
  • wali::wfa::TransCounter
  • wali::wfa::TransDotty
  • wali::wfa::TransDuplicator
  • wali::wfa::TransMarshaller
  • wali::wfa::TransPrinter
  • wali::wpds::WPDS
• wali::wfa::ITransEq
• wali::wfa::ITransLT
• wali::wfa::TransFunctor
  • wali::wfa::StackHasher
  • wali::wfa::TransDeleter
  • wali::wfa::TransZeroWeight
• wali::wfa::WeightMaker
  • wali::wfa::epr::FunctionalWeightMaker
  • wali::wfa::KeepBoth
  • wali::wfa::KeepLeft
  • wali::wfa::KeepRight
• wali::witness::Visitable
  • wali::witness::Witness
• wali::witness::Visitor
  • wali::witness::VisitorDot
  • wali::witness::VisitorPrinter
• wali::wpds::ConstRuleFunctor
  • wali::wpds::RuleCopier
  • wali::wpds::RuleDotty
  • wali::wpds::RuleMarshaller
  • wali::wpds::RulePrinter
  • wali::wpds::WpdsRules
  • wali::wpds::WpdsStackSymbols
• wali::wpds::rule_t
• wali::wpds::RuleFunctor
  • wali::wpds::ewpds::CopyCallRules