Constraint parameters
| getactivebranch |
Gets the active branch of a disjunction
|
| getarity |
Returns the number of variables in the constraint
|
| getpriority |
Returns the priority of a constraint
|
| gettag |
Gets the tag of a constraint
|
| setfirstbranch |
Sets the first branch of a disjunction to be activated
|
| setpriority |
Sets the priority of a constraint
|
| settag |
Sets the tag of a constraint
|