spot::ec_statistics Class Reference

Emptiness-check statistics. More...

#include <spot/twaalgos/emptiness_stats.hh>

Inheritance diagram for spot::ec_statistics:

Collaboration diagram for spot::ec_statistics:

Public Types
typedef unsigned(unsigned_statistics::*	unsigned_fun) () const
	Function pointer type for unsigned statistics getters. More...
typedef std::map< const char *, unsigned_fun, char_ptr_less_than >	stats_map
	Map from statistic names to getter function pointers. More...

Public Member Functions
void	set_states (unsigned n)
	Set the number of visited states. More...
void	inc_states ()
	Increment the number of visited states. More...
void	inc_transitions ()
	Increment the number of visited transitions. More...
void	inc_depth (unsigned n=1)
	Increase the current DFS depth by n. More...
void	dec_depth (unsigned n=1)
	Decrease the current DFS depth by n. More...
unsigned	states () const
	Return the number of visited states. More...
unsigned	transitions () const
	Return the number of visited transitions. More...
unsigned	max_depth () const
	Return the maximum DFS depth reached. More...
unsigned	depth () const
	Return the current DFS depth. More...
unsigned	get (const char *str) const
	Retrieve a named statistic by its key. More...

Public Attributes
stats_map	stats
	Map of available statistics. More...

Detailed Description

Emptiness-check statistics.

Implementations of spot::emptiness_check may also implement this interface. Try to dynamic_cast the spot::emptiness_check pointer to know whether these statistics are available.

Member Typedef Documentation

stats_map

typedef std::map<const char*, unsigned_fun, char_ptr_less_than> spot::unsigned_statistics::stats_map

inherited

Map from statistic names to getter function pointers.

unsigned_fun

typedef unsigned(unsigned_statistics::* spot::unsigned_statistics::unsigned_fun) () const

inherited

Function pointer type for unsigned statistics getters.

Member Function Documentation

dec_depth()

void spot::ec_statistics::dec_depth ( unsigned  n = 1 )

inline

Decrease the current DFS depth by n.

depth()

unsigned spot::ec_statistics::depth ( ) const

inline

Return the current DFS depth.

get()

unsigned spot::unsigned_statistics::get ( const char *  str ) const

inlineinherited

Retrieve a named statistic by its key.

References spot::unsigned_statistics::stats.

inc_depth()

void spot::ec_statistics::inc_depth ( unsigned  n = 1 )

inline

Increase the current DFS depth by n.

inc_states()

void spot::ec_statistics::inc_states ( )

inline

Increment the number of visited states.

inc_transitions()

void spot::ec_statistics::inc_transitions ( )

inline

Increment the number of visited transitions.

max_depth()

unsigned spot::ec_statistics::max_depth ( ) const

inline

Return the maximum DFS depth reached.

set_states()

void spot::ec_statistics::set_states ( unsigned  n )

inline

Set the number of visited states.

states()

unsigned spot::ec_statistics::states ( ) const

inline

Return the number of visited states.

transitions()

unsigned spot::ec_statistics::transitions ( ) const

inline

Return the number of visited transitions.

Member Data Documentation

stats

stats_map spot::unsigned_statistics::stats

inherited

Map of available statistics.

Referenced by spot::unsigned_statistics::get().

---

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

• spot/twaalgos/emptiness_stats.hh