de.rwth.i2.attestor.stateSpaceGeneration

Interfaces

• AbortStrategy
• FinalStateStrategy
• LabelledProgramState
• PostProcessingStrategy
• Program
• ProgramState
• SemanticsCommand
• State
• StateExplorationStrategy
• StateLabelingStrategy
• StateRectificationStrategy
• StateRefinementStrategy
• StateSpace
• StateSpaceExporter
• StateSpaceGenerator.TotalStatesCounter
• StateSpaceSupplier

Classes

• StateCanonicalizationStrategy
• StateMaterializationStrategy
• StateSpaceGenerator
• StateSpaceGeneratorBuilder

Exceptions

• StateSpaceGenerationAbortedException