Uses of Enum Class
dev.civl.mc.semantics.IF.Transition.TransitionKind

Packages that use Transition.TransitionKind

Package	Description
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

Uses of Transition.TransitionKind in dev.civl.mc.semantics.IF

Methods in dev.civl.mc.semantics.IF that return Transition.TransitionKind

Modifier and Type	Method	Description
Transition.TransitionKind	Transition.transitionKind()	returns the kind of this transition.
static Transition.TransitionKind	Transition.TransitionKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static Transition.TransitionKind[]	Transition.TransitionKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.