Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf_strong_solver.cpp477 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()
H A Dtheory_uf_strong_solver.h359 std::unique_ptr<CardinalityDecisionStrategy> d_c_dec_strat; variable