// cl_I hash tables

#ifndef _CL_I_HASH_RCPOINTER_H
#define _CL_I_HASH_RCPOINTER_H

#include "cln/number.h"
#include "cln/integer.h"
#include "cl_hash1.h"

namespace cln {

typedef cl_htentry1<cl_I,cl_rcpointer> cl_htentry_from_integer_to_rcpointer;

typedef cl_heap_hashtable_1<cl_I,cl_rcpointer> cl_heap_hashtable_from_integer_to_rcpointer;

typedef _cl_hashtable_iterator<cl_htentry_from_integer_to_rcpointer> cl_hashtable_from_integer_to_rcpointer_iterator;

struct cl_ht_from_integer_to_rcpointer : public cl_gcpointer {
	// Constructors.
	cl_ht_from_integer_to_rcpointer ();
	cl_ht_from_integer_to_rcpointer (const cl_ht_from_integer_to_rcpointer&);
	// Assignment operators.
	cl_ht_from_integer_to_rcpointer& operator= (const cl_ht_from_integer_to_rcpointer&);
	// Iterator.
	cl_hashtable_from_integer_to_rcpointer_iterator iterator () const
	{ return ((cl_heap_hashtable_from_integer_to_rcpointer*)pointer)->iterator(); }
	// Lookup.
	cl_rcpointer * get (const cl_I& x) const;
	// Store.
	void put (const cl_I& x, const cl_rcpointer& y) const;
};

}  // namespace cln

#endif /* _CL_I_HASH_RCPOINTER_H */