Regular Article
Symbolic Constraints in Constructive Geometric Constraint Solving

https://doi.org/10.1006/jsco.1996.0089Get rights and content
Under an Elsevier user license
open archive

Abstract

In design and manufacturing applications, users of computer-aided design systems want to define relationships between dimension variables, since such relationships express design intent very flexibly. This work reports on a technique developed to enhance a class of constructive geometric constraint solvers with the capability of managing functional relationships between dimension variables. The method is shown to be correct.

Cited by (0)

f1

E-mail:[email protected]. Supported in part by ONR Contract N00014-90-J-1599 and by NSF Grants CDA 92-23502, ECD 88-03017, and CCR 95-05745.

f2

While on leave in the Department of Computer Sciences, Purdue University. Partially supported by a CIRIT fellowship of the Government of Catalonia under grant 1995BEAI400071.