spot::printable_acc_cond Class Reference

A printable wrapper for an acceptance condition, for use in format strings. More...

#include <spot/twaalgos/stats.hh>

Inheritance diagram for spot::printable_acc_cond:

Collaboration diagram for spot::printable_acc_cond:

Public Member Functions
printable_acc_cond &	operator= (const acc_cond &new_val)
	Assign a new acceptance condition value. More...
void	print (std::ostream &os, const char *pos) const override
	Print the acceptance condition to an output stream. More...

Detailed Description

A printable wrapper for an acceptance condition, for use in format strings.

Member Function Documentation

operator=()

printable_acc_cond& spot::printable_acc_cond::operator= ( const acc_cond &  new_val )

inline

Assign a new acceptance condition value.

print()

void spot::printable_acc_cond::print ( std::ostream &  os, const char *  pos  ) const

overridevirtual

Print the acceptance condition to an output stream.

Implements spot::printable.

---

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

• spot/twaalgos/stats.hh