spot 2.16
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
spot::printable_value< T > Class Template Reference

A printable wrapper around a value of type T. More...

#include <spot/misc/formater.hh>

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

Public Member Functions

const T & val () const
 Access the stored value.
 
T & val ()
 Access the stored value.
 
 operator const T & () const
 Implicit conversion to the stored value.
 
 operator T& ()
 Implicit conversion to the stored value.
 
printable_valueoperator= (const T &new_val)
 Assign a new value.
 
printable_valueoperator= (T &&new_val)
 Assign a new value.
 
virtual void print (std::ostream &os, const char *) const override
 Print the stored value.
 

Protected Attributes

val_
 Stored value.
 

Detailed Description

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

A printable wrapper around a value of type T.

Member Function Documentation

◆ operator const T &()

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

Implicit conversion to the stored value.

◆ operator T&()

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

Implicit conversion to the stored value.

◆ operator=() [1/2]

template<class T >
printable_value & spot::printable_value< T >::operator= ( const T &  new_val)
inline

Assign a new value.

References spot::printable_value< T >::val_.

◆ operator=() [2/2]

template<class T >
printable_value & spot::printable_value< T >::operator= ( T &&  new_val)
inline

Assign a new value.

References spot::printable_value< T >::val_.

◆ print()

template<class T >
virtual void spot::printable_value< T >::print ( std::ostream &  os,
const char *   
) const
inlineoverridevirtual

Print the stored value.

Implements spot::printable.

Reimplemented in spot::printable_formula.

References spot::printable_value< T >::val_.

◆ val() [1/2]

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

Access the stored value.

References spot::printable_value< T >::val_.

◆ val() [2/2]

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

Member Data Documentation

◆ val_

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

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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.8