DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | List of all members
Diades::Automata::Experimental::PrintEvent< EventType > Struct Template Reference

#include <AutFileDescriptor.hh>

Public Member Functions

bool operator() (std::ostream &stream, const EventType &event) const
 

Detailed Description

template<typename EventType>
struct Diades::Automata::Experimental::PrintEvent< EventType >

Print an event into a *.aut file

Parameters
streamthe stream that contain the event
eventthe return event
Returns
true if the read is a success 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.

Member Function Documentation

◆ operator()()

template<typename EventType >
bool Diades::Automata::Experimental::PrintEvent< EventType >::operator() ( std::ostream &  stream,
const EventType &  event 
) const
inline

Definition at line 73 of file AutFileDescriptor.hh.


The documentation for this struct was generated from the following file: