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
An Equivalence Relation for shared_saba_state (shared_ptr<const saba_state*>).
Definition: sabastate.hh:202
SPOT_API SPOT_DEPRECATED const formula * clone(const formula *f) __attribute__((deprecated))
Clone a formula.
Strict Weak Ordering for saba_state*.
Definition: sabastate.hh:95
Hash Function for shared_saba_state (shared_ptr<const saba_state*>).
Definition: sabastate.hh:232
virtual size_t hash() const =0
Hash a state.
Hash Function for saba_state*.
Definition: sabastate.hh:144
virtual int compare(const saba_state *other) const =0
Compares two states (that come from the same automaton).
An Equivalence Relation for saba_state*.
Definition: sabastate.hh:119
Strict Weak Ordering for shared_saba_state (shared_ptr<const saba_state*>).
Definition: sabastate.hh:174
Abstract class for saba states.
Definition: sabastate.hh:33