Initializing help system before first use

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