spot::spoiler_node_delayed Class Reference
[TGBA simplifications]

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

#include <tgbaalgos/reductgba_sim.hh>

Inheritance diagram for spot::spoiler_node_delayed:

[legend]Collaboration diagram for spot::spoiler_node_delayed:

[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 state *	get_spoiler_node ()
const state *	get_duplicator_node ()
state_couple *	get_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_v *	lnode_succ
sn_v *	lnode_pred
state_couple *	sc_

---

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

bool spot::spoiler_node_delayed::set_win

(

)

[virtual]

Return true if the progress_measure has changed.

Reimplemented from spot::spoiler_node.

bdd spot::spoiler_node_delayed::get_acceptance_condition_visited

(

)

const

virtual bool spot::spoiler_node_delayed::compare

(

spoiler_node *

n

)

[virtual]

Reimplemented from spot::spoiler_node.

virtual std::string spot::spoiler_node_delayed::to_string

(

const tgba *

a

)

[virtual]

Reimplemented from spot::spoiler_node.

int spot::spoiler_node_delayed::get_progress_measure

(

)

const

bool spot::spoiler_node_delayed::get_lead_2_acc_all

(

)

bool spot::spoiler_node_delayed::set_lead_2_acc_all

(

bdd

acc = bddfalse

)

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.

void spot::spoiler_node::del_succ

(

spoiler_node *

n

)

[inherited]

virtual void spot::spoiler_node::add_pred

(

spoiler_node *

n

)

[virtual, inherited]

virtual void spot::spoiler_node::del_pred

(

)

[virtual, inherited]

int spot::spoiler_node::get_nb_succ

(

)

[inherited]

bool spot::spoiler_node::prune

(

)

[inherited]

virtual std::string spot::spoiler_node::succ_to_string

(

)

[virtual, inherited]

const state* spot::spoiler_node::get_spoiler_node

(

)

[inherited]

const state* spot::spoiler_node::get_duplicator_node

(

)

[inherited]

state_couple* spot::spoiler_node::get_pair

(

)

[inherited]

---

Member Data Documentation

bool spot::spoiler_node_delayed::seen_

bdd spot::spoiler_node_delayed::acceptance_condition_visited_ [protected]

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

int spot::spoiler_node_delayed::progress_measure_ [protected]

bool spot::spoiler_node_delayed::lead_2_acc_all_ [protected]

bool spot::spoiler_node::not_win [inherited]

int spot::spoiler_node::num_ [inherited]

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

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

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

---

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

• tgbaalgos/reductgba_sim.hh

---

Please comment this page and report errors about it on the RefDocComments page.