spot
0.8.3
|
#include "tgba/tgbareduc.hh"
#include "tgbaalgos/reachiter.hh"
#include <vector>
#include <list>
#include <sstream>
Go to the source code of this file.
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 |
Namespaces | |
namespace | spot |
Typedefs | |
typedef std::vector < spoiler_node * > | spot::sn_v |
typedef std::vector < duplicator_node * > | spot::dn_v |
typedef std::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 | |
const 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) |
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. |