用于确定具有一实体集合并满足一组约束集合的模型的配置的方法和系统

摘要

一方法确定模型的配置。所述模型包括满足约束的实体。变量表示实体以及对应于约束方程的每个约束。约束方程互相关联变量的子集合。至少一树被生成。所述树包括一根节点，所述根节点具有至少一子节点。具有子节点的节点定义为父节点。缺少子节点的节点定义为叶节点。每个节点对应于所述约束方程的子集合。叶节点的一子集合的约束方程是并行地满足的。基于满足的所述相应子节点的所述满足的约束方程下，满足具有满足的子节点的父节点的约束方程。约束方程直到满足根节点的约束方程才会满足。每个父节点的满足的约束方程被传播到相应的子节点。所确定的配置的实体被输出用于显示。