|
spot
1.2.6
|


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_ |
1.8.4