Class AbstractLTSminMonitor<I,A,R>
- java.lang.Object
-
- net.automatalib.modelchecker.ltsmin.AbstractLTSmin<I,A,R>
-
- net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor<I,A,R>
-
- All Implemented Interfaces:
LTSmin<I,A,R>
,ModelChecker<I,A,String,R>
- Direct Known Subclasses:
AbstractLTSminMonitorMealy
,LTSminMonitorDFA
public abstract class AbstractLTSminMonitor<I,A,R> extends AbstractLTSmin<I,A,R>
An LTSmin model checker for monitors.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.modelchecking.ModelChecker
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
-
-
Field Summary
Fields Modifier and Type Field Description static LTSminVersion
REQUIRED_VERSION
-
Constructor Summary
Constructors Modifier Constructor Description protected
AbstractLTSminMonitor(boolean keepFiles, Function<String,I> string2Input)
Constructs a new AbstractLTSminMonitor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.-
Methods inherited from class net.automatalib.modelchecker.ltsmin.AbstractLTSmin
findCounterExampleFSM, getString2Input, isKeepFiles, verifyFormula
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.modelchecker.ltsmin.LTSmin
automaton2ETF
-
Methods inherited from interface net.automatalib.modelchecking.ModelChecker
findCounterExample
-
-
-
-
Field Detail
-
REQUIRED_VERSION
public static final LTSminVersion REQUIRED_VERSION
-
-
Constructor Detail
-
AbstractLTSminMonitor
protected AbstractLTSminMonitor(boolean keepFiles, Function<String,I> string2Input)
Constructs a new AbstractLTSminMonitor.- See Also:
AbstractLTSmin(boolean, Function)
-
-
Method Detail
-
getMinimumRequiredVersion
protected LTSminVersion getMinimumRequiredVersion(@UnknownInitialization(AbstractLTSmin.class) AbstractLTSminMonitor<I,A,R> this)
Description copied from class:AbstractLTSmin
Returns the minimum required version of LTSmin.- Specified by:
getMinimumRequiredVersion
in classAbstractLTSmin<I,A,R>
- Returns:
- the major version.
-
getExtraCommandLineOptions
protected List<String> getExtraCommandLineOptions()
Description copied from class:AbstractLTSmin
Returns the extra command line options that should be given to the etf2lts-mc binary.- Specified by:
getExtraCommandLineOptions
in classAbstractLTSmin<I,A,R>
- Returns:
- the extra command line options.
-
-