Searched refs:id10567 (Results 1 – 1 of 1) sorted by relevance
2873 Expr id10567=vc->gtExpr(id875,id895); in testgeorge1() local2874 Expr id10566=vc->notExpr(id10567); in testgeorge1()2875 vc->registerAtom(id10567); in testgeorge1()3688 vc->query(id10567); in testgeorge1()