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

#include <AutFileDescriptor.hh>

Public Member Functions

bool operator() (std::istream &stream, std::string &evtLabel) const
 

Detailed Description

template<>
struct Diades::Automata::Experimental::ReadEvent< std::string >

Read an event from a *.aut file (specialisation for string)

Parameters
streamthe stream that contain the event
eventthe return event
Returns
true if the read is a success

Definition at line 51 of file AutFileDescriptor.hh.

Member Function Documentation

◆ operator()()

bool Diades::Automata::Experimental::ReadEvent< std::string >::operator() ( std::istream &  stream,
std::string &  evtLabel 
) const
inline

Definition at line 54 of file AutFileDescriptor.hh.

References Diades::Utils::readLabel().


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