spot::spoiler_node_delayed Class Reference
[TGBA simplifications]
Spoiler node of parity game graph for delayed simulation.
More...
#include <tgbaalgos/reductgba_sim.hh>
List of all members.
Detailed Description
Spoiler node of parity game graph for delayed simulation.
Constructor & Destructor Documentation
spot::spoiler_node_delayed::spoiler_node_delayed |
( |
const state * |
d_node, |
|
|
const state * |
s_node, |
|
|
bdd |
a, |
|
|
int |
num | |
|
) |
| | |
spot::spoiler_node_delayed::~spoiler_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::spoiler_node_delayed::compare |
( |
spoiler_node * |
n |
) |
[virtual] |
virtual void spot::spoiler_node::del_pred |
( |
|
) |
[virtual, inherited] |
void spot::spoiler_node::del_succ |
( |
spoiler_node * |
n |
) |
[inherited] |
bdd spot::spoiler_node_delayed::get_acceptance_condition_visited |
( |
|
) |
const |
const state* spot::spoiler_node::get_duplicator_node |
( |
|
) |
[inherited] |
bool spot::spoiler_node_delayed::get_lead_2_acc_all |
( |
|
) |
|
int spot::spoiler_node::get_nb_succ |
( |
|
) |
[inherited] |
int spot::spoiler_node_delayed::get_progress_measure |
( |
|
) |
const |
const state* spot::spoiler_node::get_spoiler_node |
( |
|
) |
[inherited] |
bool spot::spoiler_node::prune |
( |
|
) |
[inherited] |
bool spot::spoiler_node_delayed::set_lead_2_acc_all |
( |
bdd |
acc = bddfalse |
) |
|
bool spot::spoiler_node_delayed::set_win |
( |
|
) |
[virtual] |
virtual std::string spot::spoiler_node::succ_to_string |
( |
|
) |
[virtual, inherited] |
virtual std::string spot::spoiler_node_delayed::to_string |
( |
const tgba * |
a |
) |
[virtual] |
Member Data Documentation
a Bdd for retain all the acceptance condition that a node has visited.
The documentation for this class was generated from the following file: