#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. |