Class LTSminUtil
- java.lang.Object
-
- net.automatalib.modelchecker.ltsmin.LTSminUtil
-
public final class LTSminUtil extends Object
A utility class that encapsulates certain technical aspects of LTSmin (e.g. accessibility of the binary, etc.)
-
-
Field Summary
Fields Modifier and Type Field Description static String
ETF2LTS_MC
Path to the "etf2lts-mc" binary.static String
LTSMIN_CONVERT
Path to the "ltsmin-convert" binary.
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
detectLTSmin()
(Re-)Checks whether the required binaries for theLTSmin modelchecker
can be executed, by performing a version check.static @Nullable LTSminVersion
getVersion()
Returns the detected version of the LTSmin installation.static boolean
isInstalled()
Returns whether an LTSmin installation was detected.static boolean
isVerbose()
Returns whether to make LTSmin's output more verbose.static void
setVerbose(boolean verbose)
Programmitically set, whether to make LTSmin's output more verbose.static boolean
supports(LTSminVersion requiredVersion)
Checks whether the currently detected LTSmin installation supports the queried version.
-
-
-
Method Detail
-
isInstalled
@EnsuresNonNullIf(expression="detectedVersion", result=true) public static boolean isInstalled()
Returns whether an LTSmin installation was detected.- Returns:
true
if an LTSmin installation was detected,false
otherwise.
-
getVersion
public static @Nullable LTSminVersion getVersion()
Returns the detected version of the LTSmin installation.null
if LTSmin is not installed.- Returns:
- the detected version of the LTSmin installation.
null
if LTSmin is not installed. - See Also:
isInstalled()
-
supports
public static boolean supports(LTSminVersion requiredVersion)
Checks whether the currently detected LTSmin installation supports the queried version.- Parameters:
requiredVersion
- the required version- Returns:
true
if LTSmin is installed in the proper version,false
otherwise.
-
isVerbose
public static boolean isVerbose()
Returns whether to make LTSmin's output more verbose.
-
setVerbose
public static void setVerbose(boolean verbose)
Programmitically set, whether to make LTSmin's output more verbose.
-
detectLTSmin
public static void detectLTSmin()
(Re-)Checks whether the required binaries for theLTSmin modelchecker
can be executed, by performing a version check. The results to these checks can be accessed byisInstalled()
andgetVersion()
.- See Also:
ETF2LTS_MC
,LTSMIN_CONVERT
-
-