enum
OperationsResearch::Sat::SatParameters::BinaryMinizationAlgorithm
Defined in:
ortools-sat/connector/sat_parameters.pb.crEnum Members
-
NOBINARYMINIMIZATION =
0 -
BINARYMINIMIZATIONFIRST =
1 -
BINARYMINIMIZATIONFIRSTWITHTRANSITIVEREDUCTION =
4 -
BINARYMINIMIZATIONWITHREACHABILITY =
2 -
EXPERIMENTALBINARYMINIMIZATION =
3
Instance Method Summary
-
#binaryminimizationfirst?
Returns
trueif this enum value equalsBINARYMINIMIZATIONFIRST -
#binaryminimizationfirstwithtransitivereduction?
Returns
trueif this enum value equalsBINARYMINIMIZATIONFIRSTWITHTRANSITIVEREDUCTION -
#binaryminimizationwithreachability?
Returns
trueif this enum value equalsBINARYMINIMIZATIONWITHREACHABILITY -
#experimentalbinaryminimization?
Returns
trueif this enum value equalsEXPERIMENTALBINARYMINIMIZATION -
#nobinaryminimization?
Returns
trueif this enum value equalsNOBINARYMINIMIZATION
Instance Method Detail
def binaryminimizationfirstwithtransitivereduction?
#
Returns true if this enum value equals BINARYMINIMIZATIONFIRSTWITHTRANSITIVEREDUCTION
def binaryminimizationwithreachability?
#
Returns true if this enum value equals BINARYMINIMIZATIONWITHREACHABILITY
def experimentalbinaryminimization?
#
Returns true if this enum value equals EXPERIMENTALBINARYMINIMIZATION