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

Packages that use StateSpaceGeneratorBuilder

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 StateSpaceGeneratorBuilder in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

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

Modifier and Type	Method and Description
protected StateSpaceGeneratorBuilder	StateSpaceGeneratorFactory.createBuilder()

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

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

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.addInitialState(ProgramState initialState)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.addInitialStates(List<ProgramState> initialStates)
static StateSpaceGeneratorBuilder	StateSpaceGenerator.builder()
static StateSpaceGeneratorBuilder	StateSpaceGenerator.builder(StateSpaceGenerator stateSpaceGenerator)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setAbortStrategy(AbortStrategy abortStrategy)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setAlwaysCanonicalize(boolean alwaysCanonicalize)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setCanonizationStrategy(StateCanonicalizationStrategy canonicalizationStrategy)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setFinalStateStrategy(FinalStateStrategy finalStateStrategy)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setInitialStateSpace(StateSpace initialStateSpace) Optional method to determine a (possibly non-empty) initial state space used for state space generation.
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setMaterializationStrategy(MaterializationStrategy materializationStrategy)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setPostProcessingStrategy(PostProcessingStrategy postProcessingStrategy)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setProgram(Program program)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateCounter(StateSpaceGenerator.TotalStatesCounter stateCounter)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateExplorationStrategy(StateExplorationStrategy strategy)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateLabelingStrategy(StateLabelingStrategy stateLabelingStrategy)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateRectificationStrategy(StateRectificationStrategy stateRectificationStrategy)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateRefinementStrategy(StateRefinementStrategy stateRefinementStrategy)
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateSpaceSupplier(StateSpaceSupplier stateSpaceSupplier)