spot
1.1.4
|
Concrete class for kripke states. More...
#include <kripke/kripkeexplicit.hh>
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_kripke * | clone () 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 |
Concrete class for kripke states.
|
private |
|
inlineprivatevirtual |
|
private |
Add a condition to the conditions already in the state.
f | The condition to add. |
|
private |
Add a new successor in the list.
succ | The successor state to add. |
|
inlineprivatevirtual |
References bdd_.
|
privatevirtual |
Duplicate a state.
Implements spot::state.
|
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.
|
inlineprivatevirtual |
Release a state.
Reimplemented from spot::state.
|
private |
|
privatevirtual |
Hash a state.
Implements spot::state.
|
friend |
|
friend |
|
private |
Referenced by as_bdd().
|
private |