| 14 | class Off; // forward declaration |
| 15 | |
| 16 | static void DumpState(int inum, const char * state, int on_counter, int defect_level) { |
| 17 | std::cout << "* Switch[" << inum << "] is " << state << " (on_counter=" << on_counter << ", defect_level=" << defect_level << ")" << std::endl; |
| 18 | } |
| 19 | |
| 20 | // ---------------------------------------------------------------------------- |
| 21 | // 1. Event Declarations |