enum OperationsResearch::Sat::SatParameters::BinaryMinizationAlgorithm
Defined in:
ortools-sat/connector/sat_parameters.pb.cr
Enum Members
-
NOBINARYMINIMIZATION =
0
-
BINARYMINIMIZATIONFIRST =
1
-
BINARYMINIMIZATIONFIRSTWITHTRANSITIVEREDUCTION =
4
-
BINARYMINIMIZATIONWITHREACHABILITY =
2
-
EXPERIMENTALBINARYMINIMIZATION =
3
Instance Method Summary
Instance Method Detail
def
binaryminimizationfirst?
#
def
binaryminimizationfirstwithtransitivereduction?
#
def
binaryminimizationwithreachability?
#
def
experimentalbinaryminimization?
#
def
nobinaryminimization?
#