Adding sypet to repo
[Benchmarks_CSolver.git] / sypet-non-incremental / src / satune / CompOp.java
1 /*
2  * To change this license header, choose License Headers in Project Properties.
3  * To change this template file, choose Tools | Templates
4  * and open the template in the editor.
5  */
6 package satune;
7
8 /**
9  *
10  * @author hamed
11  */
12 public enum CompOp {
13         SATC_EQUALS(0),
14         SATC_LT(1),
15         SATC_GT(2),
16         SATC_LTE(3),
17         SATC_GTE(4);
18         private int value;
19
20         CompOp(int val) {
21             value = val;
22         }
23         public int getValue(){
24             return value;
25 }
26 }