Searched refs:id3383 (Results 1 – 1 of 1) sorted by relevance
1338 Expr id3383=vc->eqExpr(id3367,id747); in testgeorge1() local1339 Expr id3382=vc->notExpr(id3383); in testgeorge1()1340 vc->registerAtom(id3383); in testgeorge1()3059 vc->query(id3383); in testgeorge1()3062 vc->assertFormula(id3383); in testgeorge1()8804 Expr id3383=vc->leExpr(id359,id757); in testgeorge3() local8805 Expr id3382=vc->notExpr(id3383); in testgeorge3()8806 vc->registerAtom(id3383); in testgeorge3()11152 vc->query(id3383); in testgeorge3()