Searched refs:id1781 (Results 1 – 1 of 1) sorted by relevance
872 Expr id1781=vc->geExpr(id855,id895); in testgeorge1() local873 Expr id1780=vc->notExpr(id1781); in testgeorge1()874 vc->registerAtom(id1781); in testgeorge1()3668 vc->query(id1781); in testgeorge1()3671 vc->assertFormula(id1781); in testgeorge1()