spot::printable_formula Class Reference

Inheritance diagram for spot::printable_formula:

Collaboration diagram for spot::printable_formula:

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_

Member Function Documentation

print()

virtual void spot::printable_formula::print ( std::ostream &  os, const char *    ) const

overridevirtual

Reimplemented from spot::printable_value< formula >.

---

The documentation for this class was generated from the following file:

• spot/twaalgos/stats.hh