model.addgenconstror()


model.addgenconstror()

addgenconstror.(Resvar,Vars,Name =“”))

添加一个新的类型的全新约束grb.genconstr_or.到一个模型。

一个或约束<span> $ </ span> r = \ mbox {或} \ {x_1,\ ldots,x_n \} <span> $ </ span>指出二进制结果变量<span> $ </ span> r <span> $ </ span>应该<span> $ </ span> 1 <span> $ </ span>如果并且只有任何操作数变量<span> $ </ span> x_1,\ ldots,x_n <span> $ </ span>等于<span> $ </ span> 1 <span> $ </ span>。如果所有操作数变量都是<span> $ </ span> 0 <span> $ </ span>,那么应该是<span> $ </ span> 0 <span> $ </ span>也是。

请注意,参与此类约束的所有变量都将被强制为二进制文件,而独立于如何创建它们。

您还可以使用该添加或约束或者_功能。

论点:

Resvar(var):该变量的值将等于其他变量的或连接。

vars(var列表):将采取或连接的变量。

名称(字符串,可选):新一般约束的名称。注意名称将作为ASCII字符串存储。因此,一个名字'一个<span> $ </ span> {\ lightarrow} <span> $ </ span>B'会产生错误,因为'<span> $ </ span> {\ lightarrow} <span> $ </ span>'不能表示为ASCII字符。请注意,包含空格的名称强烈忽视,因为它们无法写入LP格式文件。

示例用法:

#x5 =或(x1,x3,x4)model.addgenconstror(x5,[x1,x3,x4],“orconstr”)#重载的表单model.addconstr(x5 ==或_([x1,x3,x4]),“orconstr”)model.addconstr(x5 ==或_(x1,x3,x4),“orconstr”)