Graph propagators
[Other available functionality]
Classes | |
| class | Gecode::Graph::Circuit::Val< View > |
| "Value-consistent" circuit propagator More... | |
| class | Gecode::Graph::Circuit::Dom< View > |
| "Domain consistent" circuit propagator More... | |
Detailed Description
This module contains a description of all predefined graph propagators.
