diff --git a/src/constraint_solver/io.cc b/src/constraint_solver/io.cc index 1090ea7025..86190be13c 100644 --- a/src/constraint_solver/io.cc +++ b/src/constraint_solver/io.cc @@ -127,6 +127,14 @@ class CPModelLoader { VectorMap tags_; }; +Constraint* SetIsEqual(IntVar* const var, + const std::vector& values, + const std::vector& vars); + +Constraint* SetIsGreaterOrEqual(IntVar* const var, + const std::vector& values, + const std::vector& vars); + namespace { // ---------- Model Protobuf Writers ----------- @@ -2249,10 +2257,6 @@ Constraint* BuildTrueConstraint(CPModelLoader* const builder, // ----- kVarValueWatcher ----- -Constraint* SetIsEqual(IntVar* const var, - const std::vector& values, - const std::vector& vars); - Constraint* BuildVarValueWatcher(CPModelLoader* const builder, const CPConstraintProto& proto) { IntExpr* expr = NULL; @@ -2268,10 +2272,6 @@ Constraint* BuildVarValueWatcher(CPModelLoader* const builder, // ----- kVarBoundWatcher ----- -Constraint* SetIsGreaterOrEqual(IntVar* const var, - const std::vector& values, - const std::vector& vars); - Constraint* BuildVarBoundWatcher(CPModelLoader* const builder, const CPConstraintProto& proto) { IntExpr* expr = NULL;