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