Событие триггера
edge(b)
edge(b)
принимает скалярное логическое выражение b
как вход. Он возвращает true и запускает событие, когда и только когда входной параметр изменяет значение с false на true. Тип возвращаемых данных edge
является event
. Тип данных о событиях является специальной категорией логического типа, которая возвращает true только мгновенно и возвращает false в противном случае.
Следующий рисунок иллюстрирует различие между булевым и событийным типами данных.
edge(b)
возвращает true только тогда, когда b
изменяется с false на true.
Вы используете edge
оператор для определения предикатов событий в when
пункты. Для получения дополнительной информации смотрите events
.
edge(b)
возвращает true, когда b
изменяется с false на true, то есть запускает событие на восходящем ребре условия b
.
Чтобы вызвать событие на падающем ребре условия b
, использовать edge(~b)
.
Чтобы вызвать событие как на восходящем ребре, так и на падающем ребре условия b
, использовать edge(b)||edge(~b)
как предикат события в when
пункт. Для получения дополнительной информации о правилах вывода данных между булевым и событийным типами данных, смотрите Тип данных события и Пограничный оператор.
Чтобы запустить событие в определенное время, например, через 2 секунды после начала симуляции, используйте edge(time>{2.0,'s'})
.