時々 UPPAAL で、int x:=1-0 のような 2 つの値を取る整数変数の例を見つけましたが、これは正確にはどういう意味ですか? xが最初に「1」を取り、次に「0」をとるように、またはXは2つの値の単なる配列ですか?
ありがとうございました
時々 UPPAAL で、int x:=1-0 のような 2 つの値を取る整数変数の例を見つけましたが、これは正確にはどういう意味ですか? xが最初に「1」を取り、次に「0」をとるように、またはXは2つの値の単なる配列ですか?
ありがとうございました