ребро
Событие Trigger
Синтаксис
edge(b)
Описание
edge(b) берет скалярное булево выражение b, как введено. Это возвращает true и инициировало событие, когда и только когда входной параметр изменяет значение от лжи до истины. Типом возвращаемых данных edge является event. Тип данных о событиях является специальной категорией булева типа, который возвращает 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'}) использования.