com.microsoft.z3

Class Version

java.lang.Object

com.microsoft.z3.Version

public class Version
extends java.lang.Object

Version information. Remarks: Note that this class is static.

Constructor Summary

Constructors

Constructor and Description
Version()

Method Summary

Methods

Modifier and Type	Method and Description
static int	getBuild() The build version
static int	getMajor() The major version
static int	getMinor() The minor version
static int	getRevision() The revision
static java.lang.String	getString() A string representation of the version information.

Methods inherited from class java.lang.Object

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

Constructor Detail

Version

public Version()

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

getString

public static java.lang.String getString()

A string representation of the version information.