Searched refs:id481 (Results 1 – 1 of 1) sorted by relevance
4160 Expr id480=vc->notExpr(id481); in testgeorge2()4161 vc->registerAtom(id481); in testgeorge2()6601 vc->query(id481); in testgeorge2()6610 vc->query(id481); in testgeorge2()6613 vc->assertFormula(id481); in testgeorge2()7251 Expr id481=vc->eqExpr(id99,id125); in testgeorge3() local7252 Expr id480=vc->notExpr(id481); in testgeorge3()7253 vc->registerAtom(id481); in testgeorge3()9380 vc->query(id481); in testgeorge3()9389 vc->query(id481); in testgeorge3()[all …]