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