spot  1.1.3
Private Member Functions | Private Attributes | Friends | List of all members
spot::state_kripke Class Reference

Concrete class for kripke states. More...

#include <kripke/kripkeexplicit.hh>

Inheritance diagram for spot::state_kripke:
Inheritance graph
Collaboration diagram for spot::state_kripke:
Collaboration graph

Private Member Functions

 state_kripke ()
 
virtual int compare (const state *other) const
 Compare two states. More...
 
virtual size_t hash () const
 Hash a state. More...
 
virtual state_kripkeclone () const
 Duplicate a state. More...
 
void add_conditions (bdd f)
 Add a condition to the conditions already in the state. More...
 
void add_succ (state_kripke *succ)
 Add a new successor in the list. More...
 
virtual bdd as_bdd () const
 
virtual void destroy () const
 Release a state. More...
 
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

spot::state_kripke::state_kripke ( )
private
virtual spot::state_kripke::~state_kripke ( )
inlineprivatevirtual

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
inlineprivatevirtual

References bdd_.

virtual state_kripke* spot::state_kripke::clone ( ) const
privatevirtual

Duplicate a state.

Implements spot::state.

virtual int spot::state_kripke::compare ( const state other) const
privatevirtual

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
inlineprivatevirtual

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
privatevirtual

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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jul 9 2013 14:04:33 for spot by doxygen 1.8.4