Documentation

GRBModel::addGenConstrOr()


GRBModel::addGenConstrOr()

Add a new general constraint of type GRB_GENCONSTR_OR to a model.

An OR constraint $r = \mbox{or}\{x_1,\ldots,x_n\}$ states that the binary resultant variable $r$ should be $1$ if and only if any of the operand variables $x_1,\ldots,x_n$ is equal to $1$. If all operand variables are $0$, then the resultant should be $0$ as well.

Note that all variables participating in such a constraint will be forced to be binary; independently of how they were created.

GRBGenConstr addGenConstrOr ( GRBVar resvar,
    const GRBVar* vars,
    int len,
    string name="" )
    Arguments:

    resvar: The resultant binary variable of the new constraint.

    vars: Array of binary variables that are the operands of the new constraint.

    len: Number of operands in the new constraint (length of vars array).

    name (optional): Name for the new general constraint.

    Return value:

    New general constraint.