Z3 |

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.Version
Definition: Version.java:25
com.microsoft.z3.Version.getMinor
static int getMinor()
Definition: Version.java:39
com.microsoft.z3.Version.getMajor
static int getMajor()
Definition: Version.java:29
com.microsoft.z3.Version.getString
static String getString()
Definition: Version.java:77
com.microsoft.z3.Version.getBuild
static int getBuild()
Definition: Version.java:49
com.microsoft.z3.Version.getRevision
static int getRevision()
Definition: Version.java:59
com.microsoft.z3.Version.getFullVersion
static String getFullVersion()
Definition: Version.java:69
z3py.String
def String(name, ctx=None)
Definition: z3py.py:10693