Abstract
This work reports on the implementation of a two-dimensional, variational geometric constraint solver based on a constructive approach. The solver computes a solution in two phases. First, using rewrite rules, the solver builds a sequence of construction steps. Then the construction steps are carried out to generate an instance of the geometric object for the current dimension values. We discuss some issues concerning the data representation and the rules used. Then a simple example illustrates how the solver works. Finally we give a correctness proof of the solver.
Chapter PDF
Similar content being viewed by others
References
Bachmair, L. (1991) Proof methods for equational theories. Technical report, Department of Computer Science, SUNY at Stony Brook, Stony Brook, New York 11794.
Bouma, W., Fudos, I., Hoffmann, C., Cai, J. and Paige., R. (1995) A geometric constraint solver. Computer Aided Design 27(6):487–501, June.
Bratko, I. (1990) PROLOG. Programming for Artificial Intelligence. Second Edition. Addison Wesley.
Brüderlin, D.D. (1988) Rule-Based Geometric Modelling. PhD thesis, Institut für Informatik der ETH Zürich.
Cosmadopoulos, Y. and Chu, D. (1992) IC Prolog II. Deprt. of Computing, Imperial College, London, November. Version 0.94, for Sun Workstations.
Dershowitz, N. and Jouannaud, J.-P. (1990) Handbook of Theoretical Computer Science chapter Rewrite Systems, pages 244–320. Elsevier Science Publishers B.V.
Fudos, I. and Hoffmann, C.M. (1993) Correctness proof of a geometric constraint solver. Technical Report CSD 93–076, Department of Computer Sciences, Purdue University, December.
Fudos, I. (1995) Constraint Solving for Computer Aided Design. PhD thesis, Purdue University, Department of Computer Sciences.
Juan-Arinyo, R. and Soto, A. (1995) A set of rules for a constructive geometric constraint solver. Technical Report LSI-95–19-R, Department LiSI, Universitat Politècnica de Catalunya.
Rosen, B.K. (1973) Tree-manipulating systems and Church-Rosser theorems. Journal of the ACM 20(1):160–187, January.
Verroust, A., Schonek, F. and Roller, D. (1992) Rule-oriented method for parameterized computer-aided design. Computer Aided Design 24(10):531–540, October.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Joan-Arinyo, R., Soto, A. (1997). A Ruler-and-Compass Geometric Constraint Solver. In: Pratt, M.J., Sriram, R.D., Wozny, M.J. (eds) Product Modeling for Computer Integrated Design and Manufacture. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35187-2_33
Download citation
DOI: https://doi.org/10.1007/978-0-387-35187-2_33
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2887-2
Online ISBN: 978-0-387-35187-2
eBook Packages: Springer Book Archive