spot
1.99.4
|
Public Member Functions | |
printable_formula & | operator= (spot::formula new_val) |
virtual void | print (std::ostream &os, const char *) const |
const spot::formula & | val () const |
spot::formula & | val () |
operator const spot::formula & () const | |
operator spot::formula & () | |
Protected Attributes | |
spot::formula | val_ |