Gecode::Int::PLA Class Reference

Class for defining advanced propagation level. More...

#include <task.hh>

List of all members.

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 465 of file task.hh.

---

Member Data Documentation

const bool Gecode::Int::PLA::basic = false [static]

Perform basic propagation.

Definition at line 468 of file task.hh.

const bool Gecode::Int::PLA::advanced = true [static]

Do not perform advanced propagation.

Definition at line 470 of file task.hh.

const PropCond Gecode::Int::PLA::pc = PC_INT_BND [static]

For basic propagation, domain operations are needed.

Definition at line 472 of file task.hh.

---

The documentation for this class was generated from the following file:

• gecode/int/task.hh (Revision: 15137)