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);
}
}
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);
}
}
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);
}
}