变化指标 另请参阅: 有限自动机运行的逻辑 有限自动机的第一步 时间逻辑运算符 此外 时间逻辑,可以在转换上设置更改指标。 更改指标 是确定何时可以从一个状态转换到另一个状态的条件。 提出了以下指标: hasChanged(变量) -检查变量的值是否在当前步骤中发生了变化,如果发生了变化,则允许您进行转换; hasChangedFrom(变量,oldValue) -检查变量是否已从指定的oldValue更改为任何其他值。; hasChangedTo(变量,newValue) -检查变量的值是否已更改为特定的新值。 有用的连结 Chart 状态机 结 条件