DocumentCode
3357667
Title
Using constraint propagation and domain reduction for the generation phase in declarative modeling
Author
Le Roux, O. ; Gaildrat, V. ; Caubet, R.
Author_Institution
IRIT, Univ. Paul Sabatier, Toulouse, France
fYear
2001
fDate
2001
Firstpage
117
Lastpage
123
Abstract
This paper presents an oriented object constraint solver based on constraint propagation and domain reduction for the generation phase in declarative modeling. The solver supports generic constraints and heterogeneous parameters via generic domains. This ensures adaptability and efficiency of the resolution process in complex cases. As an application, a declarative system for 3D environment planning is presented
Keywords
CAD; computer graphics; constraint handling; tree searching; 3D environment planning; CAD; constraint propagation; declarative modeling; declarative system; domain reduction; generic constraints; heterogeneous parameters; object constraint solver; tree searching; Application software; Kernel; Layout; Navigation; Power generation; Process design; Shape; Solid modeling; Space exploration; Uninterruptible power systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Visualisation, 2001. Proceedings. Fifth International Conference on
Conference_Location
London
Print_ISBN
0-7695-1195-3
Type
conf
DOI
10.1109/IV.2001.942047
Filename
942047
Link To Document