Extend the API with missing calls for add/mul/sub

pepeiborra · Aug 22, 2015 · bc9b7f4 · bc9b7f4
1 parent 4a6595e
commit bc9b7f4
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Bindings/Yices.hs b/Bindings/Yices.hs
@@ -186,6 +186,11 @@ mkLt = c_mk_lt
 mkGt = c_mk_gt
 mkGe = c_mk_ge
 
+mkAdd, mkSub, mkMul :: Context -> [Expr] -> IO Expr
+mkAdd ctx ee = withArray ee $ \ee_a ->c_mk_sum ctx ee_a (fromIntegral $ length ee)
+mkSub ctx ee = withArray ee $ \ee_a ->c_mk_sub ctx ee_a (fromIntegral $ length ee)
+mkMul ctx ee = withArray ee $ \ee_a ->c_mk_mul ctx ee_a (fromIntegral $ length ee)
+
 -- * Types
 
 -- -------------