22 #ifndef SPOT_TGBA_STATE_HH
23 # define SPOT_TGBA_STATE_HH
29 #include <boost/shared_ptr.hpp>
71 virtual size_t hash()
const = 0;
113 public std::binary_function<const state*, const state*, bool>
119 return left->
compare(right) < 0;
137 public std::binary_function<const state*, const state*, bool>
143 return 0 == left->
compare(right);
162 public std::unary_function<const state*, size_t>
193 public std::binary_function<shared_state,
201 return left->compare(right.get()) < 0;
221 public std::binary_function<shared_state,
229 return 0 == left->compare(right.get());
250 public std::unary_function<shared_state, size_t>
262 #endif // SPOT_TGBA_STATE_HH