Searched refs:id10257 (Results 1 – 1 of 1) sorted by relevance
2819 Expr id10257=vc->geExpr(id2127,id895); in testgeorge1() local2820 Expr id10256=vc->notExpr(id10257); in testgeorge1()2821 vc->registerAtom(id10257); in testgeorge1()3700 vc->query(id10257); in testgeorge1()