spot
1.0
|
#include <tgbaalgos/stats.hh>
Public Member Functions | |
printable_formula & | operator= (const ltl::formula *new_val) |
virtual void | print (std::ostream &os, const char *) const |
const const ltl::formula *& | val () const |
const ltl::formula *& | val () |
operator const const ltl::formula *& () const | |
operator const ltl::formula *& () |
Protected Attributes | |
const ltl::formula * | val_ |
|
inlineinherited |
|
inlineinherited |
|
inline |
|
virtual |
Reimplemented from spot::printable_value< const ltl::formula * >.
|
inlineinherited |
References spot::printable_value< T >::val_.
|
inlineinherited |
References spot::printable_value< T >::val_.
|
protectedinherited |
Referenced by operator=().