Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-engine / src / satune / LogicOp.java

diff --git a/JMCR-Stable/mcr-engine/src/satune/LogicOp.java b/JMCR-Stable/mcr-engine/src/satune/LogicOp.java
new file mode 100644 (file)
index 0000000..3f3807c
--- /dev/null
+++ b/JMCR-Stable/mcr-engine/src/satune/LogicOp.java
@@ -0,0 +1,28 @@
+/*
+ * To change this license header, choose License Headers in Project Properties.
+ * To change this template file, choose Tools | Templates
+ * and open the template in the editor.
+ */
+package satune;
+
+/**
+ *
+ * @author hamed
+ */
+public enum LogicOp {
+    SATC_AND(0), 
+    SATC_OR(1), 
+    SATC_NOT(2), 
+    SATC_XOR(3), 
+    SATC_IFF(4), 
+    SATC_IMPLIES(5);
+    private int value;
+
+    LogicOp(int val) {
+        value = val;
+    }
+    public int getValue(){
+        return value;
+    }
+    
+}