Searched refs:id1885 (Results 1 – 1 of 1) sorted by relevance
950 Expr id1885=vc->geExpr(id387,id895); in testgeorge1() local951 Expr id1884=vc->notExpr(id1885); in testgeorge1()952 vc->registerAtom(id1885); in testgeorge1()3408 vc->query(id1885); in testgeorge1()3411 vc->assertFormula(id1885); in testgeorge1()4856 Expr id1885=vc->eqExpr(id567,id157); in testgeorge2() local4857 Expr id1884=vc->notExpr(id1885); in testgeorge2()4858 vc->registerAtom(id1885); in testgeorge2()