Searched refs:id1893 (Results 1 – 1 of 1) sorted by relevance
956 Expr id1893=vc->geExpr(id351,id895); in testgeorge1() local957 Expr id1892=vc->notExpr(id1893); in testgeorge1()958 vc->registerAtom(id1893); in testgeorge1()3388 vc->query(id1893); in testgeorge1()3391 vc->assertFormula(id1893); in testgeorge1()