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