C++ Reference: class CpModelBuilder
This documentation is automatically generated.
Method | |
---|---|
AddAbsEquality | Return type: Arguments: Adds target == abs(var). |
AddAllDifferent | Return type: Arguments: this constraint forces all variables to have different values. |
AddAllowedAssignments | Return type: Arguments: |
AddAssumption | Return type: Arguments: Adds a literal to the model as assumptions. |
AddAssumptions | Return type: Arguments: Adds multiple literals to the model as assumptions. |
AddAutomaton | Return type: Arguments: |
AddBoolAnd | Return type: Arguments: Adds the constraint that all literals must be true. |
AddBoolOr | Return type: Arguments: Adds the constraint that at least one of the literals must be true. |
AddBoolXor | Return type: Arguments: Adds the constraint that a odd number of literal is true. |
AddCircuitConstraint | Return type: |
AddCumulative | Return type: Arguments: |
AddDecisionStrategy | Return type: Arguments: Adds a decision strategy on a list of integer variables. |
AddDecisionStrategy | Return type: Arguments: Adds a decision strategy on a list of boolean variables. |
AddDivisionEquality | Return type: Arguments: Adds target = num / denom (integer division rounded towards 0). |
AddElement | Return type: Arguments: Adds the element constraint: values[index] == target |
AddEquality | Return type: Arguments: Adds left == right. |
AddForbiddenAssignments | Return type: Arguments: |
AddGreaterOrEqual | Return type: Arguments: Adds left >= right. |
AddGreaterThan | Return type: Arguments: Adds left > right. |
AddHint | Return type: Arguments: Adds hinting to a variable. |
AddImplication | Return type: Arguments: Adds a => b. |
AddInverseConstraint | Return type: Arguments: |
AddLessOrEqual | Return type: Arguments: Adds left <= right. |
AddLessThan | Return type: Arguments: Adds left < right. |
AddLinearConstraint | Return type: Arguments: Adds expr in domain. |
AddLinMaxEquality | Return type: Arguments: Adds target == max(exprs). |
AddLinMinEquality | Return type: Arguments: Adds target == min(exprs). |
AddMaxEquality | Return type: Arguments: Adds target == max(vars). |
AddMinEquality | Return type: Arguments: Adds target == min(vars). |
AddModuloEquality | Return type: Arguments: Adds target = var % mod. |
AddMultipleCircuitConstraint | Return type: |
AddNoOverlap | Return type: Arguments: |
AddNoOverlap2D | Return type: |
AddNotEqual | Return type: Arguments: Adds left != right. |
AddProductEquality | Return type: Arguments: Adds target == prod(vars). |
AddReservoirConstraint | Return type: Arguments: |
AddVariableElement | Return type: Arguments: Adds the element constraint: variables[index] == target |
Build | Return type: |
ClearAssumptions | Return type: Remove all assumptions from the model. |
ClearHints | Return type: Remove all hints. |
CopyFrom | Return type: Arguments: Replace the current model with the one from the given proto. |
FalseVar | Return type: Creates an always false Boolean variable. |
GetBoolVarFromProtoIndex | Return type: Arguments: Returns the Boolean variable from its index in the proto. |
GetIntervalVarFromProtoIndex | Return type: Arguments: Returns the interval variable from its index in the proto. |
GetIntVarFromProtoIndex | Return type: Arguments: Returns the integer variable from its index in the proto. |
Maximize | Return type: Arguments: Adds a linear maximization objective. |
Minimize | Return type: Arguments: Adds a linear minimization objective. |
MutableProto | Return type: |
NewBoolVar | Return type: Creates a Boolean variable. |
NewConstant | Return type: Arguments: Creates a constant variable. |
NewIntervalVar | Return type: Arguments: Creates an interval variable. |
NewIntVar | Return type: Arguments: Creates an integer variable with the given domain. |
NewOptionalIntervalVar | Return type: Arguments: Creates an optional interval variable. |
Proto | Return type: |
ScaleObjectiveBy | Return type: Arguments: |
TrueVar | Return type: Creates an always true Boolean variable. |