public class CLIPhase extends AbstractPhase implements InputSettingsTransformer, OutputSettingsTransformer, MCSettingsTransformer, StateLabelingStrategyBuilderTransformer
logger| Modifier and Type | Method and Description |
|---|---|
void |
executePhase() |
InputSettings |
getInputSettings() |
ModelCheckingSettings |
getMcSettings() |
String |
getName() |
OutputSettings |
getOutputSettings() |
AutomatonStateLabelingStrategyBuilder |
getStrategy() |
boolean |
isVerificationPhase() |
void |
logSummary() |
getElapsedTime, getPhase, logHighlight, logSum, register, runscenepublic String getName()
getName in class AbstractPhasepublic void executePhase()
executePhase in class AbstractPhasepublic void logSummary()
logSummary in class AbstractPhasepublic boolean isVerificationPhase()
isVerificationPhase in class AbstractPhasepublic InputSettings getInputSettings()
getInputSettings in interface InputSettingsTransformerpublic ModelCheckingSettings getMcSettings()
getMcSettings in interface MCSettingsTransformerpublic OutputSettings getOutputSettings()
getOutputSettings in interface OutputSettingsTransformerpublic AutomatonStateLabelingStrategyBuilder getStrategy()
getStrategy in interface StateLabelingStrategyBuilderTransformerCopyright © 2018. All rights reserved.