C++ Reference: cp_model_loader
Note: This documentation is automatically generated.
Function | Type | Arguments | Comments |
---|---|---|---|
AddFullEncodingFromSearchBranching | Return type: Arguments: | ||
DetectOptionalVariables | Return type: Arguments: | ||
ExtractElementEncoding | Return type: Arguments: | ||
ExtractEncoding | Return type: Arguments: | ||
LoadAllDiffConstraint | Return type: Arguments: | ||
LoadAtMostOneConstraint | Return type: Arguments: | ||
LoadBoolAndConstraint | Return type: Arguments: | ||
LoadBooleanSymmetries | Return type: Arguments: | ||
LoadBoolOrConstraint | Return type: Arguments: | ||
LoadBoolXorConstraint | Return type: Arguments: | ||
LoadCircuitConstraint | Return type: Arguments: | ||
LoadCircuitCoveringConstraint | Return type: Arguments: | ||
LoadConstraint | Return type: Arguments: | ||
LoadCumulativeConstraint | Return type: Arguments: | ||
LoadExactlyOneConstraint | Return type: Arguments: | ||
LoadIntDivConstraint | Return type: Arguments: | ||
LoadIntMaxConstraint | Return type: Arguments: | ||
LoadIntMinConstraint | Return type: Arguments: | ||
LoadIntProdConstraint | Return type: Arguments: | ||
LoadLinearConstraint | Return type: Arguments: | ||
LoadLinMaxConstraint | Return type: Arguments: | ||
LoadNoOverlap2dConstraint | Return type: Arguments: | ||
LoadNoOverlapConstraint | Return type: Arguments: | ||
LoadRoutesConstraint | Return type: Arguments: | ||
LoadVariables | Return type: Arguments: | ||
PropagateEncodingFromEquivalenceRelations | Return type: Arguments: |