Timed CSPで追加定義されるプロセスを自前で作る。
Wait.ss
; Definitions
(define-event ti)
; Wait
(define-process (Wait t)
(if (> t 0)
(! ti (Wait (- t 1)))
(! ti SKIP)))
(define-process Test (Wait 5))
More than 5 years have passed since last update.
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme