它是如何可能为双精度值转换为在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实施，请下载它。
文章来源: How to cast a double value to a integer value in UPPAAL?
