Uses of Interface
de.rwth.i2.attestor.phases.modelChecking.modelChecker.ModelCheckingTrace

Packages that use ModelCheckingTrace

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 ModelCheckingTrace in de.rwth.i2.attestor.phases.modelChecking

Methods in de.rwth.i2.attestor.phases.modelChecking that return ModelCheckingTrace

Modifier and Type	Method and Description
ModelCheckingTrace	ModelCheckingPhase.getTraceOf(de.rwth.i2.attestor.LTLFormula formula)

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

Classes in de.rwth.i2.attestor.phases.modelChecking.modelChecker that implement ModelCheckingTrace

Modifier and Type	Class and Description
class	FailureTrace

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

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

Modifier and Type	Method and Description
ModelCheckingTrace	ModelCheckingResultsTransformer.getTraceOf(de.rwth.i2.attestor.LTLFormula formula)