- i -

• ID() : wali::regex::Regex , wali::regex::Root
• IMarkable() : wali::IMarkable
• IMergeFn() : wali::IMergeFn
• increment() : opennwa::query::details::iterators::iterator_sequence< BackingIterator > , opennwa::query::details::iterators::iterator_base< ValueType, ReferenceType > , opennwa::query::details::iterators::cplusplus_iterator_adapter< CPlusPlusIterator >
• initial_state() : wali::wfa::WFA
• insert() : wali::relations::VectorSet< T > , wali::relations::BinaryRelation , wali::relations::TernaryRelation< Subject > , wali::relations::BinaryRelation , wali::relations::VectorSet< T > , wali::HashMap< Key, Data, HashFunc, EqualFunc > , wali::relations::BinaryRelation , wali::HashMap< Key, Data, HashFunc, EqualFunc > , wali::wfa::TransSet , wali::relations::TernaryRelation< Subject > , wali::wfa::WFA , wali::wpds::Config , wali::relations::TernaryRelation< Subject >
• InterGraph() : wali::graph::InterGraph
• InterGraphStats() : wali::graph::InterGraphStats
• internalExists() : opennwa::details::TransitionStorage
• intersect() : wali::wfa::WFA
• intersectClientInfoCall() : opennwa::Nwa
• intersectClientInfoInternal() : opennwa::Nwa
• intersectClientInfoReturn() : opennwa::Nwa
• IntraGraph() : wali::graph::IntraGraph
• IntraGraphEdge() : wali::graph::IntraGraphEdge
• IntraGraphNode() : wali::graph::IntraGraphNode
• IntraGraphStats() : wali::graph::IntraGraphStats
• 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
• isCyclic() : wali::graph::RegExp
• isEntry() : opennwa::details::TransitionStorage , opennwa::details::TransitionInfo
• 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
• isRet() : opennwa::details::TransitionInfo , wali::TaggedWeight , opennwa::details::TransitionStorage
• isReturn() : opennwa::details::TransitionStorage
• isState() : opennwa::details::StateStorage , opennwa::Nwa
• isSymbol() : opennwa::Nwa , opennwa::details::SymbolStorage
• isTo() : opennwa::details::TransitionStorage , opennwa::details::TransitionInfo
• isTransitionPossible() : opennwa::Nwa
• isWild() : opennwa::details::Label
• isZero() : wali::witness::Witness , wali::graph::RegExp , wali::regex::Regex
• Iterator() : wali::relations::TernaryRelation< Subject >::Iterator
• iterator_base_wrapper() : opennwa::query::details::iterators::iterator_base_wrapper< ValueType, ReferenceType >
• iterator_sequence() : opennwa::query::details::iterators::iterator_sequence< BackingIterator >
• IteratorPairIterator() : opennwa::query::details::filter::IteratorPairIterator< CPlusPlusIterator >