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

tgbaalgos/reductgba_sim.hh File Reference

#include "tgba/tgbareduc.hh"
#include "tgbaalgos/reachiter.hh"
#include <vector>
#include <list>
#include <sstream>

Include dependency graph for reductgba_sim.hh:

Include dependency graph

Go to the source code of this file.

Namespaces

namespace  spot

Classes

class  spot::parity_game_graph
 Parity game graph which compute a simulation relation. More...
class  spot::spoiler_node
 Spoiler node of parity game graph. More...
class  spot::duplicator_node
 Duplicator node of parity game graph. More...
class  spot::parity_game_graph_direct
 Parity game graph which compute the direct simulation relation. More...
class  spot::spoiler_node_delayed
 Spoiler node of parity game graph for delayed simulation. More...
class  spot::duplicator_node_delayed
 Duplicator node of parity game graph for delayed simulation. More...
class  spot::parity_game_graph_delayed

Typedefs

typedef Sgi::vector< spoiler_node * > sn_v
typedef Sgi::vector< duplicator_node * > dn_v
typedef Sgi::vector< const
state * > 
s_v

Enumerations

enum  reduce_tgba_options {
  Reduce_None = 0, Reduce_Dir_Sim = 1, Reduce_Del_Sim = 2, Reduce_Scc = 4,
  Reduce_All = -1U
}
 Options for reduce. More...

Functions

tgba * reduc_tgba_sim (const tgba *a, int opt=Reduce_All)
 Remove some node of the automata using a simulation relation.
simulation_relationget_direct_relation_simulation (const tgba *a, std::ostream &os, int opt=-1)
 Compute a direct simulation relation on state of tgba f.
simulation_relationget_delayed_relation_simulation (const tgba *a, std::ostream &os, int opt=-1)
 Compute a delayed simulation relation on state of tgba f.
void free_relation_simulation (simulation_relation *rel)
 To free a simulation relation.


Typedef Documentation

typedef Sgi::vector<duplicator_node*> spot::dn_v
 

typedef Sgi::vector<const state*> spot::s_v
 

typedef Sgi::vector<spoiler_node*> spot::sn_v
 


Enumeration Type Documentation

enum reduce_tgba_options
 

Options for reduce.

Enumeration values:
Reduce_None  No reduction.
Reduce_Dir_Sim  Reduction using direct simulation relation.
Reduce_Del_Sim  Reduction using delayed simulation relation.
Reduce_Scc  Reduction using SCC.
Reduce_All  All reductions.


Function Documentation

void free_relation_simulation simulation_relation rel  ) 
 

To free a simulation relation.

simulation_relation* get_delayed_relation_simulation const tgba *  a,
std::ostream &  os,
int  opt = -1
 

Compute a delayed simulation relation on state of tgba f.

simulation_relation* get_direct_relation_simulation const tgba *  a,
std::ostream &  os,
int  opt = -1
 

Compute a direct simulation relation on state of tgba f.

tgba* reduc_tgba_sim const tgba *  a,
int  opt = Reduce_All
 

Remove some node of the automata using a simulation relation.

Parameters:
a the automata to reduce.
opt a conjonction of spot::reduce_tgba_options specifying which optimizations to apply.
Returns:
the reduced automata.


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