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