Searched refs:eqcs2_i (Results 1 – 2 of 2) sorted by relevance
618 eq::EqClassesIterator eqcs2_i = eq::EqClassesIterator( &d_equalityEngine ); in check() local620 while( !eqcs2_i.isFinished() ){ in check()621 Node eqc = (*eqcs2_i); in check()631 ++eqcs2_i; in check()
973 eq::EqClassesIterator eqcs2_i = eq::EqClassesIterator( &d_equalityEngine ); in check() local975 while( !eqcs2_i.isFinished() ){ in check()976 Node eqc = (*eqcs2_i); in check()995 ++eqcs2_i; in check()