Publication details

Saarland University Computer Science

Views and Iterators for Generic Constraint Implementations

Christian Schulte, Guido Tack

11th International Conference on Principles and Practice of Constraint Programming, Vol. 3709 of Lecture Notes in Computer Science, pp. 817-821, Springer, 2005

This paper introduces an architecture for generic constraint implementations based on variable views and range iterators. Views allow, for example, to scale, translate, and negate variables. The paper shows how to make constraint implementations generic and how to reuse a single generic implementation with different views for different constraints. Applications of views exemplify their usefulness and their potential for simplifying constraint implementations. We introduce domain operations compatible with views based on range iterators to access and modify entire variable domains.

Springer-Verlag, (Lecture Notes in Computer Science)
An extended version of this paper appears at CICLOPS 05.

Download PDF        Show BibTeX               Download poster (PDF)


Login to edit


Webmaster, Wed Sep 16 10:47:00 2009