[ 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


Generated from ic_global_gac.eci on 2009-02-24 09:45