The description is based on constraints and called constraint model, which is defined by the features that satisfy a definite constraint set.

• 模型描述是基于约束的，故称为约束模型，并定义为满足一定约束关系集的特征集合。