Как преобразовать двойное значение в целочисленное в 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)