Searched refs:d_rr_engine (Results 1 – 2 of 2) sorted by relevance
96 d_rr_engine(nullptr), in QuantifiersEngine()210 d_rr_engine.reset(new quantifiers::RewriteEngine(c, this)); in QuantifiersEngine()211 d_modules.push_back(d_rr_engine.get()); in QuantifiersEngine()368 return d_rr_engine.get(); in getRewriteEngine()
374 std::unique_ptr<quantifiers::RewriteEngine> d_rr_engine; variable