--- /dev/null
+/*
+ * 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;
+ }
+
+}