19 #ifndef SPOT_SABA_SABASTATE_HH
20 # define SPOT_SABA_SABASTATE_HH
24 #include <boost/shared_ptr.hpp>
65 virtual size_t hash()
const = 0;
94 public std::binary_function<const saba_state*, const saba_state*, bool>
100 return left->
compare(right) < 0;
118 public std::binary_function<const saba_state*, const saba_state*, bool>
124 return 0 == left->
compare(right);
143 public std::unary_function<const saba_state*, size_t>
173 public std::binary_function<shared_saba_state,
174 shared_saba_state, bool>
181 return left->compare(right.get()) < 0;
201 public std::binary_function<shared_saba_state,
202 shared_saba_state, bool>
209 return 0 == left->compare(right.get());
231 public std::unary_function<shared_saba_state, size_t>
243 #endif // SPOT_SABA_SABASTATE_HH