Explorer::ListeningHandler Class Referenceabstract
Inheritance diagram for Explorer::ListeningHandler:
Execution::PlayListeningHandler Explorer::DefaultListeningHandler

Public Member Functions

virtual void setListening (Device::DeviceInterface &dev, const State::Address &addr, bool b)=0
 
virtual void setListening (Device::DeviceInterface &dev, const Device::Node &addr, bool b)=0
 
virtual void addToListening (Device::DeviceInterface &dev, const std::vector< State::Address > &v)=0
 
void stop ()
 
void restore ()
 

The documentation for this class was generated from the following files: