Searched refs:d_has_extf (Results 1 – 4 of 4) sorted by relevance
35 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()
214 context::CDO<Node> d_has_extf; variable
431 context::CDO< bool > d_has_extf;
122 d_has_extf(c, false), in TheoryStrings()1024 return d_has_extf.get(); in needsCheckLastEffort()1764 d_has_extf = has_nreduce; in checkExtfEval()