Publication details

Saarland University Computer Science

Views and Iterators for Generic Constraint Implementations

Christian Schulte, Guido Tack

Recent Advances in Constraints, Vol. 3978 of Lecture Notes in Computer Science, pp. 118--132, Springer, 2006

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. A wide range of applications of views exemplifies their usefulness and their potential for simplifying constraint implementations. We introduce domain operations compatible with views based on range iterators. The paper evaluates the applicability of the approach as well as different implementation techniques for the presented architecture.

© Springer-Verlag, (Lecture Notes in Computer Science)

Download PDF        Show BibTeX               

Login to edit

Legal notice, Privacy policy