OR-Tools  8.2
cp_model_expand.h
Go to the documentation of this file.
1 // Copyright 2010-2018 Google LLC
2 // Licensed under the Apache License, Version 2.0 (the "License");
3 // you may not use this file except in compliance with the License.
4 // You may obtain a copy of the License at
5 //
6 // http://www.apache.org/licenses/LICENSE-2.0
7 //
8 // Unless required by applicable law or agreed to in writing, software
9 // distributed under the License is distributed on an "AS IS" BASIS,
10 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
11 // See the License for the specific language governing permissions and
12 // limitations under the License.
13 
14 #ifndef OR_TOOLS_SAT_CP_MODEL_EXPAND_H_
15 #define OR_TOOLS_SAT_CP_MODEL_EXPAND_H_
16 
17 #include "ortools/sat/cp_model.pb.h"
19 
20 namespace operations_research {
21 namespace sat {
22 
23 // Expands a given CpModelProto by rewriting complex constraints into
24 // simpler constraints.
25 // This is different from PresolveCpModel() as there are no reduction or
26 // simplification of the model. Furthermore, this expansion is mandatory.
27 void ExpandCpModel(PresolveContext* context);
28 
29 } // namespace sat
30 } // namespace operations_research
31 
32 #endif // OR_TOOLS_SAT_CP_MODEL_EXPAND_H_
GurobiMPCallbackContext * context
void ExpandCpModel(PresolveContext *context)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...