Z3 |

Version.cs
Go to the documentation of this file.
1/*++
2 Copyright (c) 2012 Microsoft Corporation
3
4 Module Name:
5
6 Version.cs
7
8 Abstract:
9
10 Z3 Managed API: Version information
11
12 Author:
13
14 Christoph Wintersteiger (cwinter) 2012-03-16
15
16 Notes:
17
18--*/
19
20 using System.Diagnostics;
21 using System;
22
23 namespace Microsoft.Z3
24{
29 public static class Version
30 {
31 static Version() { }
32
36 public static uint Major
37 {
38 get
39 {
40 uint major = 0, minor = 0, build = 0, revision = 0;
41 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
42 return major;
43 }
44 }
45
49 public static uint Minor
50 {
51 get
52 {
53 uint major = 0, minor = 0, build = 0, revision = 0;
54 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
55 return minor;
56 }
57 }
58
62 public static uint Build
63 {
64 get
65 {
66 uint major = 0, minor = 0, build = 0, revision = 0;
67 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
68 return build;
69 }
70 }
71
75 public static uint Revision
76 {
77 get
78 {
79 uint major = 0, minor = 0, build = 0, revision = 0;
80 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
81 return revision;
82 }
83 }
84
88 public static string FullVersion
89 {
90 get
91 {
92 return Native.Z3_get_full_version();
93 }
94 }
95
99 new public static string ToString()
100 {
101
102 uint major = 0, minor = 0, build = 0, revision = 0;
103 Native.Z3_get_version(ref major, ref minor, ref build, ref revision);
104 return major.ToString() + "." + minor.ToString() + "." + build.ToString() + "." + revision.ToString();
105 }
106 }
107}
Microsoft.Z3
Definition: AlgebraicNum.cs:27