de.rwth.i2.attestor.phases.transformers

Interfaces

• CounterexampleTransformer
• GrammarTransformer
• InputSettingsTransformer
• InputTransformer
• MCSettingsTransformer
• ModelCheckingResultsTransformer
• OutputSettingsTransformer
• ProgramTransformer
• StateLabelingStrategyBuilderTransformer
• StateSpaceTransformer