|
spot
2.3.3.dev
|


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