| iMatix home page
| << | < | > | >> 		SMT Logo SMT
Version 2.81
 

smt_active

#include "smtlib.h"
Bool
smt_active (void)

Synopsis

Returns TRUE if the SMT has active threads, else false.

Source Code - (smtlib.c)

{
#if (defined (SMT_TRACE))
    trace ("smt_active: %d", (active_threads.right != &active_threads));
#endif
    return (active_threads.right != &active_threads);
}
| << | < | > | >> iMatix Copyright © 1996-99 iMatix Corporation