Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

spot::tgba_statistics Struct Reference

#include <stats.hh>

List of all members.

Public Attributes

unsigned transitions
unsigned states


Member Data Documentation

unsigned spot::tgba_statistics::states
 

unsigned spot::tgba_statistics::transitions
 


The documentation for this struct was generated from the following file:
Generated on Mon Mar 8 23:32:12 2004 for spot by doxygen 1.3.5