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

tgba/tgbareduc.hh File Reference

#include "tgbaexplicit.hh"
#include "tgbaalgos/reachiter.hh"
#include "tgbaalgos/gtec/explscc.hh"
#include "tgbaalgos/gtec/status.hh"
#include <list>

Include dependency graph for tgbareduc.hh:

Include dependency graph

This graph shows which files directly or indirectly include this file:

Included by dependency graph

Go to the source code of this file.

Namespaces

namespace  spot

Classes

class  spot::tgba_reduc

Typedefs

typedef Sgi::pair< const spot::state *,
const spot::state * > 
state_couple
typedef Sgi::vector< state_couple * > simulation_relation


Typedef Documentation

typedef Sgi::vector<state_couple*> spot::simulation_relation
 

typedef Sgi::pair<const spot::state*, const spot::state*> spot::state_couple
 


Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Aug 13 14:43:01 2004 for spot by doxygen 1.3.8