uppaal - 如何在 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实现，请下载。