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... | |
