|
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 * > | spot::sn_v |
typedef Sgi::vector< duplicator_node * > | spot::dn_v |
typedef Sgi::vector< const
state * > | spot::s_v |
Enumerations |
enum | spot::reduce_tgba_options {
spot::Reduce_None = 0,
spot::Reduce_quotient_Dir_Sim = 1,
spot::Reduce_transition_Dir_Sim = 2,
spot::Reduce_quotient_Del_Sim = 4,
spot::Reduce_transition_Del_Sim = 8,
spot::Reduce_Scc = 16,
spot::Reduce_All = -1U
} |
| Options for reduce. More...
|
Functions |
tgba * | spot::reduc_tgba_sim (const tgba *a, int opt=Reduce_All) |
| Remove some node of the automata using a simulation relation.
|
direct_simulation_relation * | spot::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 * | spot::get_delayed_relation_simulation (const tgba *a, std::ostream &os, int opt=-1) |
| Compute a delayed simulation relation on state of tgba f.
|
void | spot::free_relation_simulation (direct_simulation_relation *rel) |
| To free a simulation relation.
|
void | spot::free_relation_simulation (delayed_simulation_relation *rel) |
| To free a simulation relation.
|