如何在UPPAAL中将双精度值转换为整数值？

Question

在uppaal中如何将双精度值转换为整数值？

double rand;
rand = random(2);
int i;
i = (int) rand;

根据API文档（http://www.it.uu.se/research/group/darts/uppaal/help.php?file=System_Descriptions/Expressions.shtml），以下功能可用，但不起作用：

int fint(double x)

Answer 1

fint功能在4.1.20中实现，请下载。