Constraint parameters
Gets the active branch of a disjunction
|
|
Returns the number of variables in the constraint
|
|
Returns the priority of a constraint
|
|
Gets the tag of a constraint
|
|
Sets the first branch of a disjunction to be activated
|
|
Sets the priority of a constraint
|
|
Sets the tag of a constraint
|