Go to the source code of this file.
Definition at line 38 of file while_fsm.h.
References Stats::reset(), SC_CTHREAD, and SC_HAS_PROCESS.