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

Modifier and Type

Method

Description

static int

getBuild()

The build version

static String

getFullVersion()

A full version string

static int

getMajor()

The major version

static int

getMinor()

The minor version

static int

getRevision()

The revision

static 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 Details
- Version
  
  public Version()
Method Details
- 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.