Searched refs:d_qcf (Results 1 – 2 of 2) sorted by relevance
95 d_qcf(nullptr), in QuantifiersEngine()174 d_qcf.reset(new quantifiers::QuantConflictFind(this, c)); in QuantifiersEngine()175 d_modules.push_back(d_qcf.get()); in QuantifiersEngine()364 return d_qcf.get(); in getConflictFind()
372 std::unique_ptr<quantifiers::QuantConflictFind> d_qcf; variable