Searched refs:id3479 (Results 1 – 1 of 1) sorted by relevance
8840 Expr id3479=vc->leExpr(id87,id757); in testgeorge3() local8841 Expr id3478=vc->notExpr(id3479); in testgeorge3()8842 vc->registerAtom(id3479); in testgeorge3()10113 vc->query(id3479); in testgeorge3()