Uses of Class
de.rwth.i2.attestor.phases.communication.ModelCheckingSettings

Packages that use ModelCheckingSettings

Package	Description
de.rwth.i2.attestor.io
de.rwth.i2.attestor.io.settings
de.rwth.i2.attestor.phases.parser
de.rwth.i2.attestor.phases.transformers

Uses of ModelCheckingSettings in de.rwth.i2.attestor.io

Methods in de.rwth.i2.attestor.io with parameters of type ModelCheckingSettings

Modifier and Type	Method and Description
void	SummaryExporter.exportForReport(Scene scene, StateSpace spatespace, ModelCheckingPhase mcPhase, ModelCheckingSettings mcSetting, CLIPhase cliPhase, List<AbstractPhase> phases)

Uses of ModelCheckingSettings in de.rwth.i2.attestor.io.settings

Methods in de.rwth.i2.attestor.io.settings with parameters of type ModelCheckingSettings

Modifier and Type	Method and Description
void	SettingsFileReader.getMCSettings(ModelCheckingSettings mc) Populates the model checking communication with the input from the parsed communication file.
void	CommandLineReader.getMCSettings(ModelCheckingSettings mcSettings) Populates all communication that customize if and how model checking is performed.

Uses of ModelCheckingSettings in de.rwth.i2.attestor.phases.parser

Methods in de.rwth.i2.attestor.phases.parser that return ModelCheckingSettings

Modifier and Type	Method and Description
ModelCheckingSettings	CLIPhase.getMcSettings()

Uses of ModelCheckingSettings in de.rwth.i2.attestor.phases.transformers

Methods in de.rwth.i2.attestor.phases.transformers that return ModelCheckingSettings

Modifier and Type	Method and Description
ModelCheckingSettings	MCSettingsTransformer.getMcSettings()