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 the GenConstrType attribute to determine the type of the general constraint.
Typical usage is to call this routine twice.
In the first call, you specify the requested general constraint,
NULL value for the
The routine returns the total number of operand variables in the
specified general constraint in
That allows you to make certain that the
vars array is of
sufficient size to hold the result of the second call.
See also addGenConstrOr for a description of the semantics of this general constraint type.
genc: The index of the general constraint.
Any combination of the following three arguments can be NULL.
resvarP: Pointer to store the resultant variable of the constraint.
vars: Array to store the operand variables of the constraint.
lenP: Pointer to store the number of operand variables of the constraint.