Uses of Class
net.automatalib.modelchecker.ltsmin.LTSminVersion

Packages that use LTSminVersion

Package	Description
net.automatalib.modelchecker.ltsmin	This package (and sub-packages) provides the integration of the model checker LTSmin as described in the paper Sound Black-Box Checking in the LearnLib by Jeroen Meijer and Jaco van de Pol.
net.automatalib.modelchecker.ltsmin.ltl
net.automatalib.modelchecker.ltsmin.monitor

Uses of LTSminVersion in net.automatalib.modelchecker.ltsmin

Methods in net.automatalib.modelchecker.ltsmin that return LTSminVersion

Modifier and Type	Method	Description
protected abstract LTSminVersion	AbstractLTSmin.getMinimumRequiredVersion()	Returns the minimum required version of LTSmin.
static @Nullable LTSminVersion	LTSminUtil.getVersion()	Returns the detected version of the LTSmin installation.
static LTSminVersion	LTSminVersion.of(int major, int minor, int patch)	Returns an LTSminVersion instance described by the provided versions.
static LTSminVersion	LTSminVersion.parse(String version)	Parses an LTSmin version string and transforms it into an LTSminVersion instance.

Methods in net.automatalib.modelchecker.ltsmin with parameters of type LTSminVersion

Modifier and Type	Method	Description
static boolean	LTSminUtil.supports(LTSminVersion requiredVersion)	Checks whether the currently detected LTSmin installation supports the queried version.
boolean	LTSminVersion.supports(LTSminVersion required)	Checks whether this version supports the given required version.

Uses of LTSminVersion in net.automatalib.modelchecker.ltsmin.ltl

Fields in net.automatalib.modelchecker.ltsmin.ltl declared as LTSminVersion

Modifier and Type	Field	Description
static LTSminVersion	AbstractLTSminLTL.REQUIRED_VERSION

Methods in net.automatalib.modelchecker.ltsmin.ltl that return LTSminVersion

Modifier and Type	Method	Description
protected LTSminVersion	AbstractLTSminLTL.getMinimumRequiredVersion()

Uses of LTSminVersion in net.automatalib.modelchecker.ltsmin.monitor

Fields in net.automatalib.modelchecker.ltsmin.monitor declared as LTSminVersion

Modifier and Type	Field	Description
static LTSminVersion	AbstractLTSminMonitor.REQUIRED_VERSION

Methods in net.automatalib.modelchecker.ltsmin.monitor that return LTSminVersion

Modifier and Type	Method	Description
protected LTSminVersion	AbstractLTSminMonitor.getMinimumRequiredVersion()