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

tgbareduc.hh File Reference

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

Include dependency graph for tgbareduc.hh:

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

Go to the source code of this file.

Namespaces

namespace  spot

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 Mon Jan 31 12:55:05 2005 for spot by doxygen 1.4.0