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

Packages that use ModelCheckingSettings

Package	Description
de.rwth.i2.attestor.phases.commandLineInterface
de.rwth.i2.attestor.phases.transformers

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

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

Modifier and Type	Method and Description
ModelCheckingSettings	CommandLinePhase.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()