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
|