, including all inherited members.
| _private_determinize_(Nwa const &nondet) | opennwa::Nwa | |
| _private_get_transition_storage_() const | opennwa::Nwa | |
| _private_intersect_(Nwa const &first, Nwa const &second) | opennwa::Nwa | |
| _private_isDeterministic_() const | opennwa::Nwa | |
| _private_isEmpty_() const | opennwa::Nwa | |
| _private_NwaToBackwardsPdsCalls_(WeightGen const &wg) const | opennwa::Nwa | |
| _private_NwaToBackwardsPdsReturns_(WeightGen const &wg) const | opennwa::Nwa | |
| _private_NwaToPdsCalls_(WeightGen const &wg, ref_ptr< wali::wpds::Wrapper > wrapper) const | opennwa::Nwa | |
| _private_NwaToPdsReturns_(WeightGen const &wg) const | opennwa::Nwa | |
| _private_star_(Nwa const &first) | opennwa::Nwa | |
| addAllFinalStates(StateStorage addStateSet) | opennwa::Nwa | |
| addAllInitialStates(StateStorage addStateSet) | opennwa::Nwa | |
| addAllStates(StateStorage addStateSet) | opennwa::Nwa | |
| addAllSymbols(SymbolStorage addSymbolSet) | opennwa::Nwa | |
| addCallTrans(State call, Symbol sym, State entry) | opennwa::Nwa | |
| addCallTrans(Call &ct) | opennwa::Nwa | |
| addFinalState(State state) | opennwa::Nwa | |
| addInitialState(State state) | opennwa::Nwa | |
| addInternalTrans(State from, Symbol sym, State to) | opennwa::Nwa | |
| addInternalTrans(Internal &ct) | opennwa::Nwa | |
| addReturnTrans(State exit, State pred, Symbol sym, State ret) | opennwa::Nwa | |
| addReturnTrans(Return &ct) | opennwa::Nwa | |
| addState(State state) | opennwa::Nwa | |
| addSymbol(Symbol sym) | opennwa::Nwa | |
| beginCallTrans() const | opennwa::Nwa | |
| beginFinalStates() const | opennwa::Nwa | |
| beginInitialStates() const | opennwa::Nwa | |
| beginInternalTrans() const | opennwa::Nwa | |
| beginReturnTrans() const | opennwa::Nwa | |
| beginStates() const | opennwa::Nwa | |
| beginSymbols() const | opennwa::Nwa | |
| BinaryRelation typedef | opennwa::Nwa | |
| Call typedef | opennwa::Nwa | |
| CallIterator typedef | opennwa::Nwa | |
| Calls typedef | opennwa::Nwa | |
| chop() | opennwa::Nwa | |
| clear() | opennwa::Nwa | |
| clearFinalStates() | opennwa::Nwa | |
| clearInitialStates() | opennwa::Nwa | |
| clearStates() | opennwa::Nwa | |
| clearSymbols() | opennwa::Nwa | |
| clearTrans() | opennwa::Nwa | |
| ClientInfoRefPtr typedef | opennwa::Nwa | |
| combineWith(Nwa const &rhs) | opennwa::Nwa | |
| count | wali::Countable | |
| Countable() | wali::Countable | |
| Countable(const Countable &c ATTR_UNUSED) | wali::Countable | |
| duplicateState(State orig, State dup) | opennwa::Nwa | |
| duplicateStateOutgoing(State orig, State dup) | opennwa::Nwa | |
| endCallTrans() const | opennwa::Nwa | |
| endFinalStates() const | opennwa::Nwa | |
| endInitialStates() const | opennwa::Nwa | |
| endInternalTrans() const | opennwa::Nwa | |
| endReturnTrans() const | opennwa::Nwa | |
| endStates() const | opennwa::Nwa | |
| endSymbols() const | opennwa::Nwa | |
| epsilonClosure(StateSet *newPairs, State sp) const | opennwa::Nwa | [protected] |
| epsilonClosure(std::set< StatePair > *newPairs, StatePair sp, Nwa const &first, Nwa const &second) const | opennwa::Nwa | [protected] |
| getClientInfo(State state) const | opennwa::Nwa | |
| getFinalStates() const | opennwa::Nwa | |
| getInitialStates() const | opennwa::Nwa | |
| getStates() const | opennwa::Nwa | |
| getSymbols() const | opennwa::Nwa | |
| Internal typedef | opennwa::Nwa | |
| InternalIterator typedef | opennwa::Nwa | |
| Internals typedef | opennwa::Nwa | |
| intersectClientInfoCall(Nwa const &first, State call1, State entry1, Nwa const &second, State call2, State entry2, Symbol resSym, State resSt) | opennwa::Nwa | [virtual] |
| intersectClientInfoInternal(Nwa const &first, State src1, State tgt1, Nwa const &second, State src2, State tgt2, Symbol resSym, State resSt) | opennwa::Nwa | [virtual] |
| intersectClientInfoReturn(Nwa const &first, State exit1, State call1, State ret1, Nwa const &second, State exit2, State call2, State ret2, Symbol resSym, State resSt) | opennwa::Nwa | [virtual] |
| isFinalState(State state) const | opennwa::Nwa | |
| isInitialState(State state) const | opennwa::Nwa | |
| isMemberNondet(NestedWord const &word) const | opennwa::Nwa | |
| isState(State state) const | opennwa::Nwa | |
| isSymbol(Symbol sym) const | opennwa::Nwa | |
| isTransitionPossible(const State &src, const Symbol &sym, const State &tgt) | opennwa::Nwa | [virtual] |
| largestState() const | opennwa::Nwa | |
| makeKey(BinaryRelation const &R) const | opennwa::Nwa | [protected] |
| marshall(std::ostream &os) const | opennwa::Nwa | [virtual] |
| mergeClientInfo(Nwa const &nwa, BinaryRelation const &binRel, State resSt, ClientInfoRefPtr &resCI) | opennwa::Nwa | [virtual] |
| mergeClientInfoCall(Nwa const &nwa, BinaryRelation const &binRelCall, BinaryRelation const &binRelEntry, State callSt, Symbol resSym, State resSt, ClientInfoRefPtr &resCI) | opennwa::Nwa | [virtual] |
| mergeClientInfoInternal(Nwa const &nwa, BinaryRelation const &binRelSource, BinaryRelation const &binRelTarget, State sourceSt, Symbol resSym, State resSt, ClientInfoRefPtr &resCI) | opennwa::Nwa | [virtual] |
| mergeClientInfoReturn(Nwa const &nwa, BinaryRelation const &binRelExit, BinaryRelation const &binRelCall, BinaryRelation const &binRelReturn, State exitSt, State callSt, Symbol resSym, State resSt, ClientInfoRefPtr &resCI) | opennwa::Nwa | [virtual] |
| Nwa() | opennwa::Nwa | |
| Nwa(const Nwa &other) | opennwa::Nwa | |
| operator=(const Nwa &other) | opennwa::Nwa | |
| wali::Countable::operator=(const Countable &c ATTR_UNUSED) | wali::Countable | |
| operator==(const Nwa &other) const | opennwa::Nwa | |
| poststar(wali::wfa::WFA const &input, WeightGen const &wg) const | opennwa::Nwa | |
| poststar(wali::wfa::WFA const &input, WeightGen const &wg, ref_ptr< wali::Worklist< wali::wfa::ITrans > > wl) const | opennwa::Nwa | [virtual] |
| poststar(wali::wfa::WFA const &input, wali::wfa::WFA &output, WeightGen const &wg) const | opennwa::Nwa | |
| poststar(wali::wfa::WFA const &input, wali::wfa::WFA &output, WeightGen const &wg, ref_ptr< wali::Worklist< wali::wfa::ITrans > > worklist) const | opennwa::Nwa | [virtual] |
| prestar(wali::wfa::WFA const &input, WeightGen const &wg) const | opennwa::Nwa | |
| prestar(wali::wfa::WFA const &input, WeightGen const &wg, ref_ptr< wali::Worklist< wali::wfa::ITrans > > worklist) const | opennwa::Nwa | [virtual] |
| prestar(wali::wfa::WFA const &input, wali::wfa::WFA &output, WeightGen const &wg) const | opennwa::Nwa | |
| prestar(wali::wfa::WFA const &input, wali::wfa::WFA &output, WeightGen const &wg, ref_ptr< wali::Worklist< wali::wfa::ITrans > > worklist) const | opennwa::Nwa | [virtual] |
| print(std::ostream &o) const | opennwa::Nwa | [virtual] |
| wali::Printable::print(std::ostream &) const =0 | wali::Printable | [pure virtual] |
| print_dot(std::ostream &o, std::string title, bool abbrev=true) const | opennwa::Nwa | [virtual] |
| projectStates(Nwa const &first, StateSet const &prjStates) | opennwa::Nwa | |
| pruneUnreachableBackward(const StateSet &targets) | opennwa::Nwa | |
| pruneUnreachableFinal() | opennwa::Nwa | |
| pruneUnreachableForward(const StateSet &sources) | opennwa::Nwa | |
| pruneUnreachableInitial() | opennwa::Nwa | |
| realizeImplicitTrans(State stuckState) | opennwa::Nwa | |
| removeCallTrans(State call, Symbol sym, State entry) | opennwa::Nwa | |
| removeCallTrans(const Call &ct) | opennwa::Nwa | |
| removeFinalState(State state) | opennwa::Nwa | |
| removeImplicitTransitions() | opennwa::Nwa | |
| removeInitialState(State state) | opennwa::Nwa | |
| removeInternalTrans(State from, Symbol sym, State to) | opennwa::Nwa | |
| removeInternalTrans(const Internal &ct) | opennwa::Nwa | |
| removeReturnTrans(State exit, Symbol sym, State ret) | opennwa::Nwa | |
| removeReturnTrans(State exit, State pred, Symbol sym, State ret) | opennwa::Nwa | |
| removeReturnTrans(const Return &ct) | opennwa::Nwa | |
| removeState(State state) | opennwa::Nwa | [virtual] |
| removeSymbol(Symbol sym) | opennwa::Nwa | |
| Return typedef | opennwa::Nwa | |
| ReturnIterator typedef | opennwa::Nwa | |
| Returns typedef | opennwa::Nwa | |
| setClientInfo(State state, const ClientInfoRefPtr c) | opennwa::Nwa | |
| sizeCallTrans() const | opennwa::Nwa | |
| sizeFinalStates() const | opennwa::Nwa | |
| sizeInitialStates() const | opennwa::Nwa | |
| sizeInternalTrans() const | opennwa::Nwa | |
| sizeReturnTrans() const | opennwa::Nwa | |
| sizeStates() const | opennwa::Nwa | |
| sizeSymbols() const | opennwa::Nwa | |
| sizeTrans() const | opennwa::Nwa | |
| stateIntersect(Nwa const &first, State state1, Nwa const &second, State state2, State &resSt, ClientInfoRefPtr &resCI) | opennwa::Nwa | [virtual] |
| StateIterator typedef | opennwa::Nwa | |
| states | opennwa::Nwa | [protected] |
| SymbolIterator typedef | opennwa::Nwa | |
| symbols | opennwa::Nwa | [protected] |
| to_string() const | wali::Printable | |
| toString() const | wali::Printable | |
| toStringGdb() const | opennwa::Nwa | |
| trans | opennwa::Nwa | [protected] |
| transitionIntersect(Nwa const &first, Symbol sym1, Nwa const &second, Symbol sym2, Symbol &resSym) | opennwa::Nwa | [virtual] |
| ~Countable() | wali::Countable | [virtual] |
| ~Printable() | wali::Printable | [virtual] |
