Событие 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'}) использования.
