uppaal写代码是报错,自由进程参数必须是一个有界整数或者一个标量

文章讨论了在配置概率参数probweight时,如果在自由进程中设置了值,必须在模型声明中相应定义,否则会引发错误。作者以coin文件为例,提醒读者注意参数的一致性。
摘要由CSDN通过智能技术生成

在设置概率参数prob weight时,可能会报这个错

在这里插入图片描述
这里的自由进程参数是指上面的参数,如果这里设置了值,那么在模型声明的时候一定要设置对应的值
例如,我coin文件这里设置了这几个参数,
在这里插入图片描述
模型声明里要用这个进行定义,不然就会报上面的错误

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值