Uses of Interface
de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceSupplier

Packages that use StateSpaceSupplier

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

Uses of StateSpaceSupplier in de.rwth.i2.attestor.stateSpaceGeneration

Methods in de.rwth.i2.attestor.stateSpaceGeneration that return StateSpaceSupplier

Modifier and Type	Method and Description
StateSpaceSupplier	StateSpaceGenerator.getStateSpaceSupplier()

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

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateSpaceSupplier(StateSpaceSupplier stateSpaceSupplier)