23 #ifndef SPOT_TGBA_STATE_HH
24 # define SPOT_TGBA_STATE_HH
30 #include <boost/shared_ptr.hpp>
72 virtual size_t hash()
const = 0;
114 public std::binary_function<const state*, const state*, bool>
120 return left->
compare(right) < 0;
138 public std::binary_function<const state*, const state*, bool>
144 return 0 == left->
compare(right);
163 public std::unary_function<const state*, size_t>
194 public std::binary_function<shared_state,
202 return left->compare(right.get()) < 0;
222 public std::binary_function<shared_state,
230 return 0 == left->compare(right.get());
251 public std::unary_function<shared_state, size_t>
263 #endif // SPOT_TGBA_STATE_HH