Generated on Wed Jan 24 2018 21:22:26 for Gecode by doxygen 1.8.13
Generic modification events and propagation conditions

Typedefs

typedef int Gecode::ModEvent
 Type for modification events. More...
 
typedef int Gecode::PropCond
 Type for propagation conditions. More...
 

Variables

const ModEvent Gecode::ME_GEN_FAILED = -1
 Generic modification event: failed variable. More...
 
const ModEvent Gecode::ME_GEN_NONE = 0
 Generic modification event: no modification. More...
 
const ModEvent Gecode::ME_GEN_ASSIGNED = 1
 Generic modification event: variable is assigned a value. More...
 
const PropCond Gecode::PC_GEN_NONE = -1
 Propagation condition to be ignored (convenience) More...
 
const PropCond Gecode::PC_GEN_ASSIGNED = 0
 Propagation condition for an assigned variable. More...
 

Detailed Description

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

Typedef Documentation

◆ ModEvent

typedef int Gecode::ModEvent

Type for modification events.

Definition at line 142 of file core.hpp.

◆ PropCond

typedef int Gecode::PropCond

Type for propagation conditions.

Definition at line 152 of file core.hpp.

Variable Documentation

◆ ME_GEN_FAILED

const ModEvent Gecode::ME_GEN_FAILED = -1

Generic modification event: failed variable.

Definition at line 145 of file core.hpp.

◆ ME_GEN_NONE

const ModEvent Gecode::ME_GEN_NONE = 0

Generic modification event: no modification.

Definition at line 147 of file core.hpp.

◆ ME_GEN_ASSIGNED

const ModEvent Gecode::ME_GEN_ASSIGNED = 1

Generic modification event: variable is assigned a value.

Definition at line 149 of file core.hpp.

◆ PC_GEN_NONE

const PropCond Gecode::PC_GEN_NONE = -1

Propagation condition to be ignored (convenience)

Definition at line 154 of file core.hpp.

◆ PC_GEN_ASSIGNED

const PropCond Gecode::PC_GEN_ASSIGNED = 0

Propagation condition for an assigned variable.

Definition at line 156 of file core.hpp.