Как можно привести двойное значение к целочисленному значению в 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, пожалуйста, скачайте ее.