C++ Reference
C++ Reference: CP-SAT
- a -
- ACTIVE_LOCK_BASED : PROTOBUF_FINAL
- AUTOMATIC_SEARCH : PROTOBUF_FINAL
- b -
- BINARY_MINIMIZATION_FIRST : PROTOBUF_FINAL
- BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION : PROTOBUF_FINAL
- BINARY_MINIMIZATION_WITH_REACHABILITY : PROTOBUF_FINAL
- BinaryMinizationAlgorithm_ARRAYSIZE : PROTOBUF_FINAL
- BinaryMinizationAlgorithm_MAX : PROTOBUF_FINAL
- BinaryMinizationAlgorithm_MIN : PROTOBUF_FINAL
- c -
- CHOOSE_FIRST : PROTOBUF_FINAL
- CHOOSE_HIGHEST_MAX : PROTOBUF_FINAL
- CHOOSE_LOWEST_MIN : PROTOBUF_FINAL
- CHOOSE_MAX_DOMAIN_SIZE : PROTOBUF_FINAL
- CHOOSE_MIN_DOMAIN_SIZE : PROTOBUF_FINAL
- CLAUSE_ACTIVITY : PROTOBUF_FINAL
- CLAUSE_LBD : PROTOBUF_FINAL
- ClauseOrdering_ARRAYSIZE : PROTOBUF_FINAL
- ClauseOrdering_MAX : PROTOBUF_FINAL
- ClauseOrdering_MIN : PROTOBUF_FINAL
- ClauseProtection_ARRAYSIZE : PROTOBUF_FINAL
- ClauseProtection_MAX : PROTOBUF_FINAL
- ClauseProtection_MIN : PROTOBUF_FINAL
- ConflictMinimizationAlgorithm_ARRAYSIZE : PROTOBUF_FINAL
- ConflictMinimizationAlgorithm_MAX : PROTOBUF_FINAL
- ConflictMinimizationAlgorithm_MIN : PROTOBUF_FINAL
- d -
- DEFAULT_ASSUMPTION_ORDER : PROTOBUF_FINAL
- DL_MOVING_AVERAGE_RESTART : PROTOBUF_FINAL
- DomainReductionStrategy_ARRAYSIZE : PROTOBUF_FINAL
- DomainReductionStrategy_MAX : PROTOBUF_FINAL
- DomainReductionStrategy_MIN : PROTOBUF_FINAL
- e -
- end : ClosedInterval
- EXPERIMENTAL : PROTOBUF_FINAL
- EXPERIMENTAL_BINARY_MINIMIZATION : PROTOBUF_FINAL
- f -
- field_metadata : TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto , TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto , TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto
- FIXED_RESTART : PROTOBUF_FINAL
- FIXED_SEARCH : PROTOBUF_FINAL
- FPRoundingMethod_ARRAYSIZE : PROTOBUF_FINAL
- FPRoundingMethod_MAX : PROTOBUF_FINAL
- FPRoundingMethod_MIN : PROTOBUF_FINAL
- h -
- HINT_SEARCH : PROTOBUF_FINAL
- i -
- IN_ORDER : PROTOBUF_FINAL
- IN_RANDOM_ORDER : PROTOBUF_FINAL
- IN_REVERSE_ORDER : PROTOBUF_FINAL
- k -
- kHistorySize : TimeLimit
- kIndexInFileMessages : PROTOBUF_FINAL
- kSafetyBufferSeconds : TimeLimit
- l -
- LBD_MOVING_AVERAGE_RESTART : PROTOBUF_FINAL
- LOCK_BASED : PROTOBUF_FINAL
- LP_SEARCH : PROTOBUF_FINAL
- LUBY_RESTART : PROTOBUF_FINAL
- m -
- MaxSatAssumptionOrder_ARRAYSIZE : PROTOBUF_FINAL
- MaxSatAssumptionOrder_MAX : PROTOBUF_FINAL
- MaxSatAssumptionOrder_MIN : PROTOBUF_FINAL
- MaxSatStratificationAlgorithm_ARRAYSIZE : PROTOBUF_FINAL
- MaxSatStratificationAlgorithm_MAX : PROTOBUF_FINAL
- MaxSatStratificationAlgorithm_MIN : PROTOBUF_FINAL
- n -
- NEAREST_INTEGER : PROTOBUF_FINAL
- NO_BINARY_MINIMIZATION : PROTOBUF_FINAL
- NO_RESTART : PROTOBUF_FINAL
- NONE : PROTOBUF_FINAL
- o -
- offsets : TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto , TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto , TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto
- ORDER_ASSUMPTION_BY_DEPTH : PROTOBUF_FINAL
- ORDER_ASSUMPTION_BY_WEIGHT : PROTOBUF_FINAL
- p -
- Polarity_ARRAYSIZE : PROTOBUF_FINAL
- POLARITY_FALSE : PROTOBUF_FINAL
- Polarity_MAX : PROTOBUF_FINAL
- Polarity_MIN : PROTOBUF_FINAL
- POLARITY_RANDOM : PROTOBUF_FINAL
- POLARITY_REVERSE_WEIGHTED_SIGN : PROTOBUF_FINAL
- POLARITY_TRUE : PROTOBUF_FINAL
- POLARITY_WEIGHTED_SIGN : PROTOBUF_FINAL
- PORTFOLIO_SEARCH : PROTOBUF_FINAL
- PORTFOLIO_WITH_QUICK_RESTART_SEARCH : PROTOBUF_FINAL
- PROPAGATION_ASSISTED : PROTOBUF_FINAL
- PROTECTION_ALWAYS : PROTOBUF_FINAL
- PROTECTION_LBD : PROTOBUF_FINAL
- PROTECTION_NONE : PROTOBUF_FINAL
- proto_ : Constraint
- PSEUDO_COST_SEARCH : PROTOBUF_FINAL
- r -
- RECURSIVE : PROTOBUF_FINAL
- RestartAlgorithm_ARRAYSIZE : PROTOBUF_FINAL
- RestartAlgorithm_MAX : PROTOBUF_FINAL
- RestartAlgorithm_MIN : PROTOBUF_FINAL
- s -
- SearchBranching_ARRAYSIZE : PROTOBUF_FINAL
- SearchBranching_MAX : PROTOBUF_FINAL
- SearchBranching_MIN : PROTOBUF_FINAL
- SELECT_LOWER_HALF : PROTOBUF_FINAL
- SELECT_MAX_VALUE : PROTOBUF_FINAL
- SELECT_MEDIAN_VALUE : PROTOBUF_FINAL
- SELECT_MIN_VALUE : PROTOBUF_FINAL
- SELECT_UPPER_HALF : PROTOBUF_FINAL
- serialization_table : TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto , TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto , TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto
- SIMPLE : PROTOBUF_FINAL
- start : ClosedInterval
- STRATIFICATION_ASCENT : PROTOBUF_FINAL
- STRATIFICATION_DESCENT : PROTOBUF_FINAL
- STRATIFICATION_NONE : PROTOBUF_FINAL
- v -
- VariableOrder_ARRAYSIZE : PROTOBUF_FINAL
- VariableOrder_MAX : PROTOBUF_FINAL
- VariableOrder_MIN : PROTOBUF_FINAL
- VariableSelectionStrategy_ARRAYSIZE : PROTOBUF_FINAL
- VariableSelectionStrategy_MAX : PROTOBUF_FINAL
- VariableSelectionStrategy_MIN : PROTOBUF_FINAL