spot::duplicator_node_delayed Class Reference
[TGBA simplifications]
Duplicator node of parity game graph for delayed simulation.
More...
#include <tgbaalgos/reductgba_sim.hh>
List of all members.
Detailed Description
Duplicator node of parity game graph for delayed simulation.
Constructor & Destructor Documentation
spot::duplicator_node_delayed::duplicator_node_delayed |
( |
const state * |
d_node, |
|
|
const state * |
s_node, |
|
|
bdd |
l, |
|
|
bdd |
a, |
|
|
int |
num | |
|
) |
| | |
spot::duplicator_node_delayed::~duplicator_node_delayed |
( |
|
) |
|
Member Function Documentation
virtual void spot::spoiler_node::add_pred |
( |
spoiler_node * |
n |
) |
[virtual, inherited] |
bool spot::spoiler_node::add_succ |
( |
spoiler_node * |
n |
) |
[inherited] |
Add a successor. Return true if n wasn't yet in the list of successor, false eitherwise.
virtual bool spot::duplicator_node::compare |
( |
spoiler_node * |
n |
) |
[virtual, inherited] |
virtual void spot::spoiler_node::del_pred |
( |
|
) |
[virtual, inherited] |
void spot::spoiler_node::del_succ |
( |
spoiler_node * |
n |
) |
[inherited] |
bdd spot::duplicator_node::get_acc |
( |
|
) |
const [inherited] |
const state* spot::spoiler_node::get_duplicator_node |
( |
|
) |
[inherited] |
bdd spot::duplicator_node::get_label |
( |
|
) |
const [inherited] |
bool spot::duplicator_node_delayed::get_lead_2_acc_all |
( |
|
) |
|
int spot::spoiler_node::get_nb_succ |
( |
|
) |
[inherited] |
int spot::duplicator_node_delayed::get_progress_measure |
( |
|
) |
|
const state* spot::spoiler_node::get_spoiler_node |
( |
|
) |
[inherited] |
bool spot::duplicator_node::implies |
( |
bdd |
l, |
|
|
bdd |
a | |
|
) |
| | [inherited] |
bool spot::duplicator_node_delayed::implies_acc |
( |
bdd |
a |
) |
|
bool spot::duplicator_node_delayed::implies_label |
( |
bdd |
l |
) |
|
bool spot::duplicator_node::match |
( |
bdd |
l, |
|
|
bdd |
a | |
|
) |
| | [inherited] |
bool spot::spoiler_node::prune |
( |
|
) |
[inherited] |
bool spot::duplicator_node_delayed::set_lead_2_acc_all |
( |
bdd |
acc = bddfalse |
) |
|
bool spot::duplicator_node_delayed::set_win |
( |
|
) |
[virtual] |
virtual std::string spot::spoiler_node::succ_to_string |
( |
|
) |
[virtual, inherited] |
virtual std::string spot::duplicator_node_delayed::to_string |
( |
const tgba * |
a |
) |
[virtual] |
Member Data Documentation
The documentation for this class was generated from the following file: