C++ Reference: flatzinc_constraints

This documentation is automatically generated.



Additional constraints included in the minizinc specifications, but not general enough to be in the CP library.

Function Type Arguments Comments
MakeBooleanSumInRange

Return type: Constraint*

Arguments: Solver* const solver, const std::vector<IntVar*>& variables, int64 range_min, int64 range_max

MakeBooleanSumOdd

Return type: Constraint*

Arguments: Solver* const solver, const std::vector<IntVar*>& variables

MakeFixedModulo

Return type: Constraint*

Arguments: Solver* const s, IntVar* const var, IntVar* const mod, int64 residual

MakeIsBooleanSumInRange

Return type: Constraint*

Arguments: Solver* const solver, const std::vector<IntVar*>& variables, int64 range_min, int64 range_max, IntVar* const target

MakeKDiffn

Return type: Constraint*

Arguments: Solver* solver, const std::vector<std::vector<IntVar*>>& x, const std::vector<std::vector<IntVar*>>& dx, bool strict

MakePerformedIntervalVar

Return type: IntervalVar*

Arguments: Solver* const solver, IntVar* const start, IntVar* const duration, const std::string& n

MakeStrongScalProdEquality

Return type: Constraint*

Arguments: Solver* const solver, const std::vector<IntVar*>& variables, const std::vector<int64>& coefficients, int64 rhs

MakeVariableEven

Return type: Constraint*

Arguments: Solver* const s, IntVar* const var

MakeVariableOdd

Return type: Constraint*

Arguments: Solver* const s, IntVar* const var

Send feedback about...