enum OperationsResearch::Sat::SatParameters::MaxSatAssumptionOrder

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

DEFAULTASSUMPTIONORDER = 0
ORDERASSUMPTIONBYDEPTH = 1
ORDERASSUMPTIONBYWEIGHT = 2

Instance Method Summary

Instance Method Detail

def defaultassumptionorder? #

Returns true if this enum value equals DEFAULTASSUMPTIONORDER


[View source]
def orderassumptionbydepth? #

Returns true if this enum value equals ORDERASSUMPTIONBYDEPTH


[View source]
def orderassumptionbyweight? #

Returns true if this enum value equals ORDERASSUMPTIONBYWEIGHT


[View source]