enum ORTools::Sat::DecisionStrategyProto::VariableSelectionStrategy

Defined in:

ortools-sat/connector/cp_model.pb.cr

Enum Members

CHOOSEFIRST = 0

CHOOSELOWESTMIN = 1

CHOOSEHIGHESTMAX = 2

CHOOSEMINDOMAINSIZE = 3

CHOOSEMAXDOMAINSIZE = 4

Instance Method Summary

• #choosefirst?
• #choosehighestmax?
• #chooselowestmin?
• #choosemaxdomainsize?
• #choosemindomainsize?

Instance Method Detail