Main Page
Packages
Class Hierarchy
Alphabetical List
Compound List
File List
Compound Members
Transformation Member List
This is the complete list of members for
Transformation
, including all inherited members.
actions
(defined in
Transformation
)
[private]
deletedVector
(defined in
Transformation
)
[private, static]
deleteTrans
() (defined in
Transformation
)
[inline, private]
fromLoc
(defined in
Transformation
)
[private]
getActions
() (defined in
Transformation
)
[inline]
getFromLoc
() (defined in
Transformation
)
[inline]
getGuard
() (defined in
Transformation
)
[inline]
getToLoc
() (defined in
Transformation
)
[inline]
guard
(defined in
Transformation
)
[private]
isVisible
() (defined in
Transformation
)
[inline]
markDeleted
()
[inline]
markedDeleted
(defined in
Transformation
)
[private]
purge
()
[inline, static]
setVisible
(boolean visible) (defined in
Transformation
)
[inline]
toLoc
(defined in
Transformation
)
[private]
toString
() (defined in
Transformation
)
[inline]
Transformation
(Location fromLoc, Location toLoc, Expr guard, ActionVector actions) (defined in
Transformation
)
[inline]
visible
(defined in
Transformation
)
[private]
Generated at Thu Feb 7 07:22:32 2002 for Bandera by
1.2.10 written by
Dimitri van Heesch
, © 1997-2001