Generic modification events and propagation conditions
[Programming variables]

Typedefs
typedef int	Gecode::ModEvent
	Type for modification events.
typedef int	Gecode::PropCond
	Type for propagation conditions.
Variables
const ModEvent	Gecode::ME_GEN_FAILED = -1
	Generic modification event: failed variable.
const ModEvent	Gecode::ME_GEN_NONE = 0
	Generic modification event: no modification.
const ModEvent	Gecode::ME_GEN_ASSIGNED = 1
	Generic modification event: variable is assigned a value.
const PropCond	Gecode::PC_GEN_NONE = -1
	Propagation condition to be ignored (convenience).
const PropCond	Gecode::PC_GEN_ASSIGNED = 0
	Propagation condition for an assigned variable.

---

Detailed Description

Predefined modification events must be taken into account by variable types.

---

Typedef Documentation

typedef int Gecode::ModEvent

Type for modification events.

Definition at line 144 of file core.hpp.

typedef int Gecode::PropCond

Type for propagation conditions.

Definition at line 154 of file core.hpp.

---

Variable Documentation

const ModEvent Gecode::ME_GEN_FAILED = -1

Generic modification event: failed variable.

Definition at line 147 of file core.hpp.

const ModEvent Gecode::ME_GEN_NONE = 0

Generic modification event: no modification.

Definition at line 149 of file core.hpp.

const ModEvent Gecode::ME_GEN_ASSIGNED = 1

Generic modification event: variable is assigned a value.

Definition at line 151 of file core.hpp.

const PropCond Gecode::PC_GEN_NONE = -1

Propagation condition to be ignored (convenience).

Definition at line 156 of file core.hpp.

const PropCond Gecode::PC_GEN_ASSIGNED = 0

Propagation condition for an assigned variable.

Definition at line 158 of file core.hpp.