问题
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)
回答1:
The fint function is implemented in 4.1.20, please download it.
来源：https://stackoverflow.com/questions/54460545/how-to-cast-a-double-value-to-a-integer-value-in-uppaal