Diades::Automata::Experimental::StateInfoManagerPrettyPrinter< StateInfo, StateInfoId > Class Template Reference

#include <Printer.hh>

Public Member Functions
	StateInfoManagerPrettyPrinter (const StatePropertyManager< StateInfo, StateInfoId > &mgr)
virtual ostream &	print (ostream &os, const StateInfoId &id) const
Public Member Functions inherited from Diades::Automata::Experimental::Printer< StateInfoId >
virtual ostream &	print (ostream &os, const StateInfoId &object) const=0

Protected Attributes
const StatePropertyManager< StateInfo, StateInfoId > &	_mgr

Additional Inherited Members
Public Types inherited from Diades::Automata::Experimental::Printer< StateInfoId >
using	Object = StateInfoId

Detailed Description

template<typename StateInfo, typename StateInfoId>
class Diades::Automata::Experimental::StateInfoManagerPrettyPrinter< StateInfo, StateInfoId >

This printer prints the StateInfo of any StateInfoId associated with a given StateInfoManager for that StateInfoId. It requires that StateInfo has the operator <<

Definition at line 125 of file Printer.hh.

Constructor & Destructor Documentation

StateInfoManagerPrettyPrinter()

template<typename StateInfo, typename StateInfoId>

Diades::Automata::Experimental::StateInfoManagerPrettyPrinter< StateInfo, StateInfoId >::StateInfoManagerPrettyPrinter ( const StatePropertyManager< StateInfo, StateInfoId > &  mgr )

inline

Cosntructor

Parameters

mgr	the StateInfoManager that will be permanently associated with the Printer

Definition at line 141 of file Printer.hh.

Member Function Documentation

print()

template<typename StateInfo, typename StateInfoId>

virtual ostream& Diades::Automata::Experimental::StateInfoManagerPrettyPrinter< StateInfo, StateInfoId >::print ( ostream &  os, const StateInfoId &  id  ) const

inlinevirtual

Print the given StateInfoId in the given output stream using the << operator of StateInfo that is associated with id in the associated manager

Parameters

os	output stream
id	the StateInfoId(Object) to print out

Returns

the updated output stream

Definition at line 153 of file Printer.hh.

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

Member Data Documentation

_mgr

template<typename StateInfo, typename StateInfoId>

const StatePropertyManager<StateInfo,StateInfoId>& Diades::Automata::Experimental::StateInfoManagerPrettyPrinter< StateInfo, StateInfoId >::_mgr

protected

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