getactivebranch
getactivebranch |
Purpose
This function enables the user to know which part of a disjunction is active; if the first constraint of the disjunction is satisfied, it returns zero, else it returns one.
Synopsis
function getactivebranch(disj:cpctr) : integer
Argument
|
disj
|
the involved constraint (only a disjunction)
|
Return value
Zero if the first part of the disjunction is satisfied, one otherwise.
Example
The following code shows how to retrieve the active branch information from the disjunction disj:
b:=getactivebranch(disj)
Related topics