信号'stable属性

p.29

(非公式訳)

属性 適用先 返値の型 返値の値
S'stable(t) 信号   ブール   過去 t 時間だけ信号 S に何のイベントも起きなかった場合にtrueを返す。