C++ Reference: constraints

This documentation is automatically generated.



This files provides all the extraction methods to transform flatzinc constraints into CP constraints.

Function Type Arguments Comments
ExtractConstraint

Return type: void

Arguments: SolverData* data, Constraint* ct

Send feedback about...