spot
1.0
|
#include <taalgos/stats.hh>
Public Member Functions | |
std::ostream & | dump (std::ostream &out) const |
Public Attributes | |
unsigned | transitions |
unsigned | states |
unsigned | acceptance_states |
std::ostream& spot::ta_statistics::dump | ( | std::ostream & | out | ) | const |
unsigned spot::ta_statistics::acceptance_states |
unsigned spot::ta_statistics::states |
unsigned spot::ta_statistics::transitions |