Concrete class for kripke states.
More...
#include <kripke/kripkeexplicit.hh>
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
-
Add a new successor in the list.
- Parameters
-
succ | The successor state to add. |
virtual bdd spot::state_kripke::as_bdd |
( |
| ) |
const |
|
inlineprivatevirtual |
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.
virtual void spot::state_kripke::destroy |
( |
| ) |
const |
|
inlineprivatevirtual |
const std::list<state_kripke*>& spot::state_kripke::get_succ |
( |
| ) |
const |
|
private |
virtual size_t spot::state_kripke::hash |
( |
| ) |
const |
|
privatevirtual |
Friends And Related Function Documentation
Member Data Documentation
bdd spot::state_kripke::bdd_ |
|
private |
The documentation for this class was generated from the following file: