spot  0.8.2
Private Member Functions | Private Attributes | Friends
spot::state_kripke Class Reference

Concrete class for kripke states. More...

#include <kripke/kripkeexplicit.hh>

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

List of all members.

Private Member Functions

 state_kripke ()
virtual int compare (const state *other) const
 Compare two states.
virtual size_t hash () const
 Hash a state.
virtual state_kripkeclone () const
 Duplicate a state.
void add_conditions (bdd f)
 Add a condition to the conditions already in the state.
void add_succ (state_kripke *succ)
 Add a new successor in the list.
virtual bdd as_bdd () const
virtual void destroy () const
 Release a state.
virtual ~state_kripke ()
const std::list< state_kripke * > & get_succ () const

Private Attributes

bdd bdd_
std::list< state_kripke * > succ_

Friends

class kripke_explicit
class kripke_explicit_succ_iterator

Detailed Description

Concrete class for kripke states.


Constructor & Destructor Documentation

virtual spot::state_kripke::~state_kripke ( ) [inline, private, virtual]

Member Function Documentation

void spot::state_kripke::add_conditions ( bdd  f) [private]

Add a condition to the conditions already in the state.

Parameters:
fThe condition to add.
void spot::state_kripke::add_succ ( state_kripke succ) [private]

Add a new successor in the list.

Parameters:
succThe successor state to add.
virtual bdd spot::state_kripke::as_bdd ( ) const [inline, private, virtual]

References bdd_.

virtual state_kripke* spot::state_kripke::clone ( ) const [private, virtual]

Duplicate a state.

Implements spot::state.

virtual int spot::state_kripke::compare ( const state other) const [private, virtual]

Compare two states.

This method returns an integer less than, equal to, or greater than zero if this is found, respectively, to be less than, equal to, or greater than other according to some implicit total order.

For moment, this method only compare the adress on the heap of the twice pointers.

Implements spot::state.

virtual void spot::state_kripke::destroy ( ) const [inline, private, virtual]

Release a state.

Reimplemented from spot::state.

const std::list<state_kripke*>& spot::state_kripke::get_succ ( ) const [private]
virtual size_t spot::state_kripke::hash ( ) const [private, virtual]

Hash a state.

Implements spot::state.


Friends And Related Function Documentation

friend class kripke_explicit [friend]
friend class kripke_explicit_succ_iterator [friend]

Member Data Documentation

bdd spot::state_kripke::bdd_ [private]

Referenced by as_bdd().

std::list<state_kripke*> spot::state_kripke::succ_ [private]

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 Thu Jan 19 2012 19:33:04 for spot by doxygen 1.7.6.1