Try our new documentation site (beta).
Filter Content By
Version
Text Search
${sidebar_list_label} - Back
Filter by Language
Model.getGenConstrAnd()
getGenConstrAnd ( genconstr )
Retrieve the data associated with a general constraint of type AND. 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 addGenConstrAnd 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 of the general constraint:
resvar (Var): Resultant variable of AND constraint.
vars (list of Var): Operand variables of AND constraint.
Example usage:
(resvar, vars) = model.getGenConstrAnd(model.getGenConstrs()[0])