| iterator_facade | |
| opennwa::CallReturnTransitionInserter | |
| opennwa::ClientInfo | |
| opennwa::details::Configuration | |
| opennwa::details::Label | This class is used to label the transitions of an NWA |
| opennwa::details::StateStorage | This class is used to keep track of the states of an NWA |
| opennwa::details::SymbolStorage | |
| opennwa::details::TransitionInfo | This class is used to keep track of the maps from state to transition for an NWA |
| opennwa::details::TransitionStorage | This class is used to keep track of the transitions of an NWA |
| opennwa::EpsilonTransitionInserter | |
| opennwa::FstKey | Structure for holding OpenFST keys |
| opennwa::NestedWord | This class represents a single nested word |
| opennwa::NestedWord::Position | Each position in the nested word has a symbol and a type |
| opennwa::Nwa | This class models nested word automata (NWA) |
| opennwa::query::details::filter::FilteringIterator< BackingIterator, Predicate > | |
| opennwa::query::details::filter::IteratorPairIterator< CPlusPlusIterator > | |
| opennwa::query::details::iterators::cplusplus_iterator_adapter< CPlusPlusIterator > | |
| opennwa::query::details::iterators::iterator_base< ValueType, ReferenceType > | The following adapts any iterator with the same element type so that the iterator can be used |
| opennwa::query::details::iterators::iterator_base_wrapper< ValueType, ReferenceType > | |
| opennwa::query::details::iterators::iterator_sequence< BackingIterator > | |
| opennwa::query::details::predicates::SelectorEqualityPredicate< Selector > | This class takes a selector and an object |
| opennwa::query::details::selectors::CallPredecessorSelector | This class selects the call predecessor from return transitions |
| opennwa::query::details::selectors::CallTransitionSelector | This class selects the whole transition |
| opennwa::query::details::selectors::InternalTransitionSelector | This class selects the whole transition |
| opennwa::query::details::selectors::PairSelector< Selector1, Selector2 > | This selects a pair of things |
| opennwa::query::details::selectors::ReturnTransitionSelector | This class selects the whole transition |
| opennwa::query::details::selectors::SourceSelector | This class selects the source from transitions |
| opennwa::query::details::selectors::SymbolSelector | This class selects the symobl from transitions |
| opennwa::query::details::selectors::TargetSelector | This class selects the target from transitions |
| opennwa::ReachGen | |
| opennwa::ShortestPathGen | |
| opennwa::ShortestWordGen | |
| opennwa::traverse::ConstCallStringStateFunctor | |
| opennwa::traverse::ConstCallStringTransitionFunctor | |
| opennwa::traverse::ConstStateFunctor | |
| opennwa::traverse::ConstTransitionFunctor | |
| opennwa::WaliKey | Structure for holding Wali keys |
| opennwa::WeightGen | This class is used in NWA::NWAtoPDS and NWA::NWAtoBackwardsPDS |
| Reach | |
| wali::Bucket< Value > | |
| wali::Countable | |
| wali::DefaultWorklist< T > | |
| wali::Exception | |
| 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::InterGraph | |
| 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 > | Class HashMap |
| wali::HashMapConstIterator< Key, Data, HashFunc, EqualFunc > | |
| wali::HashMapIterator< Key, Data, HashFunc, EqualFunc > | One should always use: HashMap< a,b,c,d >::iterator or HashMap< a,b,c,d >::const_iterator |
| 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::IMergeFn | Class IMergeFn defines the interface that all merge functions must satisfy |
| wali::IntSource | |
| wali::KeyOrderWorklist | |
| wali::KeyPairSource | |
| wali::KeySetSource | |
| wali::KeySource | |
| wali::KeySpace | |
| wali::Markable | |
| wali::MergeFn | |
| wali::MergeFnFactory | |
| wali::Printable | Interface defining the print method |
| wali::PriorityWorklist | |
| wali::Quad< T, U, V, W > | |
| wali::RankedWorklist | |
| wali::ref_ptr< T > | A reference counting pointer class |
| wali::regex::Concat | |
| wali::regex::Regex | |
| wali::regex::Root | |
| wali::regex::Star | |
| wali::regex::Union | |
| wali::relations::BinaryRelation | Wraps a bdd in a nice friendly package |
| wali::relations::Component | Private structure |
| wali::relations::Domain | This class represents a particular domain (set) that a given relation is over |
| wali::relations::RelationTypedefs< State > | This can be used in client code to hide the actual relation types |
| wali::relations::TernaryRelation< Subject > | This class represents a ternary relation over the set 'Subject' |
| wali::relations::TernaryRelation< Subject >::Iterator | The iterator for this class |
| wali::relations::VectorSet< T > | |
| wali::SemElem | Base abstract class to be subclassed by user's semiring |
| wali::SemElemPair | |
| wali::ShortestPathSemiring | |
| wali::ShortestPathWorklist | |
| wali::StringSource | |
| wali::TaggedWeight | |
| wali::TotalOrderWorklist | |
| wali::Triple< T, U, V > | |
| wali::util::ParseArgv | Takes command line arguments and splits each one on a non escaped equal sign ('=') |
| wali::util::StringUtils | |
| wali::util::Timer | |
| wali::util::WeightChanger | Encapsulates a unary function for changing weights |
| wali::WeightFactory | |
| wali::wfa::ConstTransFunctor | |
| wali::wfa::DecoratorTrans | |
| wali::wfa::epr::EPA | Implements the Error Projection Automaton |
| wali::wfa::epr::FunctionalWeight | Functional weights for representing error-projection automaton |
| wali::wfa::epr::FunctionalWeightMaker | |
| wali::wfa::epr::StatePriorityWorklist | |
| wali::wfa::ITrans | |
| wali::wfa::ITransEq | |
| wali::wfa::ITransLT | |
| wali::wfa::KeepBoth | |
| wali::wfa::KeepLeft | |
| wali::wfa::KeepRight | |
| wali::wfa::StackHasher | |
| wali::wfa::State | |
| wali::wfa::Trans | |
| wali::wfa::TransCopier | |
| wali::wfa::TransCounter | |
| wali::wfa::TransDeleter | |
| wali::wfa::TransDotty | |
| wali::wfa::TransDuplicator | |
| wali::wfa::TransFunctor | < Needed by TransCopier |
| wali::wfa::TransMarshaller | |
| wali::wfa::TransPrinter | |
| wali::wfa::TransSet | |
| wali::wfa::TransZeroWeight | |
| wali::wfa::WeightMaker | |
| wali::wfa::WFA | TODO:
- Should state_map_t have type HashMap< Key , ref_ptr<State> > This allows for automatic collection of States via HashMap State objects can escape the WFA (
|
| wali::witness::RuleStub | |
| wali::witness::Visitable | |
| wali::witness::Visitor | |
| wali::witness::VisitorDot | |
| wali::witness::VisitorPrinter | |
| wali::witness::Witness | |
| wali::witness::witness_t | |
| wali::witness::WitnessCombine | |
| wali::witness::WitnessExtend | |
| wali::witness::WitnessMerge | |
| wali::witness::WitnessMergeFn | |
| wali::witness::WitnessRule | |
| wali::witness::WitnessTrans | |
| wali::witness::WitnessWrapper | |
| wali::Worklist< T > | |
| wali::wpds::Config | |
| wali::wpds::ConstRuleFunctor | |
| wali::wpds::DebugWPDS | This class emits lots of debugging information when running poststar or prestar |
| wali::wpds::ewpds::CopyCallRules | |
| wali::wpds::ewpds::ERule | |
| wali::wpds::ewpds::ETrans | |
| wali::wpds::ewpds::EWPDS | |
| wali::wpds::fwpds::FWPDS | |
| wali::wpds::fwpds::LazyTrans | |
| wali::wpds::fwpds::SWPDS | |
| wali::wpds::GenKeySource | |
| wali::wpds::LinkedTrans | |
| wali::wpds::Rule | |
| wali::wpds::rule_t | |
| wali::wpds::RuleCopier | |
| wali::wpds::RuleDotty | |
| wali::wpds::RuleFunctor | |
| wali::wpds::RuleMarshaller | |
| wali::wpds::RulePrinter | |
| wali::wpds::WPDS | |
| wali::wpds::WpdsRules | Gets all rules from the WPDS and classifies them as push rules, pop rules, and step rules, as appropriate |
| wali::wpds::WpdsStackSymbols | |
| wali::wpds::Wrapper | This class defines the interface used to "wrap" weights on rules and transitions |
