Searched refs:id615 (Results 1 – 1 of 1) sorted by relevance
7438 Expr id615=vc->eqExpr(id265,id287); in testgeorge3() local7439 Expr id614=vc->notExpr(id615); in testgeorge3()7440 vc->registerAtom(id615); in testgeorge3()10125 vc->query(id615); in testgeorge3()10134 vc->query(id615); in testgeorge3()10137 vc->assertFormula(id615); in testgeorge3()