Class for defining basic and advanced propagation level.
More...
#include <task.hh>
Class for defining basic and advanced propagation level.
Definition at line 476 of file task.hh.
◆ basic
const bool Gecode::Int::PLBA::basic = true |
|
static |
Perform basic propagation.
Definition at line 479 of file task.hh.
◆ advanced
const bool Gecode::Int::PLBA::advanced = true |
|
static |
Do not perform advanced propagation.
Definition at line 481 of file task.hh.
◆ pc
For basic propagation, domain operations are needed.
Definition at line 483 of file task.hh.
The documentation for this class was generated from the following file: