Searched refs:id2051 (Results 1 – 1 of 1) sorted by relevance
1040 Expr id2051=vc->ltExpr(id95,id895); in testgeorge1() local1041 Expr id2050=vc->notExpr(id2051); in testgeorge1()1042 vc->registerAtom(id2051); in testgeorge1()3123 vc->query(id2051); in testgeorge1()