Documentation

Next: Model.getGenConstrNorm() Up: Model Previous: Model.getGenConstrAnd()

Model.getGenConstrOr()

Retrieve the data associated with a general constraint of type OR. Calling this method for a general constraint of a different type leads to an exception. You can query the GenConstrType attribute to determine the type of the general constraint.

See also addGenConstrOr for a description of the semantics of this general constraint type.

Arguments:

genconstr: The general constraint object of interest.

Return value:

A tuple (resvar, vars) that contains the data associated with the general constraint:

resvar (Var): Resultant variable of OR constraint.

vars (list of Var): Operand variables of OR constraint.

Example usage:

  # x5 = or(x1, x3, x4)
  orconstr = model.addGenConstrOr(x5, [x1, x3, x4], "orconstr")
  model.update()
  (resvar, vars) = model.getGenConstrOr(orconstr)

---

Next: Model.getGenConstrNorm() Up: Model Previous: Model.getGenConstrAnd()