Uses of Interface
de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceGenerator.TotalStatesCounter

Packages that use StateSpaceGenerator.TotalStatesCounter

Package	Description
de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

Uses of StateSpaceGenerator.TotalStatesCounter in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Classes in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies that implement StateSpaceGenerator.TotalStatesCounter

Modifier and Type	Class and Description
class	NoStateCounter

Uses of StateSpaceGenerator.TotalStatesCounter in de.rwth.i2.attestor.stateSpaceGeneration

Methods in de.rwth.i2.attestor.stateSpaceGeneration that return StateSpaceGenerator.TotalStatesCounter

Modifier and Type	Method and Description
StateSpaceGenerator.TotalStatesCounter	StateSpaceGenerator.getTotalStatesCounter()

Methods in de.rwth.i2.attestor.stateSpaceGeneration with parameters of type StateSpaceGenerator.TotalStatesCounter

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateCounter(StateSpaceGenerator.TotalStatesCounter stateCounter)