Uses of Class
de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceGenerator

Packages that use StateSpaceGenerator

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

Uses of StateSpaceGenerator in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl that return StateSpaceGenerator

Modifier and Type	Method and Description
StateSpaceGenerator	StateSpaceGeneratorFactory.create(Program program, List<ProgramState> initialStates)
StateSpaceGenerator	StateSpaceGeneratorFactory.create(Program program, ProgramState initialState)
StateSpaceGenerator	StateSpaceGeneratorFactory.create(Program program, ProgramState initialState, StateSpace stateSpace)

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

Fields in de.rwth.i2.attestor.stateSpaceGeneration declared as StateSpaceGenerator

Modifier and Type	Field and Description
protected StateSpaceGenerator	StateSpaceGeneratorBuilder.generator Internal instance of the StateSpaceGenerator under construction by this builder

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

Modifier and Type	Method and Description
StateSpaceGenerator	StateSpaceGeneratorBuilder.build() Attempts to construct a new StateSpaceGenerator.

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

Modifier and Type	Method and Description
static StateSpaceGeneratorBuilder	StateSpaceGenerator.builder(StateSpaceGenerator stateSpaceGenerator)