spot
2.8.3

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_ 