Uses of Interface
de.rwth.i2.attestor.phases.transformers.StateSpaceTransformer

Packages that use StateSpaceTransformer

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

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

Classes in de.rwth.i2.attestor.phases.symbolicExecution.recursive that implement StateSpaceTransformer

Modifier and Type	Class and Description
class	RecursiveStateSpaceGenerationPhase