Model.getGenConstrOr()

getGenConstrOr( genconstr )

Retrieve the data of a general constraint of type OR. Calling this function for a general constraint of different type leads to an exception. You can query theGenConstrTypeattribute to determine the type of the general constraint.

See alsoaddGenConstrOrfor 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 of the general constraint:

resvar (Var): Resultant variable of OR constraint.

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

Example usage:

(resvar, vars) = model.getGenConstrOr(model.getGenConstrs()[0])