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