Main Page
Namespaces
Classes
Files
Directories
Class List
Class Index
Class Hierarchy
Class Members
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
typedef
opennwa::details::TransitionInfo
Call
typedef
opennwa::details::TransitionInfo
callIterator
typedef
opennwa::details::TransitionInfo
CallIterator
typedef
opennwa::details::TransitionInfo
CallMap
typedef
opennwa::details::TransitionInfo
Calls
typedef
opennwa::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
typedef
opennwa::details::TransitionInfo
Internal
typedef
opennwa::details::TransitionInfo
internalIterator
typedef
opennwa::details::TransitionInfo
InternalIterator
typedef
opennwa::details::TransitionInfo
Internals
typedef
opennwa::details::TransitionInfo
IntraMap
typedef
opennwa::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
typedef
opennwa::details::TransitionInfo
RetMap
typedef
opennwa::details::TransitionInfo
retTrans
(State state) const
opennwa::details::TransitionInfo
Return
typedef
opennwa::details::TransitionInfo
ReturnIterator
typedef
opennwa::details::TransitionInfo
returnIterator
typedef
opennwa::details::TransitionInfo
Returns
typedef
opennwa::details::TransitionInfo
toTrans
(State state) const
opennwa::details::TransitionInfo
Generated on Tue Jan 31 2012 17:06:21 for Wali by
1.7.1