X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fpycsolver.py;h=3dd296b7c6c6ba0cb77a221c2026af2c8ef65fcf;hp=d78836e023e1e6188880d6187ee198d0ec978d09;hb=c0c4f17e45f0e5b7881a9f041a4cd5e09f3276ba;hpb=d7ac61501176eddf35c154d3bbd2b87c566b60ce

diff --git a/src/pycsolver.py b/src/pycsolver.py
index d78836e..3dd296b 100644
--- a/src/pycsolver.py
+++ b/src/pycsolver.py
@@ -15,6 +15,19 @@ class CompOp:
 	SATC_LTE=3
 	SATC_GTE=4
 
+class ArithOp:
+    SATC_ADD=0
+    SATC_SUB=1
+
+class OverFlowBehavior:
+    SATC_IGNORE=0
+    SATC_WRAPAROUND=1
+    SATC_FLAGFORCESOVERFLOW=2
+    SATC_OVERFLOWSETSFLAG=3
+    SATC_FLAGIFFOVERFLOW=4
+    SATC_NOOVERFLOW=5
+
+
 def loadCSolver():
         csolverlb = cdll.LoadLibrary("lib_cons_comp.so")
         csolverlb.createCCSolver.restype = c_void_p