如何在 UPPAAL 中将双精度值转换为整数值？
How to cast a double value to a integer value in UPPAAL?
如何在 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)
fint功能在4.1.20实现，请下载
如何在 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)
fint功能在4.1.20实现，请下载