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

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 std::pair< const spot::state *,
const spot::state * > 
state_couple
typedef std::vector< state_couple * > simulation_relation


Typedef Documentation

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

typedef std::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 Wed Jan 25 14:54:55 2006 for spot by doxygen 1.4.0