opennwa::details::TransitionInfo Member List

This is the complete list of members for opennwa::details::TransitionInfo, including all inherited members.
addCall(const Call &call)opennwa::details::TransitionInfo
addIntra(const Internal &intra)opennwa::details::TransitionInfo
addRet(const Return &ret)opennwa::details::TransitionInfo
Cal typedefopennwa::details::TransitionInfo
Call typedefopennwa::details::TransitionInfo
callIterator typedefopennwa::details::TransitionInfo
CallIterator typedefopennwa::details::TransitionInfo
CallMap typedefopennwa::details::TransitionInfo
Calls typedefopennwa::details::TransitionInfo
callTrans(State state) const opennwa::details::TransitionInfo
clearMaps()opennwa::details::TransitionInfo
emptyCalls()opennwa::details::TransitionInfo [static]
emptyInternals()opennwa::details::TransitionInfo [static]
emptyReturns()opennwa::details::TransitionInfo [static]
entryTrans(State state) const opennwa::details::TransitionInfo
exitTrans(State state) const opennwa::details::TransitionInfo
fromTrans(State state) const opennwa::details::TransitionInfo
Int typedefopennwa::details::TransitionInfo
Internal typedefopennwa::details::TransitionInfo
internalIterator typedefopennwa::details::TransitionInfo
InternalIterator typedefopennwa::details::TransitionInfo
Internals typedefopennwa::details::TransitionInfo
IntraMap typedefopennwa::details::TransitionInfo
isCall(State state) const opennwa::details::TransitionInfo
isEntry(State state) const opennwa::details::TransitionInfo
isExit(State state) const opennwa::details::TransitionInfo
isFrom(State state) const opennwa::details::TransitionInfo
isPred(State state) const opennwa::details::TransitionInfo
isRet(State state) const opennwa::details::TransitionInfo
isTo(State state) const opennwa::details::TransitionInfo
operator=(const TransitionInfo &other)opennwa::details::TransitionInfo
operator==(const TransitionInfo &other) const opennwa::details::TransitionInfo
predTrans(State state) const opennwa::details::TransitionInfo
removeCall(const Call &call)opennwa::details::TransitionInfo
removeIntra(const Internal &intra)opennwa::details::TransitionInfo
removeRet(const Return &ret)opennwa::details::TransitionInfo
Ret typedefopennwa::details::TransitionInfo
RetMap typedefopennwa::details::TransitionInfo
retTrans(State state) const opennwa::details::TransitionInfo
Return typedefopennwa::details::TransitionInfo
ReturnIterator typedefopennwa::details::TransitionInfo
returnIterator typedefopennwa::details::TransitionInfo
Returns typedefopennwa::details::TransitionInfo
toTrans(State state) const opennwa::details::TransitionInfo