OR-Tools
8.2
cp_model_fz_solver.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_FLATZINC_CP_MODEL_FZ_SOLVER_H_
15
#define OR_TOOLS_FLATZINC_CP_MODEL_FZ_SOLVER_H_
16
17
#include "
ortools/flatzinc/model.h
"
18
19
namespace
operations_research
{
20
namespace
fz {
21
22
struct
FlatzincSatParameters
{
23
bool
display_all_solutions
=
false
;
24
bool
use_free_search
=
false
;
25
bool
verbose_logging
=
false
;
26
bool
display_statistics
=
false
;
27
int
max_number_of_solutions
= 1;
28
int
random_seed
= 0;
29
int
number_of_threads
= 0;
30
double
max_time_in_seconds
= 0.0;
31
};
32
33
}
// namespace fz
34
35
namespace
sat {
36
37
void
SolveFzWithCpModelProto
(
const
fz::Model
&
model
,
38
const
fz::FlatzincSatParameters
& p,
39
const
std::string& sat_params);
40
41
}
// namespace sat
42
}
// namespace operations_research
43
44
#endif
// OR_TOOLS_FLATZINC_CP_MODEL_FZ_SOLVER_H_
operations_research::fz::Model
Definition:
flatzinc/model.h:315
model.h
model
GRBmodel * model
Definition:
gurobi_interface.cc:272
operations_research::sat::SolveFzWithCpModelProto
void SolveFzWithCpModelProto(const fz::Model &fz_model, const fz::FlatzincSatParameters &p, const std::string &sat_params)
Definition:
cp_model_fz_solver.cc:992
operations_research
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...
Definition:
dense_doubly_linked_list.h:21
operations_research::fz::FlatzincSatParameters
Definition:
cp_model_fz_solver.h:22
operations_research::fz::FlatzincSatParameters::display_statistics
bool display_statistics
Definition:
cp_model_fz_solver.h:26
operations_research::fz::FlatzincSatParameters::max_number_of_solutions
int max_number_of_solutions
Definition:
cp_model_fz_solver.h:27
operations_research::fz::FlatzincSatParameters::max_time_in_seconds
double max_time_in_seconds
Definition:
cp_model_fz_solver.h:30
operations_research::fz::FlatzincSatParameters::number_of_threads
int number_of_threads
Definition:
cp_model_fz_solver.h:29
operations_research::fz::FlatzincSatParameters::display_all_solutions
bool display_all_solutions
Definition:
cp_model_fz_solver.h:23
operations_research::fz::FlatzincSatParameters::random_seed
int random_seed
Definition:
cp_model_fz_solver.h:28
operations_research::fz::FlatzincSatParameters::use_free_search
bool use_free_search
Definition:
cp_model_fz_solver.h:24
operations_research::fz::FlatzincSatParameters::verbose_logging
bool verbose_logging
Definition:
cp_model_fz_solver.h:25
ortools
flatzinc
cp_model_fz_solver.h
Generated by
1.9.1