Searched refs:eqc2_i (Results 1 – 2 of 2) sorted by relevance
622 eq::EqClassIterator eqc2_i = eq::EqClassIterator( eqc, &d_equalityEngine ); in check() local624 while( !eqc2_i.isFinished() ) { in check()625 if( (*eqc2_i)!=eqc ){ in check()626 Trace("sep-eqc") << (*eqc2_i) << " "; in check()628 ++eqc2_i; in check()
979 eq::EqClassIterator eqc2_i = eq::EqClassIterator( eqc, &d_equalityEngine ); in check() local981 while( !eqc2_i.isFinished() ) { in check()982 if( (*eqc2_i)!=eqc && (*eqc2_i).getKind()!=kind::EQUAL ){ in check()983 Trace("strings-eqc") << (*eqc2_i) << " "; in check()985 ++eqc2_i; in check()