20 #ifndef SPOT_SABA_EXPLICITSTATECONJUNCTION_HH
21 # define SPOT_SABA_EXPLICITSTATECONJUNCTION_HH
23 #include "misc/common.hh"
24 #include "misc/hash.hh"
25 #include "sabasucciter.hh"
49 virtual bool done()
const;
69 typedef Sgi::hash_set<shared_saba_state,
72 saba_state_set_t set_;
73 saba_state_set_t::iterator it_;
78 #endif // SPOT_SABA_EXPLICITSTATECONJUNCTION_HH
An Equivalence Relation for shared_saba_state (shared_ptr<const saba_state*>).
Definition: sabastate.hh:202
Abstract class for states.
Definition: state.hh:40
SPOT_API SPOT_DEPRECATED const formula * clone(const formula *f) __attribute__((deprecated))
Clone a formula.
Hash Function for shared_saba_state (shared_ptr<const saba_state*>).
Definition: sabastate.hh:232
Abstract class for saba states.
Definition: sabastate.hh:33
Basic implementation of saba_state_conjunction.
Definition: explicitstateconjunction.hh:34
Iterate over a conjunction of saba_state.
Definition: sabasucciter.hh:32