Résumé
Le concept de vues de domaine est une abstraction puissante en programmation par contraintes. Il permet de définir des variables qui ne déclarent aucun domaine, mais qui reposent sur une variable x et une fonction f , de sorte que y = f (x) où y est la vue. En plus de faciliter la modélisation en fournissant une couche d'abstraction expressive, les vues offrent une alternative à la décomposition des contraintes qui n'implique pas de variables auxiliaires et de propagateurs. Dans cet article, nous introduisons la notion de vues de domaine globales. Une vue de domaine globale repose sur un nombre arbitraire de variables et une fonction telle que y = f (x1, ..., xn). La combinaison de vues de domaine globales avec des variables ensemblistes et de graphes étend l'expressivité de la programmation par contraintes en permettant la définition de relations complexes entre différents types de variables dans un cadre léger et simple.