Обнаружьте изменение данных в заданном значении на тестовом шаге
hasChangedTo( возвращает u,B)true если значение u изменения в значении B. В противном случае, hasChangedTo возвращает false.
Обнаружьте если x превратился в значение 10. Этот оператор возвращает true когда x не имел значения 10 в предыдущем временном шаге и имеет значение 10 на шаге текущего времени.
hasChangedTo(x,10)
hasChangedTo операторы могут использоваться в Тестовых блоках Оценки Последовательности и Теста и в графиках Stateflow®.