Examples of stp.VC.query()

stp.VC.query()
Check validity of e in the current context. e must be a FORMULA. if returned 0 then input is INVALID. if returned 1 then input is VALID. if returned 2 then ERROR.

        // /* Query 1 */
        vc.push();


//        vc.printQuery();
        System.out.println("\nChecking:" + a_eq_0);
        int query = vc.query(a_eq_0);
        vc.printQuery();


        vc.pop();


//        System.out.printf("query = %d\n", query);

View Full Code Here

        Expr a_neq_0 = vc.notExpr(a_eq_0);


        vc.push();


        System.out.println("\nChecking:" + a_neq_0);
        query = vc.query(a_neq_0);


        vc.pop();


//        System.out.printf("query = %d\n", query);
    }

View Full Code Here

  Expr e13130 = vc.andExpr( e13125, e13129);
  Expr e13131 = vc.andExpr( e13122, e13130);
  vc.assertFormula( e13131);
  //vc.push();
  Expr e13132 = vc.falseExpr();
  vc.query( e13132);
  //vc.pop();
  //vc.pop();
}
}

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.