net.automatalib.modelcheckers.ltsmin.monitor

Class AbstractLTSminMonitor<I,A,R>

java.lang.Object

net.automatalib.modelcheckers.ltsmin.AbstractLTSmin<I,A,R>

net.automatalib.modelcheckers.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.

Author:

Jeroen Meijer

See Also:

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

Nested Class Summary

Nested classes/interfaces inherited from class net.automatalib.modelcheckers.ltsmin.AbstractLTSmin

AbstractLTSmin.BuilderDefaults

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 and Description
static LTSminVersion	REQUIRED_VERSION

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractLTSminMonitor(boolean keepFiles, Function<String,I> string2Input) Constructs a new AbstractLTSminMonitor.

Method Summary

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.

Methods inherited from class net.automatalib.modelcheckers.ltsmin.AbstractLTSmin

findCounterExampleFSM, getString2Input, isKeepFiles

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.modelcheckers.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)
                         throws ModelCheckingException

Constructs a new AbstractLTSminMonitor.

Throws:

ModelCheckingException

See Also:

AbstractLTSmin

Method Detail

getMinimumRequiredVersion

protected LTSminVersion getMinimumRequiredVersion()

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.