Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.cpp618 eq::EqClassesIterator eqcs2_i = eq::EqClassesIterator( &d_equalityEngine ); in check() local
620 while( !eqcs2_i.isFinished() ){ in check()
621 Node eqc = (*eqcs2_i); in check()
631 ++eqcs2_i; in check()
/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dtheory_strings.cpp973 eq::EqClassesIterator eqcs2_i = eq::EqClassesIterator( &d_equalityEngine ); in check() local
975 while( !eqcs2_i.isFinished() ){ in check()
976 Node eqc = (*eqcs2_i); in check()
995 ++eqcs2_i; in check()