Z3
src
api
java
Version.java
Go to the documentation of this file.
1
18
package
com.microsoft.z3;
19
24
public
class
Version
25
{
29
public
static
int
getMajor
()
30
{
31
Native
.
IntPtr
major =
new
Native
.
IntPtr
(), minor =
new
Native
.
IntPtr
(), build =
new
Native
.
IntPtr
(), revision =
new
Native
.
IntPtr
();
32
Native
.
getVersion
(major, minor, build, revision);
33
return
major.value;
34
}
35
39
public
static
int
getMinor
()
40
{
41
Native
.
IntPtr
major =
new
Native
.
IntPtr
(), minor =
new
Native
.
IntPtr
(), build =
new
Native
.
IntPtr
(), revision =
new
Native
.
IntPtr
();
42
Native
.
getVersion
(major, minor, build, revision);
43
return
minor.value;
44
}
45
49
public
static
int
getBuild
()
50
{
51
Native
.
IntPtr
major =
new
Native
.
IntPtr
(), minor =
new
Native
.
IntPtr
(), build =
new
Native
.
IntPtr
(), revision =
new
Native
.
IntPtr
();
52
Native
.
getVersion
(major, minor, build, revision);
53
return
build.value;
54
}
55
59
public
static
int
getRevision
()
60
{
61
Native
.
IntPtr
major =
new
Native
.
IntPtr
(), minor =
new
Native
.
IntPtr
(), build =
new
Native
.
IntPtr
(), revision =
new
Native
.
IntPtr
();
62
Native
.
getVersion
(major, minor, build, revision);
63
return
revision.value;
64
}
65
69
public
static
String
getFullVersion
()
70
{
71
return
Native
.
getFullVersion
();
72
}
73
77
public
static
String
getString
()
78
{
79
Native
.
IntPtr
major =
new
Native
.
IntPtr
(), minor =
new
Native
.
IntPtr
(), build =
new
Native
.
IntPtr
(), revision =
new
Native
.
IntPtr
();
80
Native
.
getVersion
(major, minor, build, revision);
81
return
Integer.toString(major.value) +
"."
+ Integer.toString(minor.value) +
"."
82
+ Integer.toString(build.value) +
"."
+ Integer.toString(revision.value);
83
}
84
}
com.microsoft.z3.Native.getVersion
static void getVersion(IntPtr a0, IntPtr a1, IntPtr a2, IntPtr a3)
Definition:
Native.java:3926
com.microsoft.z3.Version.getMinor
static int getMinor()
Definition:
Version.java:39
com.microsoft.z3.Version.getString
static String getString()
Definition:
Version.java:77
com.microsoft.z3.Native.IntPtr
Definition:
Native.java:5
com.microsoft.z3.Version.getFullVersion
static String getFullVersion()
Definition:
Version.java:69
com.microsoft.z3.Native.getFullVersion
static String getFullVersion()
Definition:
Native.java:3931
com.microsoft.z3.Version.getRevision
static int getRevision()
Definition:
Version.java:59
com.microsoft.z3.Native
Definition:
Native.java:4
com.microsoft.z3.Version
Definition:
Version.java:25
com.microsoft.z3.Version.getMajor
static int getMajor()
Definition:
Version.java:29
com.microsoft.z3.Version.getBuild
static int getBuild()
Definition:
Version.java:49
z3py.String
def String(name, ctx=None)
Definition:
z3py.py:10111
Generated on Sat Jul 11 2020 00:00:00 for Z3 by
1.8.18