diff options
Diffstat (limited to 'examples/SimpleVC.java')
| -rw-r--r-- | examples/SimpleVC.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/examples/SimpleVC.java b/examples/SimpleVC.java index 8159cdc0e..a5e2d4e4f 100644 --- a/examples/SimpleVC.java +++ b/examples/SimpleVC.java @@ -34,7 +34,6 @@ **/ import edu.nyu.acsys.CVC4.*; -import edu.nyu.acsys.CVC4.Integer;// to override java.lang.Integer name lookup public class SimpleVC { public static void main(String[] args) { @@ -50,16 +49,16 @@ public class SimpleVC { Expr x = em.mkVar("x", integer); Expr y = em.mkVar("y", integer); - Expr zero = em.mkConst(new Integer(0)); + Expr zero = em.mkConst(new Rational(0)); Expr x_positive = em.mkExpr(Kind.GT, x, zero); Expr y_positive = em.mkExpr(Kind.GT, y, zero); - Expr two = em.mkConst(new Integer(2)); + Expr two = em.mkConst(new Rational(2)); Expr twox = em.mkExpr(Kind.MULT, two, x); Expr twox_plus_y = em.mkExpr(Kind.PLUS, twox, y); - Expr three = em.mkConst(new Integer(3)); + Expr three = em.mkConst(new Rational(3)); Expr twox_plus_y_geq_3 = em.mkExpr(Kind.GEQ, twox_plus_y, three); BoolExpr formula = |