[ Reference Manual | Alphabetic Index ]library(ic_global_gac)
Library of global constraints which achieve generalized arc consistency
Predicates
- alldifferent(+L)
- GAC version of alldifferent
- matching(+L, -K)
- Get a matching between a list of domain variables and their possible values
Other Exports
- export portray(update_alldifferent / 4, tr_global_gac_out / 2, [goal])
Description
This library is intended for global constraints for which GAC (generalized arc consistency, also called hyper arc consistency, or domain consistency) is maintained. The first example is a version of the alldifferent constraint which performs more pruning than the bound consistent version in the ic_global library.
About
- Status: prototype
- Author: H. Simonis, 4C, University College Cork
- Copyright © 2008, H. Simonis, 4C, University College Cork
- Date: 2008
Generated from ic_global_gac.eci on 2009-04-30 23:03