spot::ec_stats Struct Reference

This structure contains, for each thread, the collected information during the traversal. More...

#include <spot/mc/mc.hh>

Collaboration diagram for spot::ec_stats:

Public Attributes
std::vector< std::string >	name
	The name of the algorithm used. More...
std::vector< unsigned >	walltime
	Walltime for this thread in ms. More...
std::vector< unsigned >	states
	Number of states visited. More...
std::vector< unsigned >	transitions
	Number of transitions visited. More...
std::vector< int >	sccs
	Number of SCCs or -1. More...
std::vector< mc_rvalue >	value
	The return status. More...
std::vector< bool >	finisher
	Is it the finisher thread? More...
std::string	trace
	The output trace. More...

Detailed Description

This structure contains, for each thread, the collected information during the traversal.

Member Data Documentation

finisher

std::vector<bool> spot::ec_stats::finisher

Is it the finisher thread?

name

std::vector<std::string> spot::ec_stats::name

The name of the algorithm used.

sccs

std::vector<int> spot::ec_stats::sccs

Number of SCCs or -1.

states

std::vector<unsigned> spot::ec_stats::states

Number of states visited.

trace

std::string spot::ec_stats::trace

The output trace.

transitions

std::vector<unsigned> spot::ec_stats::transitions

Number of transitions visited.

value

std::vector<mc_rvalue> spot::ec_stats::value

The return status.

walltime

std::vector<unsigned> spot::ec_stats::walltime

Walltime for this thread in ms.

---

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

• spot/mc/mc.hh