Class for defining advanced propagation level.
More...
#include <task.hh>
|
| 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.
|
Class for defining advanced propagation level.
Definition at line 461 of file task.hh.
◆ basic
| const bool Gecode::Int::PLA::basic = false |
|
static |
Perform basic propagation.
Definition at line 464 of file task.hh.
◆ advanced
| const bool Gecode::Int::PLA::advanced = true |
|
static |
Do not perform advanced propagation.
Definition at line 466 of file task.hh.
◆ pc
For basic propagation, domain operations are needed.
Definition at line 468 of file task.hh.
The documentation for this class was generated from the following file: