クロック変数の現在の値を取得して整数変数に格納する方法を教えてください。k=t (k は整数、t はクロック) を試しましたが、「互換性のない型エラー」がスローされます。k=(int)t も試しましたが、「予期しない T_INT」構文エラーがスローされます。
時計の現在の値を取得して変数に格納するために、UPPAAL の時計で使用できる型キャストはありますか?
2442 次
1 に答える
2
時間が（象徴的に）扱われる方法のため、これは不可能です。UPPAALシミュレーターを使用すると、クロック値が具体的に表されているのではなく、クロック制約として表されていることがわかります。したがって、時計が何らかの値であると実際に話すことはできませんが、現在の時計の評価がいくつかの制約を満たしているため、時計は一定の間隔にあります。
達成したいことを指定しないので、いくつかの関連するポインタ：
- ただし、クロックを整数変数と比較することはできます
- 時計が到達できる最大値を知りたい場合は、「sup：clock」クエリを使用できます。
于 2012-03-06T07:36:16.107 に答える