Properties 检查UPPAAL中变量相对于时间的值

我想在属性“如果时间t的输入为0，时间t+1的输入为1，则系统重置为1”中写入此语句 我是这样写的,

xin（t）==0&&xin（t+1）==1-->重置==1

但它显示了错误“预期功能”。 如何编写函数

---

谢谢

假设

t

是一个时钟，

xin

是一个变量，然后尝试以下查询：

t==0 && xin==0 --> t==1 && xin==1 imply reset==1