1

私は現在 UPPAAL v.4.1.19 を使用しており、クロックを関数パラメーターとして指定できることをヘルプで確認しました。ただし、どのメソッドや属性に関する情報が見つかりませんでした。クロックの下限と上限は、クロックに使用できます。

関数の例:

void access_clock(clock & cl){
    //access clock here
}

クロックの下限を取得したり、関数でそれを使って何か他のことをしたりすることは可能ですか?

4

1 に答える 1