Searched refs:id1865 (Results 1 – 1 of 1) sorted by relevance
935 Expr id1865=vc->leExpr(id459,id875); in testgeorge1() local936 Expr id1864=vc->notExpr(id1865); in testgeorge1()937 vc->registerAtom(id1865); in testgeorge1()3458 vc->query(id1865); in testgeorge1()3461 vc->assertFormula(id1865); in testgeorge1()