C++ Reference: class SolverData

This documentation is automatically generated.

Data structure to hold the mapping between flatzinc model objects and CP objects.
Method
CreateSatPropagatorAndAddToSolver

Return type: void

Creates the sat propagator constraint and adds it to the solver.

Extract

Return type: IntExpr*

Arguments: IntegerVariable* var

extracted_map

Return type: const absl::flat_hash_map<IntegerVariable*, IntExpr*>&

GetOrCreateExpression

Return type: IntExpr*

Arguments: const Argument& argument

----- Methods that deals with expressions and variables -----

GetOrCreateVariableArray

Return type: std::vector<IntVar*>

Arguments: const Argument& argument

IsAllDifferent

Return type: bool

Arguments: std::vector<IntegerVariable*> diffs

Queries whether the array diffs appears in an AllDifferent constraint. Currently, this performs exact matching, therefore a sub-array of an array of all-different variables will not match.

Sat

Return type: SatPropagator*

Returns the sat propagator constraint.

SetExtracted

Return type: void

Arguments: IntegerVariable* var, IntExpr* expr

solver

Return type: operations_research::Solver*

Returns the CP solver.

SolverData

Return type: explicit

Arguments: const std::string& name

StoreAllDifferent

Return type: void

Arguments: std::vector<IntegerVariable*> diffs

Stores the fact that the array of variable diffs appears in an AllDifferent constraints.

Send feedback about...