de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Class StateSpaceGeneratorFactory

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.StateSpaceGeneratorFactory

public class StateSpaceGeneratorFactory
extends SceneObject

Constructor Summary

Constructors

Constructor and Description
StateSpaceGeneratorFactory(Scene scene)

Method Summary

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

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StateSpaceGeneratorFactory

public StateSpaceGeneratorFactory(Scene scene)

Method Detail

create

public StateSpaceGenerator create(Program program,
                                  ProgramState initialState)

create

public StateSpaceGenerator create(Program program,
                                  List<ProgramState> initialStates)

createBuilder

protected StateSpaceGeneratorBuilder createBuilder()

create

public StateSpaceGenerator create(Program program,
                                  ProgramState initialState,
                                  StateSpace stateSpace)