161 void DisplayMachineState( const BitMachine & bitMachine )  in DisplayMachineState()  argument
163   bitMachine.state_cast< const IDisplay & >().Display();  in DisplayMachineState()
185 void VisitAllStates( BitMachine & bitMachine, unsigned int msb )  in VisitAllStates()  argument
189     VisitAllStates( bitMachine, msb - 1 );  in VisitAllStates()
192   bitMachine.process_event( *pFlipBitEvents[ msb ] );  in VisitAllStates()
193   DisplayMachineState( bitMachine );  in VisitAllStates()
197     VisitAllStates( bitMachine, msb - 1 );  in VisitAllStates()
231   BitMachine bitMachine;  in main()  local
232   bitMachine.initiate();  in main()
240       bitMachine.process_event( *pFlipBitEvents[ key - '0' ] );  in main()
241       DisplayMachineState( bitMachine );  in main()
249           VisitAllStates( bitMachine, NO_OF_BITS - 1 );  in main()