public abstract class AbstractLTSminMonitor<I,A,R> extends AbstractLTSmin<I,A,R>
AbstractLTSmin
,
https://spot.lrde.epita.fr/tut11.html,
man etf2lts-mcAbstractLTSmin.BuilderDefaults
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
Modifier and Type | Field and Description |
---|---|
static LTSminVersion |
REQUIRED_VERSION |
Modifier | Constructor and Description |
---|---|
protected |
AbstractLTSminMonitor(boolean keepFiles,
Function<String,I> string2Input)
Constructs a new AbstractLTSminMonitor.
|
Modifier and Type | Method and Description |
---|---|
protected List<String> |
getExtraCommandLineOptions()
Returns the extra command line options that should be given to the etf2lts-mc binary.
|
protected LTSminVersion |
getMinimumRequiredVersion()
Returns the minimum required version of LTSmin.
|
findCounterExampleFSM, getString2Input, isKeepFiles, verifyFormula
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
automaton2ETF
findCounterExample
public static final LTSminVersion REQUIRED_VERSION
protected LTSminVersion getMinimumRequiredVersion()
AbstractLTSmin
getMinimumRequiredVersion
in class AbstractLTSmin<I,A,R>
protected List<String> getExtraCommandLineOptions()
AbstractLTSmin
getExtraCommandLineOptions
in class AbstractLTSmin<I,A,R>
Copyright © 2020. All rights reserved.