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

Packages that use StateMaterializationStrategy

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

Uses of StateMaterializationStrategy in de.rwth.i2.attestor.grammar.admissibility

Constructors in de.rwth.i2.attestor.grammar.admissibility with parameters of type StateMaterializationStrategy

Constructor and Description
AdmissibilityStrategy(StateMaterializationStrategy materializationStrategy)

Uses of StateMaterializationStrategy in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies with parameters of type StateMaterializationStrategy

Constructor and Description
AdmissibleStateRectificationStrategy(StateMaterializationStrategy materializationStrategy)

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

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

Modifier and Type	Method and Description
StateMaterializationStrategy	StateSpaceGenerator.getMaterializationStrategy()