Searched refs:id1929 (Results 1 – 1 of 1) sorted by relevance
983 Expr id1929=vc->leExpr(id163,id875); in testgeorge1() local984 Expr id1928=vc->notExpr(id1929); in testgeorge1()985 vc->registerAtom(id1929); in testgeorge1()3298 vc->query(id1929); in testgeorge1()3301 vc->assertFormula(id1929); in testgeorge1()