Searched refs:d_c_dec_strat (Results 1 – 2 of 2) sorted by relevance
477 d_c_dec_strat(nullptr) in SortModel()486 d_c_dec_strat.reset(new CardinalityDecisionStrategy( in SortModel()502 if (d_c_dec_strat.get() != nullptr && !d_initialized) in initialize()506 DecisionManager::STRAT_UF_CARD, d_c_dec_strat.get()); in initialize()1270 Node lit = d_c_dec_strat->getLiteral(c - 1); in getCardinalityLiteral()
359 std::unique_ptr<CardinalityDecisionStrategy> d_c_dec_strat; variable