spot  1.0.1
Public Member Functions | Protected Attributes | List of all members
spot::printable_value< T > Class Template Reference

#include <misc/formater.hh>

Inheritance diagram for spot::printable_value< T >:
Inheritance graph
Collaboration diagram for spot::printable_value< T >:
Collaboration graph

Public Member Functions

const T & val () const
T & val ()
 operator const T & () const
 operator T & ()
printable_valueoperator= (const T &new_val)
virtual void print (std::ostream &os, const char *) const

Protected Attributes

val_

Member Function Documentation

template<class T>
spot::printable_value< T >::operator const T & ( ) const
inline
template<class T>
spot::printable_value< T >::operator T & ( )
inline
template<class T>
printable_value& spot::printable_value< T >::operator= ( const T &  new_val)
inline
template<class T>
virtual void spot::printable_value< T >::print ( std::ostream &  os,
const char *   
) const
inlinevirtual

Implements spot::printable.

Reimplemented in spot::printable_formula.

template<class T>
const T& spot::printable_value< T >::val ( ) const
inline
template<class T>
T& spot::printable_value< T >::val ( )
inline

Member Data Documentation

template<class T>
T spot::printable_value< T >::val_
protected

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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:02 for spot by doxygen 1.8.1.2