_interval | ark::memory_gate_policies::TimedSignalServer | [private] |
_ts | ark::memory_gate_policies::TimedSignalServer | [private] |
setSignalInterval(TimeInterval ti) | ark::memory_gate_policies::TimedSignalServer | [inline] |
signalInterval() const | ark::memory_gate_policies::TimedSignalServer | [inline] |
signalServer(MessagePort< T > &port) | ark::memory_gate_policies::TimedSignalServer | [inline] |
TimedSignalServer() | ark::memory_gate_policies::TimedSignalServer | [inline, protected] |