Searched refs:id479 (Results 1 – 1 of 1) sorted by relevance
4158 Expr id479=vc->plusExpr(id249,id333); in testgeorge2() local4159 Expr id481=vc->eqExpr(id479,id271); in testgeorge2()7248 Expr id479=vc->eqExpr(id95,id123); in testgeorge3() local7249 Expr id478=vc->notExpr(id479); in testgeorge3()7250 vc->registerAtom(id479); in testgeorge3()9923 vc->query(id479); in testgeorge3()9932 vc->query(id479); in testgeorge3()9935 vc->assertFormula(id479); in testgeorge3()