Searched refs:d_quant_rel (Results 1 – 2 of 2) sorted by relevance
78 d_quant_rel(nullptr), in QuantifiersEngine()153 d_quant_rel.reset(new quantifiers::QuantRelevance); in QuantifiersEngine()154 d_util.push_back(d_quant_rel.get()); in QuantifiersEngine()307 return d_quant_rel.get(); in getQuantifierRelevance()
336 std::unique_ptr<quantifiers::QuantRelevance> d_quant_rel; variable