#ifndef SOLVESPACE_PARAM_H

#define SOLVESPACE_PARAM_H

#include <cstdint>

#include <unordered_set>

#include "handle.h"

namespace SolveSpace {

class hRequest;

class hParam {

};

template<>

struct IsHandleOracle<hParam> : std::true_type {};

class Param {

};

template<class T, class H> class IdList;

using ParamList = IdList<Param, hParam>;

using ParamSet = std::unordered_set<hParam, HandleHasher<hParam>>;

} // namespace SolveSpace

#endif // !SOLVESPACE_PARAM_H