Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin | |
net.automatalib.modelcheckers.ltsmin.ltl | |
net.automatalib.modelcheckers.ltsmin.monitor |
Modifier and Type | Method and 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. |
Modifier and Type | Method and 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. |
Modifier and Type | Field and Description |
---|---|
static LTSminVersion |
AbstractLTSminLTL.REQUIRED_VERSION |
Modifier and Type | Method and Description |
---|---|
protected LTSminVersion |
AbstractLTSminLTL.getMinimumRequiredVersion() |
Modifier and Type | Field and Description |
---|---|
static LTSminVersion |
AbstractLTSminMonitor.REQUIRED_VERSION |
Modifier and Type | Method and Description |
---|---|
protected LTSminVersion |
AbstractLTSminMonitor.getMinimumRequiredVersion() |
Copyright © 2020. All rights reserved.