, including all inherited members.
| addAllTrans(TransitionStorage addTransitionStorage) | opennwa::details::TransitionStorage | |
| addCall(State from, Symbol sym, State to) | opennwa::details::TransitionStorage | |
| addCall(const Call &addTrans) | opennwa::details::TransitionStorage | |
| addInternal(State from, Symbol sym, State to) | opennwa::details::TransitionStorage | |
| addInternal(const Internal &addTrans) | opennwa::details::TransitionStorage | |
| addReturn(State from, State pred, Symbol sym, State to) | opennwa::details::TransitionStorage | |
| addReturn(const Return &addTrans) | opennwa::details::TransitionStorage | |
| beginCall() const | opennwa::details::TransitionStorage | |
| beginInternal() const | opennwa::details::TransitionStorage | |
| beginReturn() const | opennwa::details::TransitionStorage | |
| Call typedef | opennwa::details::TransitionStorage | |
| callExists(State from, Symbol sym) const | opennwa::details::TransitionStorage | |
| CallIterator | opennwa::details::TransitionStorage | |
| Calls typedef | opennwa::details::TransitionStorage | |
| callTrans | opennwa::details::TransitionStorage | [protected] |
| clear() | opennwa::details::TransitionStorage | |
| DEFINE_FAKE_STATIC_DATA(XMLFromAttr,"from") | opennwa::details::TransitionStorage | |
| DEFINE_FAKE_STATIC_DATA(XMLPredAttr,"call") | opennwa::details::TransitionStorage | |
| DEFINE_FAKE_STATIC_DATA(XMLSymbolAttr,"symbol") | opennwa::details::TransitionStorage | |
| DEFINE_FAKE_STATIC_DATA(XMLToAttr,"to") | opennwa::details::TransitionStorage | |
| DEFINE_FAKE_STATIC_DATA(InternalXMLTag,"InternalTrans") | opennwa::details::TransitionStorage | |
| DEFINE_FAKE_STATIC_DATA(CallXMLTag,"CallTrans") | opennwa::details::TransitionStorage | |
| DEFINE_FAKE_STATIC_DATA(ReturnXMLTag,"ReturnTrans") | opennwa::details::TransitionStorage | |
| dupTrans(State orig, State dup) | opennwa::details::TransitionStorage | |
| dupTransOutgoing(State orig, State dup) | opennwa::details::TransitionStorage | |
| endCall() const | opennwa::details::TransitionStorage | |
| endInternal() const | opennwa::details::TransitionStorage | |
| endReturn() const | opennwa::details::TransitionStorage | |
| findTrans(State from, Symbol sym, State to) const | opennwa::details::TransitionStorage | |
| getCalls() const | opennwa::details::TransitionStorage | |
| getCalls(State from, Symbol sym) const | opennwa::details::TransitionStorage | |
| getCallSite(const Call &callTrans) | opennwa::details::TransitionStorage | [static] |
| getCallSite(const Return &returnTrans) | opennwa::details::TransitionStorage | [static] |
| getCallSites(State exitSite, State returnSite) const | opennwa::details::TransitionStorage | |
| getCallSym(const Call &callTrans) | opennwa::details::TransitionStorage | [static] |
| getEntries(State callSite) const | opennwa::details::TransitionStorage | |
| getEntry(const Call &callTrans) | opennwa::details::TransitionStorage | [static] |
| getExit(const Return &returnTrans) | opennwa::details::TransitionStorage | [static] |
| getInternals() const | opennwa::details::TransitionStorage | |
| getInternals(State from, Symbol sym) const | opennwa::details::TransitionStorage | |
| getInternalsFrom(State from) const | opennwa::details::TransitionStorage | |
| getInternalSym(const Internal &internalTrans) | opennwa::details::TransitionStorage | [static] |
| getReturns() const | opennwa::details::TransitionStorage | |
| getReturns(State from, Symbol sym) const | opennwa::details::TransitionStorage | |
| getReturnSite(const Return &returnTrans) | opennwa::details::TransitionStorage | [static] |
| getReturnSites(State callSite) const | opennwa::details::TransitionStorage | |
| getReturnSites(State exit, State callSite) const | opennwa::details::TransitionStorage | |
| getReturnSym(const Return &returnTrans) | opennwa::details::TransitionStorage | [static] |
| getSource(const Internal &internalTrans) | opennwa::details::TransitionStorage | [static] |
| getSymbol(State from, State to, Symbol &sym) const | opennwa::details::TransitionStorage | |
| getTarget(const Internal &internalTrans) | opennwa::details::TransitionStorage | [static] |
| getTargets(State source) const | opennwa::details::TransitionStorage | |
| getTransCall(State state) const | opennwa::details::TransitionStorage | |
| getTransEntry(State state) const | opennwa::details::TransitionStorage | |
| getTransExit(State state) const | opennwa::details::TransitionStorage | |
| getTransFrom(State state) const | opennwa::details::TransitionStorage | |
| getTransPred(State state) const | opennwa::details::TransitionStorage | |
| getTransRet(State state) const | opennwa::details::TransitionStorage | |
| getTransTo(State state) const | opennwa::details::TransitionStorage | |
| Info typedef | opennwa::details::TransitionStorage | |
| Internal typedef | opennwa::details::TransitionStorage | |
| internalExists(State from, Symbol sym) const | opennwa::details::TransitionStorage | |
| InternalIterator typedef | opennwa::details::TransitionStorage | |
| Internals typedef | opennwa::details::TransitionStorage | |
| internalTrans | opennwa::details::TransitionStorage | [protected] |
| isCall(State from, Symbol sym, State to) const | opennwa::details::TransitionStorage | |
| isCall(const Call &trans) const | opennwa::details::TransitionStorage | |
| isCall(State state) const | opennwa::details::TransitionStorage | |
| isEntry(State state) const | opennwa::details::TransitionStorage | |
| isExit(State state) const | opennwa::details::TransitionStorage | |
| isFrom(State state) const | opennwa::details::TransitionStorage | |
| isInternal(State from, Symbol sym, State to) const | opennwa::details::TransitionStorage | |
| isInternal(const Internal &trans) const | opennwa::details::TransitionStorage | |
| isPred(State state) const | opennwa::details::TransitionStorage | |
| isRet(State state) const | opennwa::details::TransitionStorage | |
| isReturn(State from, State pred, Symbol sym, State to) const | opennwa::details::TransitionStorage | |
| isReturn(const Return &trans) const | opennwa::details::TransitionStorage | |
| isTo(State state) const | opennwa::details::TransitionStorage | |
| operator=(const TransitionStorage &other) | opennwa::details::TransitionStorage | |
| operator==(const TransitionStorage &other) const | opennwa::details::TransitionStorage | |
| print(std::ostream &o) const | opennwa::details::TransitionStorage | [virtual] |
| print_dot(std::ostream &o) const | opennwa::details::TransitionStorage | |
| removeCall(State from, Symbol sym, State to) | opennwa::details::TransitionStorage | |
| removeCall(const Call &removeTrans) | opennwa::details::TransitionStorage | |
| removeCallTransSym(Symbol sym) | opennwa::details::TransitionStorage | [protected] |
| removeCallTransWith(State state) | opennwa::details::TransitionStorage | [protected] |
| removeInternal(State from, Symbol sym, State to) | opennwa::details::TransitionStorage | |
| removeInternal(const Internal &removeTrans) | opennwa::details::TransitionStorage | |
| removeInternalTransSym(Symbol sym) | opennwa::details::TransitionStorage | [protected] |
| removeInternalTransWith(State state) | opennwa::details::TransitionStorage | [protected] |
| removeReturn(State from, State pred, Symbol sym, State to) | opennwa::details::TransitionStorage | |
| removeReturn(const Return &removeTrans) | opennwa::details::TransitionStorage | |
| removeReturnTransSym(Symbol sym) | opennwa::details::TransitionStorage | [protected] |
| removeReturnTransWith(State state) | opennwa::details::TransitionStorage | [protected] |
| removeTransSym(Symbol sym) | opennwa::details::TransitionStorage | |
| removeTransWith(State state) | opennwa::details::TransitionStorage | |
| Return typedef | opennwa::details::TransitionStorage | |
| returnExists(State from, State pred, Symbol sym) const | opennwa::details::TransitionStorage | |
| ReturnIterator typedef | opennwa::details::TransitionStorage | |
| Returns typedef | opennwa::details::TransitionStorage | |
| returnTrans | opennwa::details::TransitionStorage | [protected] |
| size() const | opennwa::details::TransitionStorage | |
| sizeCall() const | opennwa::details::TransitionStorage | |
| sizeInternal() const | opennwa::details::TransitionStorage | |
| sizeReturn() const | opennwa::details::TransitionStorage | |
| StateIterator typedef | opennwa::details::TransitionStorage | |
| stateIterator typedef | opennwa::details::TransitionStorage | |
| States typedef | opennwa::details::TransitionStorage | |
| T_info | opennwa::details::TransitionStorage | [protected] |
| to_string() const | wali::Printable | |
| toString() const | wali::Printable | |
| ~Printable() | wali::Printable | [virtual] |
