1

有时在 UPPAAL 中，我发现了一个整数变量的示例，它采用两个值，例如 int x:=1-0，这到底是什么意思？像 x 先取“1”然后取“0”还是 X 只是两个值的数组？

谢谢

4

0 回答 0