Triggering mechanism for constraints solving in constraint-based geometric modeling system

Symbolic and numerical techniques are coupled together in a proposed geometric modeling system. The geometric modeling system is based on geometrical constraints. It is unnecessary to give constraints in the correct order and the ability of replacing incorrect constraints with their inverse constraints exists in the system itself. A new structure, a biconnected constraint description graph, is used. A triggering mechanism for controlling of the constraint propagation is developed for this structure. An algorithm for converting the biconnected constraint description graph into an acyclic constraint description graph is outlined.