Uses of Class
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.StateSpaceGeneratorFactory

Packages that use StateSpaceGeneratorFactory

Package	Description
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl
de.rwth.i2.attestor.phases.symbolicExecution.recursive

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

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl with parameters of type StateSpaceGeneratorFactory

Constructor and Description
InternalContractGenerator(StateSpaceGeneratorFactory factory, Program program)

Uses of StateSpaceGeneratorFactory in de.rwth.i2.attestor.phases.symbolicExecution.recursive

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.recursive with parameters of type StateSpaceGeneratorFactory

Constructor and Description
InternalPartialStateSpace(ProgramState callingState, StateSpaceGeneratorFactory stateSpaceGeneratorFactory)
InternalProcedureCall(Method method, HeapConfiguration precondition, StateSpaceGeneratorFactory factory, ProcedureRegistry registry)
InternalProcedureRegistry(InterproceduralAnalysis analysis, StateSpaceGeneratorFactory stateSpaceGeneratorFactory)