Searched refs:id477 (Results 1 – 1 of 1) sorted by relevance
4156 Expr id476=vc->notExpr(id477); in testgeorge2()4157 vc->registerAtom(id477); in testgeorge2()6024 vc->query(id477); in testgeorge2()6033 vc->query(id477); in testgeorge2()6036 vc->assertFormula(id477); in testgeorge2()7245 Expr id477=vc->eqExpr(id93,id121); in testgeorge3() local7246 Expr id476=vc->notExpr(id477); in testgeorge3()7247 vc->registerAtom(id477); in testgeorge3()11254 vc->query(id477); in testgeorge3()11263 vc->query(id477); in testgeorge3()[all …]