Выполнение диаграммы управления с оператором at
at(n,E)at( возвращает n,E)true только в n th вхождение основного события E начиная с активации ассоциированной страны. В противном случае оператор возвращает false.
В графике без входных событий, at(n,tick) или at(n,wakeup) возвращает true, если график проснулся для n th во время начиная с активации ассоциированной страны.
Оператор at сбрасывает счетчик для E к 0 каждым разам, когда ассоциированная страна повторно активирует.
Можно использовать кавычки, чтобы заключить ключевые слова 'tick' и 'wakeup'. Например, at(5,'tick') эквивалентен at(5,tick).
Использование at как абсолютно-разовый временный логический оператор не поддержано. Используйте оператор after вместо этого. Для получения дополнительной информации смотрите Использование после Оператора, чтобы Заменить в Операторе.