Uses of Class
de.rwth.i2.attestor.phases.modelChecking.modelChecker.ModelCheckingResult

Packages that use ModelCheckingResult

Package	Description
de.rwth.i2.attestor.phases.modelChecking
de.rwth.i2.attestor.phases.modelChecking.modelChecker	This package implements the model checking tableau method from
de.rwth.i2.attestor.phases.transformers

Uses of ModelCheckingResult in de.rwth.i2.attestor.phases.modelChecking

Methods in de.rwth.i2.attestor.phases.modelChecking that return types with arguments of type ModelCheckingResult

Modifier and Type	Method and Description
Map<de.rwth.i2.attestor.LTLFormula,ModelCheckingResult>	ModelCheckingPhase.getLTLResults()

Uses of ModelCheckingResult in de.rwth.i2.attestor.phases.modelChecking.modelChecker

Methods in de.rwth.i2.attestor.phases.modelChecking.modelChecker that return ModelCheckingResult

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

Methods in de.rwth.i2.attestor.phases.modelChecking.modelChecker with parameters of type ModelCheckingResult

Modifier and Type	Method and Description
static String	ModelCheckingResult.getString(ModelCheckingResult result)

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

Methods in de.rwth.i2.attestor.phases.transformers that return types with arguments of type ModelCheckingResult

Modifier and Type	Method and Description
Map<de.rwth.i2.attestor.LTLFormula,ModelCheckingResult>	ModelCheckingResultsTransformer.getLTLResults()