Diades::Automata::Experimental::PrintEvent< std::string > Struct Template Reference

#include <AutFileDescriptor.hh>

Public Member Functions
bool	operator() (std::ostream &stream, const std::string &event) const

Detailed Description

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

Print an event into a *.aut file

Parameters

stream	the stream that contain the event
event	the 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 90 of file AutFileDescriptor.hh.

Member Function Documentation

operator()()

bool Diades::Automata::Experimental::PrintEvent< std::string >::operator() ( std::ostream &  stream, const std::string &  event  ) const

inline

Definition at line 93 of file AutFileDescriptor.hh.

References Diades::Utils::GenericLabel< CharT, Traits, Alloc >::isNull().

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/AutFileDescriptor.hh