Uses of Enum Class
dev.civl.gmc.Option.OptionType

Packages that use Option.OptionType

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.

Uses of Option.OptionType in dev.civl.gmc

Methods in dev.civl.gmc that return Option.OptionType

Modifier and Type	Method	Description
Option.OptionType	Option.type()	Returns the type of this option
static Option.OptionType	Option.OptionType.valueOf(String name)	Returns the enum constant of this class with the specified name.
static Option.OptionType[]	Option.OptionType.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in dev.civl.gmc with parameters of type Option.OptionType

Modifier and Type	Method	Description
static Option	Option.newScalarOption(String name, Option.OptionType type, String description, Object defaultValue)