uppaal

How to cast a double value to a integer value in UPPAAL?


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)

Solution

  • The fint function is implemented in 4.1.20, please download it.