Package net.automatalib.modelchecker.ltsmin.monitor

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.

See Also:

AbstractLTSmin, https://spot.lrde.epita.fr/tut11.html, man etf2lts-mc

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

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 class AbstractLTSmin<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 class AbstractLTSmin<I,A,R>

Returns:

the extra command line options.