Version (Java Bindings for Z3)

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 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 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
  - getFullVersion
```
public static String getFullVersion()
```
    A full version string
  - getString
```
public static String getString()
```
    A string representation of the version information.