spot::tgba_statistics Struct Reference
[Miscellaneous algorithms on TGBA]

#include <tgbaalgos/stats.hh>

List of all members.

Public Member Functions

std::ostream & dump (std::ostream &out) const

Public Attributes

unsigned transitions
unsigned states

Member Function Documentation

std::ostream& spot::tgba_statistics::dump ( std::ostream &  out  )  const

Member Data Documentation


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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Apr 16 09:43:55 2010 for spot by doxygen 1.6.3