de.rwth.i2.attestor.phases.transformers

Interface StateLabelingStrategyBuilderTransformer

All Known Implementing Classes:

CommandLinePhase, GrammarRefinementPhase, MarkingGenerationPhase

public interface StateLabelingStrategyBuilderTransformer

Method Summary

Modifier and Type	Method and Description
AutomatonStateLabelingStrategyBuilder	getStrategy()

Method Detail

getStrategy

AutomatonStateLabelingStrategyBuilder getStrategy()