Vues de domaine globales
Justeau-Allaire D., Prud'homme C.. 2022. In : 17es Journees Francophones de Programmation par Contraintes (JFPC 2022). Caen : AFIA, p. 23-23. Journées Francophones de Programmation par Contrainte. 17, 2022-06-27/2022-06-29, Saint Etienne (France).
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.
Documents associés
Communication de congrès
Agents Cirad, auteurs de cette publication :
- Justeau-Allaire Dimitri — Bios / UMR AMAP
