如何获取UPPAAL中的时钟当前值并将其存储在整型变量中？

Question

任何人都可以告诉我如何获取时钟变量的当前值并存储在整数变量中。我试过k = t（其中k是整数，t是时钟），但它会抛出“不兼容的类型错误”。我也尝试过k =（int）t，但它引发了“意外的T_INT”语法错误。

是否有任何类型转换可用于UPPAAL中的时钟以获取时钟的当前值并将其存储在变量中？

Answer 1

这是不可能的，因为时间的处理方式（象征性）。如果您使用UPPAAL模拟器，您可以看到时钟值没有具体表示，而是作为时钟约束。因此，你不能真正谈论时钟是一些价值，而是当前时钟评估满足一些约束条件，因此时钟处于某个时间间隔。

不指定你想要什么来实现的，所以一些相关的指针：

• 如果你想知道一个时钟可以达到最大值但是，您可以比较时钟为整型变量
• ，您可以使用“sup：clock”查询