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