Home
last modified time | relevance | path

Searched refs:d_has_extf (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dext_theory.cpp35 d_has_extf(p->getSatContext()), in ExtTheory()
409 d_has_extf = n; in registerTerm()
450 if (d_has_extf.get() == n) in markReduced()
459 d_has_extf = (*it).first; in markReduced()
505 bool ExtTheory::hasActiveTerm() const { return !d_has_extf.get().isNull(); } in hasActiveTerm()
H A Dext_theory.h214 context::CDO<Node> d_has_extf; variable
/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dtheory_strings.h431 context::CDO< bool > d_has_extf;
H A Dtheory_strings.cpp122 d_has_extf(c, false), in TheoryStrings()
1024 return d_has_extf.get(); in needsCheckLastEffort()
1764 d_has_extf = has_nreduce; in checkExtfEval()