Package com.microsoft.z3
Class Version
- java.lang.Object
-
- com.microsoft.z3.Version
-
public class Version extends Object
Version information. Remarks: Note that this class is static.
-
-
Constructor Summary
Constructors Constructor Description Version()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static int
getBuild()
The build versionstatic String
getFullVersion()
A full version stringstatic int
getMajor()
The major versionstatic int
getMinor()
The minor versionstatic int
getRevision()
The revisionstatic String
getString()
A string representation of the version information.
-
-
-
Method Detail
-
getMajor
public static int getMajor()
The major version
-
getMinor
public static int getMinor()
The minor version
-
getBuild
public static int getBuild()
The build version
-
getRevision
public static int getRevision()
The revision
-
getFullVersion
public static String getFullVersion()
A full version string
-
getString
public static String getString()
A string representation of the version information.
-
-