spot  0.8.1
Public Member Functions | Public Attributes | Protected Attributes
spot::spoiler_node_delayed Class Reference

Spoiler node of parity game graph for delayed simulation. More...

#include <tgbaalgos/reductgba_sim.hh>

Inheritance diagram for spot::spoiler_node_delayed:
Inheritance graph
[legend]
Collaboration diagram for spot::spoiler_node_delayed:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 spoiler_node_delayed (const state *d_node, const state *s_node, bdd a, int num)
 ~spoiler_node_delayed ()
bool set_win ()
 Return true if the progress_measure has changed.
bdd get_acceptance_condition_visited () const
virtual bool compare (spoiler_node *n)
virtual std::string to_string (const tgba *a)
int get_progress_measure () const
bool get_lead_2_acc_all ()
bool set_lead_2_acc_all (bdd acc=bddfalse)
bool add_succ (spoiler_node *n)
 Add a successor. Return true if n wasn't yet in the list of successor, false eitherwise.
void del_succ (spoiler_node *n)
virtual void add_pred (spoiler_node *n)
virtual void del_pred ()
int get_nb_succ ()
bool prune ()
virtual std::string succ_to_string ()
const stateget_spoiler_node ()
const stateget_duplicator_node ()
state_coupleget_pair ()

Public Attributes

bool seen_
bool not_win
int num_

Protected Attributes

bdd acceptance_condition_visited_
int progress_measure_
bool lead_2_acc_all_
sn_vlnode_succ
sn_vlnode_pred
state_couplesc_

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 
)

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]

Reimplemented from spot::spoiler_node.

virtual void spot::spoiler_node::del_pred ( ) [virtual, inherited]
void spot::spoiler_node::del_succ ( spoiler_node n) [inherited]
int spot::spoiler_node::get_nb_succ ( ) [inherited]
bool spot::spoiler_node::prune ( ) [inherited]
bool spot::spoiler_node_delayed::set_lead_2_acc_all ( bdd  acc = bddfalse)

Return true if the progress_measure has changed.

Reimplemented from spot::spoiler_node.

virtual std::string spot::spoiler_node::succ_to_string ( ) [virtual, inherited]
virtual std::string spot::spoiler_node_delayed::to_string ( const tgba a) [virtual]

Reimplemented from spot::spoiler_node.


Member Data Documentation

a Bdd for retain all the acceptance condition that a node has visited.

sn_v* spot::spoiler_node::lnode_pred [protected, inherited]
sn_v* spot::spoiler_node::lnode_succ [protected, inherited]
bool spot::spoiler_node::not_win [inherited]
int spot::spoiler_node::num_ [inherited]
state_couple* spot::spoiler_node::sc_ [protected, inherited]

The documentation for this class was generated from the following file:

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:16 for spot by doxygen 1.7.6.1