#ifndef SOVLESPACE_HANDLE_H

#define SOVLESPACE_HANDLE_H

#include <functional>

#include <type_traits>

namespace SolveSpace {

template<class T>

struct IsHandleOracle : std::false_type {};

template<class T>

static inline typename std::enable_if<IsHandleOracle<T>::value, bool>::type

operator==(T const &lhs, T const &rhs) {

return lhs.v == rhs.v;

}

template<class T>

static inline typename std::enable_if<IsHandleOracle<T>::value, bool>::type

operator!=(T const &lhs, T const &rhs) {

return !(lhs == rhs);

}

template<class T>

static inline typename std::enable_if<IsHandleOracle<T>::value, bool>::type

operator<(T const &lhs, T const &rhs) {

return lhs.v < rhs.v;

}

template<class T>

struct HandleHasher {

};

} // namespace SolveSpace

#endif // !SOVLESPACE_HANDLE_H