Searched refs:d_sg_gen (Results 1 – 2 of 2) sorted by relevance
97 d_sg_gen(nullptr), in QuantifiersEngine()178 d_sg_gen.reset(new quantifiers::ConjectureGenerator(this, c)); in QuantifiersEngine()179 d_modules.push_back(d_sg_gen.get()); in QuantifiersEngine()
376 std::unique_ptr<quantifiers::ConjectureGenerator> d_sg_gen; variable