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

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:

Go to the source code of this file.

Namespaces

namespace  spot

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_quotient_Dir_Sim = 1, Reduce_transition_Dir_Sim = 2, Reduce_quotient_Del_Sim = 4,
  Reduce_transition_Del_Sim = 8, Reduce_Scc = 16, 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.
direct_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.
delayed_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.
void free_relation_simulation (direct_simulation_relation *rel)
 To free a simulation relation.
void free_relation_simulation (delayed_simulation_relation *rel)
 To free a simulation relation.


Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:55:17 2005 for spot by doxygen 1.4.0