Gecode::Int::PLA Class Reference
Class for defining advanced propagation level. More...
#include <task.hh>
Static Public Attributes | |
static const bool | basic = false |
Perform basic propagation. | |
static const bool | advanced = true |
Do not perform advanced propagation. | |
static const PropCond | pc = PC_INT_BND |
For basic propagation, domain operations are needed. |
Detailed Description
Class for defining advanced propagation level.
Definition at line 461 of file task.hh.
Member Data Documentation
const bool Gecode::Int::PLA::basic = false [static] |
const bool Gecode::Int::PLA::advanced = true [static] |
const PropCond Gecode::Int::PLA::pc = PC_INT_BND [static] |
The documentation for this class was generated from the following file:
- gecode/int/task.hh