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