Diades::Automata::Experimental::EventSetManagerPrettyPrinter< EventInfo, EventId > Class Template Reference

#include <Printer.hh>

Public Member Functions
	EventSetManagerPrettyPrinter (const EventSetManager< EventInfo, EventId > &mgrSet, const EventManager< EventInfo, EventId > &mgrEvent)
virtual ostream &	print (ostream &os, const typename EventSetManager< EventInfo, EventId >::EventSet &es) const
Public Member Functions inherited from Diades::Automata::Experimental::Printer< EventSetManager< EventInfo, EventId >::EventSet >
virtual ostream &	print (ostream &os, const EventSetManager< EventInfo, EventId >::EventSet &object) const=0

Private Attributes
EventManagerPrettyPrinter< EventInfo, EventId >	_eventPrinter
const EventSetManager< EventInfo, EventId > &	_mgr

Additional Inherited Members
Public Types inherited from Diades::Automata::Experimental::Printer< EventSetManager< EventInfo, EventId >::EventSet >
using	Object = EventSetManager< EventInfo, EventId >::EventSet

Detailed Description

template<typename EventInfo, typename EventId>
class Diades::Automata::Experimental::EventSetManagerPrettyPrinter< EventInfo, EventId >

This printer prints an EventSet by printing its corresponding EventInfo. Correspondances between EventSet and a set of EventInfo is performed by the permanent association with an EventSetManager (from a EventSet, we then can get a set of Event ids) and an EventManager (from an Event id we get a EventInfo). EventInfo is printed out with help of an EventManagerPrettyPrinter that reauires that EventInfo has operator <<

Definition at line 172 of file Printer.hh.

Constructor & Destructor Documentation

EventSetManagerPrettyPrinter()

template<typename EventInfo, typename EventId>

Diades::Automata::Experimental::EventSetManagerPrettyPrinter< EventInfo, EventId >::EventSetManagerPrettyPrinter ( const EventSetManager< EventInfo, EventId > &  mgrSet, const EventManager< EventInfo, EventId > &  mgrEvent  )

inline

Constructor

Parameters

mgrSet	EventSetManager permanently associated with the Printer
mgrEvent	EventManager permanently associated with the Printer

Definition at line 192 of file Printer.hh.

Member Function Documentation

print()

template<typename EventInfo, typename EventId>

virtual ostream& Diades::Automata::Experimental::EventSetManagerPrettyPrinter< EventInfo, EventId >::print ( ostream &  os, const typename EventSetManager< EventInfo, EventId >::EventSet &  es  ) const

inlinevirtual

Print the given EventSet in the given output stream using the << operator of EventInfo's that is associated with it in the associated managers

Parameters

os	output stream
es	EventSet(Object) to print out

Returns

the updated output stream

Definition at line 206 of file Printer.hh.

References Diades::Automata::Experimental::EventSetManager< EventLabel, EventId >::event(), and Diades::Automata::Experimental::EventManagerPrettyPrinter< EventInfo, EventId >::print().

Referenced by Diades::Automata::Experimental::LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventId >::print().

Member Data Documentation

_eventPrinter

template<typename EventInfo, typename EventId>

EventManagerPrettyPrinter<EventInfo,EventId> Diades::Automata::Experimental::EventSetManagerPrettyPrinter< EventInfo, EventId >::_eventPrinter

private

Definition at line 179 of file Printer.hh.

_mgr

template<typename EventInfo, typename EventId>

const EventSetManager<EventInfo,EventId>& Diades::Automata::Experimental::EventSetManagerPrettyPrinter< EventInfo, EventId >::_mgr

private

Definition at line 184 of file Printer.hh.

---

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

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