Variables

contains	Tests if a value is in the domain of a variable
cp_show_var	Shows the current domain of the variable
getdegree	Returns the degree of a variable
getlb	Returns the current lower bound of a variable
getmiddle	Returns the middle value of a variable
getnext	Gets the next value in the domain of a finite domain variable
getprev	Gets the previous value in the domain of a finite domain variable
getrand	Returns a random value belonging to the domain of a variable
getsize	Returns the cardinality of the variable domain
gettarget	Returns the target value of a variable
getub	Returns the current upper bound of a variable
getval	Returns the instantiation value of a variable
is_equal	Tests if two variable domains are equal
is_fixed	Tests if the variable passed in argument is instantiated
is_same	Tests if two decision variables represent the same variable
setdomain	Sets the domain of a variable
setlb	Sets the lower bound of a variable
setprecision	Sets the precision relativity and value of a continuous variable
settarget	Sets the target value of a variable
setub	Sets the upper bound of a variable
setval	Instantiate the value of a variable