Reified propagator patterns
[Programming actors]

Collaboration diagram for Reified propagator patterns:

Detailed Description

The optional last Boolean argument (fd) to the constructor for creation defines whether deletion must be forced.


Classes
class	Gecode::ReUnaryPropagator< View, pc, CtrlView >
	Reified unary propagator. More...
class	Gecode::ReBinaryPropagator< View, pc, CtrlView >
	Reified binary propagator. More...