use*_*940 5 random numbers uppaal
在Uppaal程序中定义全局声明时,如何创建随机数？
我希望有一个包含C程序中的随机数的变量:
int x = rand(100);
Kam*_*olo 5
根据Uppaal 邮件列表中的人员的说法，这段代码片段select: i : int[0,3]
select: i : int[0,3]
将不确定地将 i 绑定到 0 到 3 范围内的整数。
所以，在你的情况下只需使用select: x : int[0, 100].
select: x : int[0, 100]
归档时间：
12 年，2 月 前
查看次数：
3716 次
最近记录：
6 年，10 月 前