23 #ifndef SPOT_TGBA_STATEBDD_HH
24 # define SPOT_TGBA_STATEBDD_HH
48 virtual int compare(
const state* other)
const;
49 virtual size_t hash()
const;
57 #endif // SPOT_TGBA_STATEBDD_HH
bdd state_
BDD representation of the state.
Definition: statebdd.hh:53
Abstract class for states.
Definition: state.hh:40
SPOT_API SPOT_DEPRECATED const formula * clone(const formula *f) __attribute__((deprecated))
Clone a formula.
virtual bdd as_bdd() const
Return the BDD part of the state.
Definition: statebdd.hh:43
Definition: statebdd.hh:33