Searched refs:id987 (Results 1 – 1 of 1) sorted by relevance
7799 Expr id987=vc->eqExpr(id789,id405); in testgeorge3() local7800 Expr id986=vc->notExpr(id987); in testgeorge3()7801 vc->registerAtom(id987); in testgeorge3()8854 vc->query(id987); in testgeorge3()8857 vc->assertFormula(id987); in testgeorge3()