Как получить текущее значение часов в UPPAAL и сохранить его в целочисленной переменной?

Question

Может кто-нибудь сказать мне, как получить текущее значение переменной часов и сохранить в целочисленной переменной.Я пробовал k = t (где k - целое число, а t - часы), но оно выдает «ошибку несовместимого типа».Я также попытался k = (int) t, но он выдает синтаксическую ошибку "Неожиданный T_INT" ..

Есть ли какой-либо тип приведения, доступный для часов в UPPAAL, чтобы получить текущее значение часов и сохранить его впеременная?

Answer 1

Это невозможно из-за способа обработки времени (символически). Если вы используете симулятор UPPAAL, вы можете видеть, что значения часов представлены не конкретно, а как ограничения часов. Следовательно, вы не можете говорить о том, что часы являются неким значением, а о текущей оценке часов, удовлетворяющей ряду ограничений, и, следовательно, часы находятся в некотором интервале.

Вы не указываете, чего хотите достичь, поэтому несколько связанных указателей:

• Однако вы можете сравнить часы с целочисленными переменными
• Если вы хотите узнать максимальное значение, которое могут достичь часы, вы можете использовать запрос sup: clock