Generated on: Thu Mar 29 07:46:58 PDT 2012 for custom file set | ||
|
||
// doxy/ or-tools/ src/ constraint_solver/ |
#include <constraint_solver.h>
Public Types | |
enum | TrailCompression { NO_COMPRESSION, COMPRESS_WITH_ZLIB } |
enum | ProfileLevel { NO_PROFILING, NORMAL_PROFILING } |
enum | TraceLevel { NO_TRACE, NORMAL_TRACE } |
Public Member Functions | |
SolverParameters () | |
SolverParameters. | |
Public Attributes | |
TrailCompression | compress_trail |
This parameter indicates if the solver should compress the trail during the search. | |
int | trail_block_size |
This parameter indicates the default size of a block of the trail. | |
int | array_split_size |
When a sum/min/max operation is applied on a large array, this array is recursively split into blocks of size 'array_split_size'. | |
bool | store_names |
This parameters indicates if the solver should store the names of the objets it manages. | |
ProfileLevel | profile_level |
Support for profiling propagation. | |
TraceLevel | trace_level |
Support for full trace of propagation. | |
bool | name_all_variables |
Should anonymous variables be given a name. | |
Static Public Attributes | |
static const TrailCompression | kDefaultTrailCompression = SolverParameters::NO_COMPRESSION |
static const int | kDefaultTrailBlockSize = 8000 |
static const int | kDefaultArraySplitSize = 16 |
static const bool | kDefaultNameStoring = true |
static const ProfileLevel | kDefaultProfileLevel |
static const TraceLevel | kDefaultTraceLevel |
static const bool | kDefaultNameAllVariables = false |
SolverParameters is only used by the Solver constructor to define solving parameters such as the trail compression or the profile level. Note this is for advanced users only.
Definition at line 171 of file constraint_solver.h.
operations_research::SolverParameters::SolverParameters | ( | ) |
const SolverParameters::TrailCompression operations_research::SolverParameters::kDefaultTrailCompression = SolverParameters::NO_COMPRESSION [static] |
Definition at line 187 of file constraint_solver.h.
const int operations_research::SolverParameters::kDefaultTrailBlockSize = 8000 [static] |
Definition at line 188 of file constraint_solver.h.
const int operations_research::SolverParameters::kDefaultArraySplitSize = 16 [static] |
Definition at line 189 of file constraint_solver.h.
const bool operations_research::SolverParameters::kDefaultNameStoring = true [static] |
Definition at line 190 of file constraint_solver.h.
const bool operations_research::SolverParameters::kDefaultNameAllVariables = false [static] |
Definition at line 193 of file constraint_solver.h.
This parameter indicates if the solver should compress the trail during the search.
No compression means that the solver will be faster, but will use more memory.
Definition at line 200 of file constraint_solver.h.
This parameter indicates the default size of a block of the trail.
Compression applies at the block level.
Definition at line 204 of file constraint_solver.h.
When a sum/min/max operation is applied on a large array, this array is recursively split into blocks of size 'array_split_size'.
Definition at line 208 of file constraint_solver.h.
This parameters indicates if the solver should store the names of the objets it manages.
Definition at line 212 of file constraint_solver.h.
Support for profiling propagation.
LIGHT supports only a reduced version of the summary. COMPLETE supports the full version of the summary, as well as the csv export.
Definition at line 217 of file constraint_solver.h.