Diades::Automata::Experimental::LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventId > Class Template Reference

#include <Printer.hh>

Public Types
using	LocCandidate = LocalCandidate< LocalStateInfoId, typename EventSetManager< EventInfo, EventId >::EventSet >
Public Types inherited from Diades::Automata::Experimental::Printer< LocalStateInfoId >
using	Object = LocalStateInfoId

Public Member Functions
	LocalCandidatePrettyPrinter (const StateInfoManagerPrettyPrinter< LocalStateInfo, LocalStateInfoId > &statePrinter, const EventSetManagerPrettyPrinter< EventInfo, EventId > &evSetPrinter, const StatePropertyManager< LocCandidate, LocalStateInfoId > &candManager)
virtual ostream &	print (ostream &os, const LocalStateInfoId &candId) const
Public Member Functions inherited from Diades::Automata::Experimental::StateInfoManagerPrettyPrinter< LocalCandidate< LocalStateInfoId, EventSetManager< EventInfo, EventId >::EventSet >, LocalStateInfoId >
	StateInfoManagerPrettyPrinter (const StatePropertyManager< LocalCandidate< LocalStateInfoId, EventSetManager< EventInfo, EventId >::EventSet >, LocalStateInfoId > &mgr)
virtual ostream &	print (ostream &os, const LocalStateInfoId &id) const

Private Attributes
const StateInfoManagerPrettyPrinter< LocalStateInfo, LocalStateInfoId > &	_statePrinter
const EventSetManagerPrettyPrinter< EventInfo, EventId > &	_evSetPrinter
const StatePropertyManager< LocCandidate, LocalStateInfoId > &	_candManager

Additional Inherited Members
Protected Attributes inherited from Diades::Automata::Experimental::StateInfoManagerPrettyPrinter< LocalCandidate< LocalStateInfoId, EventSetManager< EventInfo, EventId >::EventSet >, LocalStateInfoId >
const StatePropertyManager< LocalCandidate< LocalStateInfoId, EventSetManager< EventInfo, EventId >::EventSet >, LocalStateInfoId > &	_mgr

Detailed Description

template<typename LocalStateInfo, typename LocalStateInfoId, typename EventInfo, typename EventId>
class Diades::Automata::Experimental::LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventId >

This printer derives from a StateInfoManagerPrettyPrinter and prints LocalCandidate by printing its corresponding LocalStateInof/EventInfo. Correspondances between LocalCandidate and a set of LocalStateInfo/EventInfo is performed by the permanent association with a StateInfoManager for local candidates that provides LocalStateInfoId and EvSet, an EventSetManagerPrettyPrinter for EvSet->EventInfo and a StateInfoManagerPrettyPrinter for LocalStateInfoId->LocalStateInfo. EventInfo/LocalStateInfo is printed out with help of an EventSetManagerPrettyPrinter/ StateInfoManagerPrettyPrinter that requires that EventInfo/LocalStateInfo has operator <<

Definition at line 239 of file Printer.hh.

Member Typedef Documentation

LocCandidate

template<typename LocalStateInfo , typename LocalStateInfoId , typename EventInfo , typename EventId >

_candManager manager for the Diades::Automata::Experimental::LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventId >::LocCandidate

Definition at line 254 of file Printer.hh.

Constructor & Destructor Documentation

LocalCandidatePrettyPrinter()

template<typename LocalStateInfo , typename LocalStateInfoId , typename EventInfo , typename EventId >

Diades::Automata::Experimental::LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventId >::LocalCandidatePrettyPrinter ( const StateInfoManagerPrettyPrinter< LocalStateInfo, LocalStateInfoId > &  statePrinter, const EventSetManagerPrettyPrinter< EventInfo, EventId > &  evSetPrinter, const StatePropertyManager< LocCandidate, LocalStateInfoId > &  candManager  )

inline

Constructor

Parameters

statePrinter	printer for LocalStateInfo (permanent association)
evSetPrinter	printer for set of EventInfo's (permanent association)
candManager	manager for the LocCandidate

Definition at line 279 of file Printer.hh.

Member Function Documentation

print()

template<typename LocalStateInfo , typename LocalStateInfoId , typename EventInfo , typename EventId >

virtual ostream& Diades::Automata::Experimental::LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventId >::print ( ostream &  os, const LocalStateInfoId &  candId  ) const

inlinevirtual

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

Parameters

os	output stream
candId	CandidateId(Object) to print out

Returns

the updated output stream

Definition at line 297 of file Printer.hh.

References Diades::Automata::Experimental::StatePropertyManager< _StateProperty, _StatePropertyId, NullStProperty, NullStPropertyId, Hash >::getStateProperty(), Diades::Automata::Experimental::StateInfoManagerPrettyPrinter< StateInfo, StateInfoId >::print(), and Diades::Automata::Experimental::EventSetManagerPrettyPrinter< EventInfo, EventId >::print().

Member Data Documentation

_candManager

template<typename LocalStateInfo , typename LocalStateInfoId , typename EventInfo , typename EventId >

const StatePropertyManager<LocCandidate,LocalStateInfoId>& Diades::Automata::Experimental::LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventId >::_candManager

private

Definition at line 270 of file Printer.hh.

_evSetPrinter

template<typename LocalStateInfo , typename LocalStateInfoId , typename EventInfo , typename EventId >

const EventSetManagerPrettyPrinter<EventInfo,EventId>& Diades::Automata::Experimental::LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventId >::_evSetPrinter

private

Definition at line 265 of file Printer.hh.

_statePrinter

template<typename LocalStateInfo , typename LocalStateInfoId , typename EventInfo , typename EventId >

const StateInfoManagerPrettyPrinter<LocalStateInfo,LocalStateInfoId>& Diades::Automata::Experimental::LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventId >::_statePrinter

private

Definition at line 261 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