Searched refs:id501 (Results 1 – 1 of 1) sorted by relevance
158 Expr id501=vc->varExpr("x_212",id9); in testgeorge1() local4188 Expr id500=vc->notExpr(id501); in testgeorge2()4189 vc->registerAtom(id501); in testgeorge2()6931 vc->query(id501); in testgeorge2()6940 vc->query(id501); in testgeorge2()6943 vc->assertFormula(id501); in testgeorge2()7280 Expr id500=vc->notExpr(id501); in testgeorge3()7281 vc->registerAtom(id501); in testgeorge3()9822 vc->query(id501); in testgeorge3()9831 vc->query(id501); in testgeorge3()[all …]