C++ Reference: sat_constraint

This documentation is automatically generated.

Function Type Arguments Comments
AddArrayXor

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars

AddAtMostNMinusOne

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars

AddAtMostOne

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars

AddBoolAndArrayEqualFalse

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars

AddBoolAndArrayEqVar

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars, IntExpr* target

AddBoolAndEqVar

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right, IntExpr* target

AddBoolEq

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right

AddBoolIsEqVar

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right, IntExpr* target

AddBoolIsLeVar

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right, IntExpr* target

AddBoolIsNEqVar

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right, IntExpr* target

AddBoolLe

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right

AddBoolNot

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right

AddBoolOrArrayEqualTrue

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars

AddBoolOrArrayEqVar

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars, IntExpr* target

AddBoolOrEqVar

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right, IntExpr* target

AddIntEqReif

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right, IntExpr* target

AddIntNeReif

Return type: bool

Arguments: SatPropagator* sat, IntExpr* left, IntExpr* right, IntExpr* target

AddMaxBoolArrayLessEqVar

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars, IntExpr* target

AddSumBoolArrayGreaterEqVar

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars, IntExpr* target

AddSumInRange

Return type: bool

Arguments: SatPropagator* sat, const std::vector<IntVar*>& vars, int64 range_min, int64 range_max

MakeSatPropagator

Return type: SatPropagator*

Arguments: Solver* solver

Send feedback about...