|
spot
1.2.6
|


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