UPPAALで時計の現在の値を取得し、それを整数変数に格納する方法は？

Question

クロック変数の現在の値を取得し、整数変数に格納する方法を教えてもらえますか？私はk = t（kは整数、tは時計）を試しましたが、 "互換性のないタイプエラー"がスローされます。また、k =（int）tを試しましたが、 "Unexpected T_INT"構文エラーが発生します。

クロックの現在の値を取得して変数に格納するために、 ？

Answer 1

時間が処理される（記号的に）ため、これは不可能です。 UPPAALシミュレータを使用すると、クロック値が具体的に表されるのではなくクロックの制約として表示されます。したがって、あなたは実際にはクロックがある価値ではなく、いくつかの制約を満たす現在のクロック評価を話すことができないため、クロックはある程度の間隔を置いています。

あなたは、あなたが達成したいので、いくつかの関連のポインタを指定しないでください：

• あなたは時計が到達できる最大値を知りたい場合は、しかし、変数
• を整数にクロックを比較することができます「sup：clock」クエリを使用できます