This function returns the instantiation value of a variable passed in argument. Note that the variable must be instantiated before calling this function, else it will return its lower bound.

The instantiation value of x (or by default its lower bound)

The following example shows how to get the instantiation value of a cpvar X

val:=getval(X)

getlb getub getmiddle getsize is_fixed getdegree gettarget getrand getnext getprev contains