Searched refs:id1235 (Results 1 – 1 of 1) sorted by relevance
466 Expr id1235=vc->eqExpr(id487,id523); in testgeorge1() local467 Expr id1234=vc->notExpr(id1235); in testgeorge1()468 vc->registerAtom(id1235); in testgeorge1()4589 Expr id1235=vc->eqExpr(id225,id231); in testgeorge2() local4590 Expr id1234=vc->notExpr(id1235); in testgeorge2()4591 vc->registerAtom(id1235); in testgeorge2()