滤波内容
版本化
文本搜索
Model.getGenConstrAnd()
GenConst(genconstr)
取回与类型AND总约束相关联的数据调用此方法表示不同类型的一般性约束导致异常可查询GenConstrype系统属性判定总约束类型
并见addGenConst描述通用约束类型语义
参数 :
genconstr:通用约束对象
返回值:
tuple(resvar,vars)内含数据
Resvar(Var)函数约束变量
vars(Var列表)任务变量和约束
示例用法
# x5=和x1x3x4xx5