|
| iMatix home page | << | < | > | >> |
SMTVersion 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;
}
| | << | < | > | >> |
|