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

Packages that use FailureTrace

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

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

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

Modifier and Type	Method and Description
FailureTrace	ProofStructure.getFailureTrace()