Uses of Class
dev.civl.gmc.Option

Packages that use Option

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.
dev.civl.gmc.smc	A simple implementation of General Model Checker (GMC) is used by a set of code coverage test cases.

Uses of Option in dev.civl.gmc

Methods in dev.civl.gmc that return Option

Modifier and Type	Method	Description
Option	GMCConfiguration.getOption(String name)	Returns the option with the given name associated to this configuration, or null if there is none.
static Option	Option.newMapOption(String name, String description)	Returns a new option of type MAP with default value the empty map.
static Option	Option.newScalarOption(String name, Option.OptionType type, String description, Object defaultValue)

Methods in dev.civl.gmc that return types with arguments of type Option

Modifier and Type	Method	Description
Collection<Option>	GMCConfiguration.getOptions()	Returns the set of options associated to this configuration.

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

Modifier and Type	Method	Description
Object	GMCSection.getMapEntry(Option option, String key)	Given an option of map type, and a key, this returns the value associated to the key in the map associated to option.
Map<String,Object>	GMCSection.getMapValue(Option option)	Gets the map value associated to an option of map type, or null if no value is associated to that option.
Object	GMCSection.getValue(Option option)	Gets the value associated to an option or null if no value is associated to that option.
Object	GMCSection.getValueOrDefault(Option option)	Returns the value associated to an option or the default value for that option if no value is associated to it.
boolean	GMCSection.isTrue(Option option)	Determines whether the value associated to a boolean option should be construed as true in most circumstances.
Object	GMCSection.putMapEntry(Option option, String key, Object value)	Given an option of map type, adds or removes the key-value pair to the map corresponding to that option.
Map<String,Object>	GMCSection.setMapValue(Option option, Map<String,Object> value)	Sets map value or removes map entry from this configuration.
Object	GMCSection.setScalarValue(Option option, Object value)	Adds the key-value pair for a scalar value to the parameter map.

Constructor parameters in dev.civl.gmc with type arguments of type Option

Modifier	Constructor	Description
	CommandLineParser(Collection<Option> options)	Constructs a new parser from the given collection of options.
	GMCConfiguration(Collection<Option> options)	Constructs new configuration with the set of options obtained from the given collection.

Uses of Option in dev.civl.gmc.smc

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

Modifier and Type	Method	Description
static Option[]	SMCConstants.getAllOptions()