spot
1.0.1
|
#include <misc/formater.hh>
Public Member Functions | |
const T & | val () const |
T & | val () |
operator const T & () const | |
operator T & () | |
printable_value & | operator= (const T &new_val) |
virtual void | print (std::ostream &os, const char *) const |
Protected Attributes | |
T | val_ |
|
inline |
|
inline |
|
inline |
|
inlinevirtual |
Implements spot::printable.
Reimplemented in spot::printable_formula.
|
inline |
|
inline |
|
protected |