de.uka.ilkd.key.smt

Class VersionChecker

java.lang.Object

de.uka.ilkd.key.smt.VersionChecker

public class VersionChecker
extends java.lang.Object

Little helper class that helps to check for the version of a solver. Mainly it provides a method that starts the solver using certain parameters in order to obtain the version of that solver.

Field Summary

Fields

Modifier and Type	Field and Description
static VersionChecker	INSTANCE
private static long	maxDelay

Constructor Summary

Constructors

Constructor and Description
VersionChecker()

Method Summary

Modifier and Type	Method and Description
java.lang.String	getVersionFor(java.lang.String command, java.lang.String parameter)

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final VersionChecker INSTANCE

maxDelay

private static final long maxDelay

See Also:

Constant Field Values

Constructor Detail

VersionChecker

public VersionChecker()

Method Detail

getVersionFor

public java.lang.String getVersionFor(java.lang.String command,
                                      java.lang.String parameter)