Engee documentation

Indicators of changes

Besides temporal logic, change indicators can be set on transitions.

Change indicators are conditions that determine when it is possible to make a transition from one state to another. The following indicators are presented:

  • hasChanged(variable) — checks whether the value of the variable has changed in the current step, and if so, allows the transition;

    sf guard 1

  • hasChangedFrom(variable, oldValue) — checks whether a variable has changed from the specified oldValue to any other value.;

    sf guard 2

  • hasChangedTo(variable, newValue) — checks whether the value of the variable has changed to a specific new newValue value.

    sf guard 3