Searched refs:id2527 (Results 1 – 1 of 1) sorted by relevance
1154 Expr id2527=vc->eqExpr(id2511,id819); in testgeorge1() local1155 Expr id2526=vc->notExpr(id2527); in testgeorge1()1156 vc->registerAtom(id2527); in testgeorge1()3079 vc->query(id2527); in testgeorge1()3082 vc->assertFormula(id2527); in testgeorge1()