Model.getGenConstrAnd ()

getGenConstrAnd(genconstr)

检索与AND类型的通用约束关联的数据。为不同类型的通用约束调用此方法将导致异常。您可以查询GenConstrType属性以确定通用约束的类型。

另请参阅addGenConstrAnd此通用约束类型的语义描述。

参数:

genconstr:感兴趣的一般约束对象。

返回值:

一个元组(resvar, vars)，包含通用约束的数据:

resvar (Var):与约束的合成变量。

Var (Var列表):与约束的操作数变量。

使用示例:

(resvar, vars) = model.getGenConstrAnd(model.getGenConstrs()[0])