Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
時々 UPPAAL で、int x:=1-0 のような 2 つの値を取る整数変数の例を見つけましたが、これは正確にはどういう意味ですか? xが最初に「1」を取り、次に「0」をとるように、またはXは2つの値の単なる配列ですか?
ありがとうございました