Searched refs:id889 (Results 1 – 1 of 1) sorted by relevance
4440 Expr id889=vc->writeExpr(id255,id259,id249); in testgeorge2() local4441 Expr id891=vc->eqExpr(id889,id277); in testgeorge2()7729 Expr id889=vc->eqExpr(id789,id251); in testgeorge3() local7730 Expr id888=vc->notExpr(id889); in testgeorge3()7731 vc->registerAtom(id889); in testgeorge3()9064 vc->query(id889); in testgeorge3()9067 vc->assertFormula(id889); in testgeorge3()