Propagator patterns
[Programming actors]
Collaboration diagram for Propagator patterns:
Detailed Description
The optional last Boolean argument (fd) to the constructor for creation defines whether deletion must be forced.
Classes | |
class | Gecode::UnaryPropagator< View, pc > |
Unary propagator. More... | |
class | Gecode::BinaryPropagator< View, pc > |
Binary propagator. More... | |
class | Gecode::TernaryPropagator< View, pc > |
Ternary propagator. More... | |
class | Gecode::NaryPropagator< View, pc > |
n-ary propagator More... | |
class | Gecode::NaryOnePropagator< View, pc > |
(n+1)-ary propagator More... |