20 #ifndef SPOT_SABA_SABASTATE_HH
21 # define SPOT_SABA_SABASTATE_HH
23 #include "misc/common.hh"
26 #include <boost/shared_ptr.hpp>
46 virtual int compare(
const saba_state* other)
const = 0;
67 virtual size_t hash()
const = 0;
76 virtual bdd acceptance_conditions()
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>
158 typedef boost::shared_ptr<const saba_state> shared_saba_state;
175 public std::binary_function<shared_saba_state,
176 shared_saba_state, bool>
179 operator()(shared_saba_state left,
180 shared_saba_state right)
const
183 return left->compare(right.get()) < 0;
203 public std::binary_function<shared_saba_state,
204 shared_saba_state, bool>
207 operator()(shared_saba_state left,
208 shared_saba_state right)
const
211 return 0 == left->compare(right.get());
233 public std::unary_function<shared_saba_state, size_t>
236 operator()(shared_saba_state that)
const
245 #endif // SPOT_SABA_SABASTATE_HH