21 #ifndef SPOT_SABA_SABASTATE_HH
22 # define SPOT_SABA_SABASTATE_HH
26 #include <boost/shared_ptr.hpp>
67 virtual size_t hash()
const = 0;
96 public std::binary_function<const saba_state*, const saba_state*, bool>
102 return left->
compare(right) < 0;
120 public std::binary_function<const saba_state*, const saba_state*, bool>
126 return 0 == left->
compare(right);
145 public std::unary_function<const saba_state*, size_t>
175 public std::binary_function<shared_saba_state,
176 shared_saba_state, bool>
183 return left->compare(right.get()) < 0;
203 public std::binary_function<shared_saba_state,
204 shared_saba_state, bool>
211 return 0 == left->compare(right.get());
233 public std::unary_function<shared_saba_state, size_t>
245 #endif // SPOT_SABA_SABASTATE_HH