Searched refs:id633 (Results 1 – 1 of 1) sorted by relevance
4305 Expr id633=vc->eqExpr(id631,id323); in testgeorge2() local4306 Expr id632=vc->notExpr(id633); in testgeorge2()4307 vc->registerAtom(id633); in testgeorge2()5201 vc->query(id633); in testgeorge2()5204 vc->assertFormula(id633); in testgeorge2()7463 Expr id633=vc->eqExpr(id287,id309); in testgeorge3() local7464 Expr id632=vc->notExpr(id633); in testgeorge3()7465 vc->registerAtom(id633); in testgeorge3()10233 vc->query(id633); in testgeorge3()10242 vc->query(id633); in testgeorge3()[all …]