spot::twa_sub_statistics Struct Reference

Extended statistics including transition counts for a TωA. More...

#include <spot/twaalgos/stats.hh>

Inheritance diagram for spot::twa_sub_statistics:

Collaboration diagram for spot::twa_sub_statistics:

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

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

Detailed Description

Extended statistics including transition counts for a TωA.

Member Function Documentation

dump()

std::ostream & spot::twa_sub_statistics::dump

(

std::ostream &

out

)

const

Dump statistics to an output stream.

Member Data Documentation

edges

unsigned spot::twa_statistics::edges

inherited

Number of edges in the automaton.

states

unsigned spot::twa_statistics::states

inherited

Number of states in the automaton.

transitions

unsigned long long spot::twa_sub_statistics::transitions

Number of transitions in the automaton.

---

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

• spot/twaalgos/stats.hh