Exemple #1
0
 public Object neq(Object exp, double value) {
   try {
     return vc.notExpr(vc.eqExpr((Expr) exp, vc.ratExpr(Double.toString(value), base)));
   } catch (Exception e) {
     e.printStackTrace();
     throw new RuntimeException("## Error CVC3: Exception caught in CVC3 JNI: \n" + e);
   }
 }
Exemple #2
0
 public Object leq(Object exp, int value) {
   try {
     return vc.leExpr((Expr) exp, vc.ratExpr(value));
   } catch (Exception e) {
     e.printStackTrace();
     throw new RuntimeException("## Error CVC3: Exception caught in CVC3 JNI: \n" + e);
   }
 }
Exemple #3
0
 public Object neq(int value, Object exp) {
   try {
     return vc.notExpr(vc.eqExpr(vc.ratExpr(value), (Expr) exp));
   } catch (Exception e) {
     e.printStackTrace();
     throw new RuntimeException("## Error CVC3: Exception caught in CVC3 JNI: \n" + e);
   }
 }