DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <AutFileDescriptor.hh>
Public Member Functions | |
bool | operator() (std::ostream &stream, const EventType &event) const |
Print an event into a *.aut file
stream | the stream that contain the event |
event | the return event |
mostly
used when the EventType is not a string (an integer) For the string case, we need to distiguish between quotedLabel and unquotedLabel Definition at line 70 of file AutFileDescriptor.hh.
|
inline |
Definition at line 73 of file AutFileDescriptor.hh.