Initial commit

Bug-AGL: SPEC-4033
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>

1 files changed, 18 insertions, 0 deletions

diff --git a/rba.tool.core/src/rba/tool/core/z3/Z3Constants.java b/rba.tool.core/src/rba/tool/core/z3/Z3Constants.java
new file mode 100644
index 0000000..51e726f
--- /dev/null
+++ b/rba.tool.core/src/rba/tool/core/z3/Z3Constants.java
@@ -0,0 +1,18 @@
+package rba.tool.core.z3;
+
+public class Z3Constants {
+
+    public static String TOTAL_RESULT = "Z3_CODE_TOTAL_RESULT";
+
+    public static String SAT = "SAT";
+
+    public static String UNSAT = "UNSAT";
+
+    public static String UNKNOWN = "UNKNOWN";
+
+    public static Integer SAT_VAL = 0;
+
+    public static Integer UNSAT_VAL = -99;
+
+    public static Integer UNKNOWN_VAL = -98;
+}