Searched refs:d_qsplit (Results 1 – 2 of 2) sorted by relevance
102 d_qsplit(nullptr), in QuantifiersEngine()218 d_qsplit.reset(new quantifiers::QuantDSplit(this, c)); in QuantifiersEngine()219 d_modules.push_back(d_qsplit.get()); in QuantifiersEngine()
386 std::unique_ptr<quantifiers::QuantDSplit> d_qsplit; variable