spot::spoiler_node Class Reference
[TGBA simplifications]

Spoiler node of parity game graph. More...

#include <tgbaalgos/reductgba_sim.hh>

Inheritance diagram for spot::spoiler_node:

Inheritance graph
[legend]
List of all members.

Public Member Functions

 spoiler_node (const state *d_node, const state *s_node, int num)
virtual ~spoiler_node ()
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 bool set_win ()
virtual std::string to_string (const tgba *a)
virtual std::string succ_to_string ()
virtual bool compare (spoiler_node *n)
const stateget_spoiler_node ()
const stateget_duplicator_node ()
state_coupleget_pair ()

Public Attributes

bool not_win
int num_

Protected Attributes

sn_vlnode_succ
sn_vlnode_pred
state_couplesc_

Detailed Description

Spoiler node of parity game graph.


Constructor & Destructor Documentation

spot::spoiler_node::spoiler_node ( const state d_node,
const state s_node,
int  num 
)

virtual spot::spoiler_node::~spoiler_node (  )  [virtual]


Member Function Documentation

bool spot::spoiler_node::add_succ ( spoiler_node n  ) 

Add a successor. Return true if n wasn't yet in the list of successor, false eitherwise.

void spot::spoiler_node::del_succ ( spoiler_node n  ) 

virtual void spot::spoiler_node::add_pred ( spoiler_node n  )  [virtual]

virtual void spot::spoiler_node::del_pred (  )  [virtual]

int spot::spoiler_node::get_nb_succ (  ) 

bool spot::spoiler_node::prune (  ) 

virtual bool spot::spoiler_node::set_win (  )  [virtual]

Reimplemented in spot::duplicator_node, spot::spoiler_node_delayed, and spot::duplicator_node_delayed.

virtual std::string spot::spoiler_node::to_string ( const tgba a  )  [virtual]

Reimplemented in spot::duplicator_node, spot::spoiler_node_delayed, and spot::duplicator_node_delayed.

virtual std::string spot::spoiler_node::succ_to_string (  )  [virtual]

virtual bool spot::spoiler_node::compare ( spoiler_node n  )  [virtual]

Reimplemented in spot::duplicator_node, and spot::spoiler_node_delayed.

const state* spot::spoiler_node::get_spoiler_node (  ) 

const state* spot::spoiler_node::get_duplicator_node (  ) 

state_couple* spot::spoiler_node::get_pair (  ) 


Member Data Documentation

bool spot::spoiler_node::not_win

int spot::spoiler_node::num_

sn_v* spot::spoiler_node::lnode_succ [protected]

sn_v* spot::spoiler_node::lnode_pred [protected]

state_couple* spot::spoiler_node::sc_ [protected]


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 Tue Jul 17 15:14:53 2007 for spot by doxygen 1.5.2