enum ORTools::Sat::DecisionStrategyProto::DomainReductionStrategy

Defined in:

ortools-sat/connector/cp_model.pb.cr

Enum Members

SELECTMINVALUE = 0

SELECTMAXVALUE = 1

SELECTLOWERHALF = 2

SELECTUPPERHALF = 3

SELECTMEDIANVALUE = 4

Instance Method Summary

• #selectlowerhalf?
• #selectmaxvalue?
• #selectmedianvalue?
• #selectminvalue?
• #selectupperhalf?

Instance Method Detail