Home
last modified time | relevance | path

Searched refs:d_sg_gen (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dquantifiers_engine.cpp97 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()
H A Dquantifiers_engine.h376 std::unique_ptr<quantifiers::ConjectureGenerator> d_sg_gen; variable