Lecture Notes in Computer Science, 1998, Volume 1520/1998, 340-354, DOI: 10.1007/3-540-49481-2_25

A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications

Kim Marriott, Sitt Sen Chok and Alan Finlay

View Related Documents

Abstract

We describe an object-oriented constraint solving toolkit, QOCA, designed for interactive graphical applications. It has a simple yet powerful interface based on the metric space model for constraint manipulation. Currently QOCA supports linear arithmetic constraints and two different metrics: the square of the Euclidean distance and the Manhattan distance. It provides three solvers, all of which rely on keeping the constraints in solved form and relies on novel algorithms for efficient resolving of constraints during direct manipulation. We provide a thorough empirical evaluation of QOCA, both of the interface design and the speed of constraint solving.

Fulltext Preview

Image of the first page of the fulltext document