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
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;
Conference_Titel :
Information Visualisation, 2001. Proceedings. Fifth International Conference on
Conference_Location :
London
Print_ISBN :
0-7695-1195-3
DOI :
10.1109/IV.2001.942047