- d -

• data() : wali::HashMap< Key, Data, HashFunc, EqualFunc >
• DebugWPDS() : wali::wpds::DebugWPDS
• DecoratorTrans() : wali::wfa::DecoratorTrans
• DefaultWorklist() : wali::DefaultWorklist< T >
• DEFINE_FAKE_STATIC_DATA() : opennwa::details::TransitionStorage
• delta() : wali::SemElemPair , wali::wfa::State , wali::SemElem
• dereference() : opennwa::query::details::iterators::iterator_base< ValueType, ReferenceType > , opennwa::query::details::iterators::cplusplus_iterator_adapter< CPlusPlusIterator > , opennwa::query::details::iterators::iterator_sequence< BackingIterator >
• diff() : wali::SemElem , wali::SemElemPair
• doCall() : opennwa::traverse::ConstTransitionFunctor , opennwa::traverse::ConstCallStringTransitionFunctor
• doInternal() : opennwa::traverse::ConstTransitionFunctor , opennwa::traverse::ConstCallStringTransitionFunctor
• Domain() : wali::relations::Domain
• doRankOf() : wali::ShortestPathWorklist , wali::RankedWorklist
• doReturn() : opennwa::traverse::ConstCallStringTransitionFunctor , opennwa::traverse::ConstTransitionFunctor
• duplicateState() : opennwa::Nwa
• duplicateStateOutgoing() : opennwa::Nwa
• duplicateStates() : wali::wfa::WFA
• dupState() : opennwa::details::StateStorage
• dupTrans() : opennwa::details::TransitionStorage
• dupTransOutgoing() : opennwa::details::TransitionStorage