39class sc_event_and_list;
40class sc_event_or_list;
61wait(
const sc_event_or_list&,
66wait(
const sc_event_and_list&,
SC_API bool timed_out(sc_simcontext *)
class SC_API sc_simcontext
SC_API void wait(int, sc_simcontext *)
SC_API void sc_set_location(const char *, int, sc_simcontext *=sc_get_curr_simcontext())
SC_API void next_trigger(sc_simcontext *)
sc_simcontext * sc_get_curr_simcontext()