Generated on Sat Nov 11 01:12:16 2006 for Gecode by doxygen 1.5.1

Generic modification events and propagation conditions
[Programming variables]

Collaboration diagram for Generic modification events and propagation conditions:


Detailed Description

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


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 ModEvent Gecode::ME_GEN_MAX = 15
 Generic modification event: maximal modification event.
const PropCond Gecode::PC_GEN_ASSIGNED = 0
 Propagation condition for an assigned variable.
const PropCond Gecode::PC_GEN_MAX = 15
 Propagation conditions must be between 0 and 15.


Typedef Documentation

typedef int Gecode::ModEvent

Type for modification events.

Definition at line 38 of file core.icc.

typedef int Gecode::PropCond

Type for propagation conditions.

Definition at line 50 of file core.icc.


Variable Documentation

const ModEvent Gecode::ME_GEN_FAILED = -1

Generic modification event: failed variable.

Definition at line 41 of file core.icc.

const ModEvent Gecode::ME_GEN_NONE = 0

Generic modification event: no modification.

Definition at line 43 of file core.icc.

const ModEvent Gecode::ME_GEN_ASSIGNED = 1

Generic modification event: variable is assigned a value.

Definition at line 45 of file core.icc.

const ModEvent Gecode::ME_GEN_MAX = 15

Generic modification event: maximal modification event.

Definition at line 47 of file core.icc.

const PropCond Gecode::PC_GEN_ASSIGNED = 0

Propagation condition for an assigned variable.

Definition at line 52 of file core.icc.

const PropCond Gecode::PC_GEN_MAX = 15

Propagation conditions must be between 0 and 15.

Definition at line 54 of file core.icc.