19 #ifndef SPOT_FASTTGBA_FASTTGBA_STATE_HH
20 # define SPOT_FASTTGBA_FASTTGBA_STATE_HH
22 #include <boost/shared_ptr.hpp>
24 #include "misc/casts.hh"
47 virtual size_t hash()
const = 0;
77 public std::binary_function<const fasttgba_state*,
78 const fasttgba_state*, bool>
84 return 0 == left->
compare(right);
89 public std::unary_function<const fasttgba_state*, size_t>
101 #endif // SPOT_FASTTGBA_FASTTGBA_STATE_HH
This class act as an interface for all classes.
Definition: fasttgba_state.hh:30
virtual int compare(const fasttgba_state *other) const =0
Compares two states (that come from the same automaton).
virtual ~fasttgba_state()
Destructor.
Definition: fasttgba_state.hh:70
Definition: fasttgba_state.hh:76
virtual size_t hash() const =0
Hash a state.
virtual void * external_information() const =0
Definition: fasttgba_state.hh:88
virtual fasttgba_state * clone() const =0
Duplicate a state.
virtual void destroy() const
Release a state.
Definition: fasttgba_state.hh:60