GRBModel::addGenConstrOr()


GRBModel::addGenConstrOr()

添加类型为的新常规约束GRB\u GENCONSTR\u或一个模特。

约束或约束<span>$</span>r=\mbox{or}\{x\u 1\ldots,x\u n\}<span>$</span>声明二进制结果变量<span>$</span>r<span>$</span>应该是<span>$</span>1<span>$</span>当且仅当任何操作数变量<span>$</span>x\u 1\ldots,x\u n<span>$</span>等于<span>$</span>1<span>$</span>。如果所有操作数变量均为<span>$</span>0<span>$</span>,则结果应为<span>$</span>0<span>$</span>

请注意,参与此类约束的所有变量都将被强制为二进制,与它们的创建方式无关。

GRBGenConstr 附加控制器( 格尔瓦 雷斯瓦尔,
康斯特格布瓦尔* vars,
int 伦恩,
一串 名称=”)
    论据:

    雷斯瓦尔:新约束的结果二进制变量。

    瓦尔斯:作为新约束的操作数的二进制变量数组。

    伦恩:新约束中的操作数(长度)瓦尔斯数组)。

    名称(可选):新常规约束的名称。

    返回值:

    新的一般约束。