Views and Iterators for Generic Constraint Implementations | Zendy

Christian Schulte | Zendy; Guido Tack | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Views and Iterators for Generic Constraint Implementations

Author(s) -

Christian Schulte,

Guido Tack

Publication year - 2005

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-34215-X

DOI - 10.1007/11564751_71

Subject(s) - implementation , computer science , constraint (computer aided design) , reuse , variable (mathematics) , constraint satisfaction , constraint satisfaction problem , programming language , theoretical computer science , range (aeronautics) , artificial intelligence , mathematics , ecology , mathematical analysis , materials science , geometry , probabilistic logic , composite material , biology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research