Home
last modified time | relevance | path

Searched refs:eqc2_i (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.cpp622 eq::EqClassIterator eqc2_i = eq::EqClassIterator( eqc, &d_equalityEngine ); in check() local
624 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()
/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dtheory_strings.cpp979 eq::EqClassIterator eqc2_i = eq::EqClassIterator( eqc, &d_equalityEngine ); in check() local
981 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()