Constraint hierarchies
- 1 December 1987
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 22 (12) , 48-60
- https://doi.org/10.1145/38807.38812
Abstract
Constraints describe relations that must be maintained, and provide a useful tool for such applications as interactive simulations, algorithm animation, and graphical user interface construction. We describe a major overhaul and extension to the constraint satisfaction mechanism in ThingLab, a constraint-oriented simulation laboratory written in the Smalltalk-80 language. First, a specification is presented of constraint hierarchies. Such hierarchies include both required constraints and default constraints of differing strengths, thus adding considerable expressive power to the system. Second, an algorithm for satisfying constraint hierarchies is described. The new satisfier is substantially faster than the previous version, even though it also includes new functionality.Keywords
This publication has 7 references indexed in Scilit:
- Constraint-based tools for building user interfacesACM Transactions on Graphics, 1986
- PRIDE: An Expert System for the Design of Paper Handling SystemsComputer, 1986
- Juno, a constraint-based graphics systemPublished by Association for Computing Machinery (ACM) ,1985
- Machine Tongues X: Constraint LanguagesComputer Music Journal, 1984
- A High-Level Language for Specifying PicturesACM Transactions on Graphics, 1982
- The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation LaboratoryACM Transactions on Programming Languages and Systems, 1981
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980