Public Member Functions | Public Attributes

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 Tue Feb 1 2011 12:00:54 for spot by doxygen 1.7.1