grbmodel :: Addgenconstrand（）

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

一个和约束 $ $ r = \ mbox {and} \ {x_1，\ ldots，x_n \} $ $ 指出二进制结果变量 $ r $ 应该 $ 1 $ 如果且仅当所有操作数变量 $ $ x_1，\ ldots，x_n $ $ 等于。如果任何操作数变量是 $ 0 $ ，那么应该是也是。

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

论点：

resvar.：新约束的结果二进制变量。

vars.：二进制变量数组是新约束的操作数。

Len.：新约束中的操作数量（长度）vars.大批）。

姓名（可选）：新一般约束的名称。

返回值：

新的总约束。