| iMatix home page | << | < | > | >> |
SMT Version 2.81 |
#include "smtlib.h" void smt_set_timer (const QID *qid)
Tells the SMT kernel to send alarm events to the specified timer queue. There can be just one timer queue. If you do not specify a timer queue, timer events are discarded.
{ #if (defined (SMT_TRACE)) trace ("smt_set_timer"); #endif timer = *qid; }
| << | < | > | >> | Copyright © 1996-99 iMatix Corporation |