How it is possible to cast a double value to a integer value in uppaal?
double rand;
rand = random(2);
int i;
i = (int) rand;
According to the API documentation (http://www.it.uu.se/research/group/darts/uppaal/help.php?file=System_Descriptions/Expressions.shtml) following function is available, but it is not working:
int fint(double x)
The fint function is implemented in 4.1.20, please download it.