spot::printable_formula Class Reference

A printable wrapper for a formula, for use in format strings. More...

#include <spot/twaalgos/stats.hh>

Inheritance diagram for spot::printable_formula:

Collaboration diagram for spot::printable_formula:

Public Member Functions
printable_formula &	operator= (formula new_val)
	Assign a new formula value. More...
virtual void	print (std::ostream &os, const char *) const override
	Print the formula to an output stream. More...
const formula &	val () const
	Access the stored value. More...
formula &	val ()
	Access the stored value. More...
	operator const formula & () const
	Implicit conversion to the stored value. More...
	operator formula & ()
	Implicit conversion to the stored value. More...

Protected Attributes
formula	val_
	Stored value. More...

Detailed Description

A printable wrapper for a formula, for use in format strings.

Member Function Documentation

operator const formula &()

spot::printable_value< formula >::operator const formula & ( ) const

inlineinherited

Implicit conversion to the stored value.

operator formula &()

spot::printable_value< formula >::operator formula & ( )

inlineinherited

Implicit conversion to the stored value.

operator=()

printable_formula& spot::printable_formula::operator= ( formula  new_val )

inline

Assign a new formula value.

print()

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

overridevirtual

Print the formula to an output stream.

Reimplemented from spot::printable_value< formula >.

val() [1/2]

formula & spot::printable_value< formula >::val ( )

inlineinherited

Access the stored value.

val() [2/2]

const formula & spot::printable_value< formula >::val ( ) const

inlineinherited

Access the stored value.

Member Data Documentation

val_

formula spot::printable_value< formula >::val_

protectedinherited

Stored value.

---

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

• spot/twaalgos/stats.hh