spot::twa_statistics Struct Reference

Basic statistics (states and edges counts) for a TωA. More...

#include <spot/twaalgos/stats.hh>

Inheritance diagram for spot::twa_statistics:

Collaboration diagram for spot::twa_statistics:

Public Member Functions
std::ostream &	dump (std::ostream &out) const
	Dump statistics to an output stream.

Public Attributes
unsigned	edges
	Number of edges in the automaton.
unsigned	states
	Number of states in the automaton.

Detailed Description

Basic statistics (states and edges counts) for a TωA.

Member Function Documentation

dump()

std::ostream & spot::twa_statistics::dump

(

std::ostream &

out

)

const

Dump statistics to an output stream.

Member Data Documentation

edges

unsigned spot::twa_statistics::edges

Number of edges in the automaton.

states

unsigned spot::twa_statistics::states

Number of states in the automaton.

---

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

• spot/twaalgos/stats.hh