Uses of Class
dev.civl.gmc.GMCConfiguration

Packages that use GMCConfiguration

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.dpor
dev.civl.gmc.seq	This package provides sequential generic model checking functionality.
dev.civl.gmc.smc	A simple implementation of General Model Checker (GMC) is used by a set of code coverage test cases.

Uses of GMCConfiguration in dev.civl.gmc

Methods in dev.civl.gmc that return GMCConfiguration

Modifier and Type	Method	Description
GMCConfiguration	GMCConfiguration.clone()	Returns a deep copy of this configuration.
GMCConfiguration	LogEntry.getConfiguration()	Returns the configuration which will be used to replay the trace.
GMCConfiguration	CommandLineParser.newConfig()	Returns new, empty configuration with option set equal to the set of options associated to this parser.
GMCConfiguration	CommandLineParser.parse(Collection<String> args)	Given a collection of strings, parses them in the order of their iterator to produce a new configuration.

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

Modifier and Type	Method	Description
void	CommandLineParser.parse(GMCConfiguration config, BufferedReader reader)	Parses the reader, interpreting lines as command line args, modifying given configuration accordingly.
void	CommandLineParser.parse(GMCConfiguration config, File file)	Parses a file containing a configuration section, using the command line arguments from that section to modify the given configuration.
void	CommandLineParser.parse(GMCConfiguration config, Collection<String> args)	Given a collection of strings and a configuration compatible with this parser, parses the strings and uses the resulting information to modify the configuration.
void	GMCConfiguration.read(GMCConfiguration that)	Modifies this configuration by reading in the values of the given configuration and using those to set values of this one.
void	GMCSection.setConfiguration(GMCConfiguration config)	Updates the configuration associates with this section.

Constructors in dev.civl.gmc with parameters of type GMCConfiguration

Modifier	Constructor	Description
	GMCSection(GMCConfiguration config, String name)	Constructs a new instance of GMCSection with the given GMCConfiguration and name.
	LogEntry(GMCConfiguration configuration)	Default construtor: does nothing.

Uses of GMCConfiguration in dev.civl.gmc.dpor

Constructors in dev.civl.gmc.dpor with parameters of type GMCConfiguration

Modifier	Constructor	Description
	DporDfsSearcher(DependencyAnalyzer<STATE,TRANSITION> analyzer, StateManager<STATE,TRANSITION> manager, StatePredicateIF<STATE> predicate, GMCConfiguration gmcConfig)
	DporDfsSearcher(DependencyAnalyzer<STATE,TRANSITION> analyzer, StateManager<STATE,TRANSITION> manager, StatePredicateIF<STATE> predicate, GMCConfiguration gmcConfig, PrintStream debugOut)	Constructs a new depth first search searcher.

Uses of GMCConfiguration in dev.civl.gmc.seq

Constructors in dev.civl.gmc.seq with parameters of type GMCConfiguration

Modifier	Constructor	Description
	DfsSearcher(EnablerIF<STATE,TRANSITION> enabler, StateManager<STATE,TRANSITION> manager, StatePredicateIF<STATE> predicate, GMCConfiguration gmcConfig)
	DfsSearcher(EnablerIF<STATE,TRANSITION> enabler, StateManager<STATE,TRANSITION> manager, StatePredicateIF<STATE> predicate, GMCConfiguration gmcConfig, PrintStream debugOut)	Constructs a new depth first search searcher.

Uses of GMCConfiguration in dev.civl.gmc.smc

Methods in dev.civl.gmc.smc with parameters of type GMCConfiguration

Modifier and Type	Method	Description
boolean	SMC.run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate, GMCConfiguration config)	For a given MatrixDirectedGraph graph and a predicate implementing StatePredicateIF, If the predicate is hold, true will be returned, else false. Note that the default starting state is the state with id of 0
boolean	SMC.run(MatrixDirectedGraph graph, StatePredicateIF<Integer> predicate, Integer initialState, GMCConfiguration config)	For a given MatrixDirectedGraph graph, a predicate implementing StatePredicateIF and a starting state initialState, If the predicate is hold, true will be returned, else false.

Constructors in dev.civl.gmc.smc with parameters of type GMCConfiguration

Modifier	Constructor	Description
	SMCSimulator(GMCConfiguration config, PrintStream out)