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