Here is a list of all class members with links to the classes they belong to:

- i -

• id : wali::regex::Regex
• ID() : wali::regex::Regex , wali::regex::Root
• IMarkable() : wali::IMarkable
• IMergeFn() : wali::IMergeFn
• impl : wali::wfa::TransSet
• impl_t : wali::wfa::TransSet
• incoming : wali::graph::GraphNode , wali::graph::IntraGraphNode
• increment() : opennwa::query::details::iterators::iterator_base< ValueType, ReferenceType > , opennwa::query::details::iterators::cplusplus_iterator_adapter< CPlusPlusIterator > , opennwa::query::details::iterators::iterator_sequence< BackingIterator >
• Info : opennwa::details::TransitionStorage
• init_state : wali::wfa::WFA
• initial_state() : wali::wfa::WFA
• initialStates : opennwa::details::StateStorage
• INORDER : wali::wfa::WFA
• insert() : wali::HashMap< Key, Data, HashFunc, EqualFunc > , wali::wfa::TransSet , wali::wfa::WFA , wali::wpds::Config , wali::relations::TernaryRelation< Subject > , wali::relations::BinaryRelation , wali::relations::TernaryRelation< Subject > , wali::relations::VectorSet< T > , wali::relations::BinaryRelation , wali::relations::TernaryRelation< Subject > , wali::relations::VectorSet< T >
• Int : opennwa::details::TransitionInfo
• interGr : wali::wpds::fwpds::FWPDS
• InterGraph : wali::graph::UnionFind , wali::graph::ETransHandler , wali::graph::IntraGraph , wali::graph::InterGraph
• InterGraphStats() : wali::graph::InterGraphStats
• Internal : opennwa::details::TransitionInfo , opennwa::details::TransitionStorage , opennwa::Nwa
• internalExists() : opennwa::details::TransitionStorage
• internalIterator : opennwa::details::TransitionInfo
• InternalIterator : opennwa::details::TransitionInfo , opennwa::details::TransitionStorage , opennwa::Nwa
• Internals : opennwa::details::TransitionInfo , opennwa::details::TransitionStorage , opennwa::Nwa
• internalTrans : opennwa::details::TransitionStorage
• InternalType : opennwa::NestedWord::Position
• intersect : wali::relations::BinaryRelation , wali::wfa::WFA
• intersectClientInfoCall() : opennwa::Nwa
• intersectClientInfoInternal() : opennwa::Nwa
• intersectClientInfoReturn() : opennwa::Nwa
• INTRA : opennwa::WeightGen
• intra_nodeno : wali::graph::GraphNode
• IntraGraph() : wali::graph::IntraGraph
• IntraGraphEdge() : wali::graph::IntraGraphEdge
• IntraGraphNode() : wali::graph::IntraGraphNode
• IntraGraphStats() : wali::graph::IntraGraphStats
• IntraMap : opennwa::details::TransitionInfo
• IntSource() : wali::IntSource
• is_empty() : wali::ref_ptr< T > , wali::wpds::rule_t
• is_pds_state() : wali::wpds::WPDS
• is_rule2() : wali::wpds::Rule
• is_valid() : wali::ref_ptr< T > , wali::wpds::rule_t
• isAbsent() : opennwa::details::Label
• isCall() : opennwa::details::TransitionStorage , opennwa::details::TransitionInfo , opennwa::details::TransitionStorage , wali::TaggedWeight
• isConstant() : wali::regex::Regex , wali::regex::Root
• iscutset : wali::graph::IntraGraphNode
• isCyclic() : wali::graph::RegExp
• isEmpty : wali::witness::Witness
• isEntry() : opennwa::details::TransitionInfo , opennwa::details::TransitionStorage
• isExit() : opennwa::details::TransitionInfo , opennwa::details::TransitionStorage
• isFinalState() : opennwa::details::StateStorage , opennwa::Nwa , wali::wfa::WFA
• isFrom() : opennwa::details::TransitionInfo , opennwa::details::TransitionStorage
• isInitialState() : wali::wfa::WFA , opennwa::Nwa , opennwa::details::StateStorage
• isInternal() : opennwa::details::TransitionStorage
• isMemberNondet() : opennwa::Nwa
• isOne() : wali::graph::RegExp , wali::regex::Regex , wali::witness::Witness
• isPred() : opennwa::details::TransitionInfo , opennwa::details::TransitionStorage
• isreached : Reach
• isRet() : opennwa::details::TransitionInfo , wali::TaggedWeight , opennwa::details::TransitionStorage
• isReturn() : opennwa::details::TransitionStorage
• isState() : opennwa::details::StateStorage , opennwa::Nwa
• isSymbol() : opennwa::details::SymbolStorage , opennwa::Nwa
• isTo() : opennwa::details::TransitionStorage , opennwa::details::TransitionInfo
• isTransitionPossible() : opennwa::Nwa
• isWild() : opennwa::details::Label
• isZero() : wali::graph::RegExp , wali::regex::Regex , wali::witness::Witness
• iterator : wali::wpds::Config , wali::HashMapConstIterator< Key, Data, HashFunc, EqualFunc > , wali::relations::TernaryRelation< Subject > , opennwa::details::StateStorage , wali::HashMap< Key, Data, HashFunc, EqualFunc > , wali::wfa::StackHasher , wali::HashMapIterator< Key, Data, HashFunc, EqualFunc > , wali::relations::VectorSet< T >
• Iterator() : wali::relations::TernaryRelation< Subject >::Iterator
• iterator : wali::relations::VectorSet< T > , wali::wpds::WPDS , wali::wfa::State , wali::wfa::TransSet
• iterator_base_wrapper() : opennwa::query::details::iterators::iterator_base_wrapper< ValueType, ReferenceType >
• iterator_category : opennwa::query::details::filter::IteratorPairIterator< CPlusPlusIterator > , opennwa::query::details::filter::FilteringIterator< BackingIterator, Predicate >
• iterator_sequence() : opennwa::query::details::iterators::iterator_sequence< BackingIterator >
• IteratorPairIterator() : opennwa::query::details::filter::IteratorPairIterator< CPlusPlusIterator >
• IteratorRange : opennwa::query::details::iterators::iterator_sequence< BackingIterator >