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

Packages that use LTSminVersion

Package	Description
net.automatalib.modelcheckers.ltsmin
net.automatalib.modelcheckers.ltsmin.ltl
net.automatalib.modelcheckers.ltsmin.monitor

Uses of LTSminVersion in net.automatalib.modelcheckers.ltsmin

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

Modifier and Type	Method and Description
protected abstract LTSminVersion	AbstractLTSmin.getMinimumRequiredVersion() Returns the minimum required version of LTSmin.
static 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.modelcheckers.ltsmin with parameters of type LTSminVersion

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

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

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

Modifier and Type	Field and Description
static LTSminVersion	AbstractLTSminLTL.REQUIRED_VERSION

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

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

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

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

Modifier and Type	Field and Description
static LTSminVersion	AbstractLTSminMonitor.REQUIRED_VERSION

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

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