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

uppaal
person Michael Eder    schedule 31.01.2019    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Функция fint реализована в версии 4.1.20, загрузите ее.

person mariusm    schedule 26.03.2019
comment
Я использую 4.1.20 beta3 (1) на 64-битной ОС Mac. Когда я пытаюсь его использовать, он говорит, что найден неизвестный идентификатор. Вы можете помочь? - person MrDank; 09.11.2019
comment
Бета-версии @MrDank более ранние, чем финальный выпуск 4.1.20, поэтому, вероятно, его нет. Не могли бы вы попробовать новейшую 4.1.23? - person mariusm; 11.11.2019