Package net.automatalib.modelchecker.ltsmin

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

Modifier and Type	Method	Description
static void	detectLTSmin()	(Re-)Checks whether the required binaries for the LTSmin 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.

Methods inherited from class java.lang.Object

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

Field Detail

ETF2LTS_MC

public static final String ETF2LTS_MC

Path to the "etf2lts-mc" binary.

LTSMIN_CONVERT

public static final String LTSMIN_CONVERT

Path to the "ltsmin-convert" binary.

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 the LTSmin modelchecker can be executed, by performing a version check. The results to these checks can be accessed by isInstalled() and getVersion().

See Also:

ETF2LTS_MC, LTSMIN_CONVERT