MODELING SYSTEM HAVING CONSTRAINT SOLVERS

摘要

A model of a physical object is constructed in a modeling system running on a computer system. The model includes model objects and constraints. The constraints on the model describe the relationship between the model objects. The modeling system constructs a graph representing the model. The graph has nodes representing the modeling objects and arcs representing the relationships between the model objects. The relationships are either directed or nondirected. The modeling system then identifies the set of cycles in the graph. The cycles have a subset of the nodes of the graph coupled by arcs representing nondirected relationships. The modeling system starts with a first cycle from the set of cycles and determines the set of programs that can be used to satisfy all of the relationships between the model objects represented by nodes in the first cycle. Then, the modeling system selects one of the programs from the set of programs and uses it to define the model objects represented by the nodes in the cycle so that all of the constraints are satisfied.