Uses of Interface
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleTrace

Packages that use CounterexampleTrace

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

Uses of CounterexampleTrace in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type CounterexampleTrace

Modifier and Type	Method and Description
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setTrace(CounterexampleTrace trace)

Constructors in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type CounterexampleTrace

Constructor and Description
TraceBasedStateExplorationStrategy(CounterexampleTrace trace, StateSubsumptionStrategy stateSubsumptionStrategy)

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

Subinterfaces of CounterexampleTrace in de.rwth.i2.attestor.phases.modelChecking.modelChecker

Modifier and Type	Interface and Description
interface	ModelCheckingTrace

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

Modifier and Type	Class and Description
class	FailureTrace