24 #ifndef SPOT_TGBA_STATE_HH
25 # define SPOT_TGBA_STATE_HH
31 #include <boost/shared_ptr.hpp>
73 virtual size_t hash()
const = 0;
115 public std::binary_function<const state*, const state*, bool>
121 return left->
compare(right) < 0;
139 public std::binary_function<const state*, const state*, bool>
145 return 0 == left->
compare(right);
164 public std::unary_function<const state*, size_t>
195 public std::binary_function<shared_state,
203 return left->compare(right.get()) < 0;
223 public std::binary_function<shared_state,
231 return 0 == left->compare(right.get());
252 public std::unary_function<shared_state, size_t>
264 #endif // SPOT_TGBA_STATE_HH