#ifndef UFIND_H
#define UFIND_H
#include <regions.h>
#include "linkage.h"
#include "bool.h"
EXTERN_C_BEGIN
struct uf_element;
typedef struct uf_element *uf_element;
typedef void *uf_info;
typedef uf_info (*combine_fn_ptr)(uf_info,uf_info);
struct uf_element *new_uf_element(region r,uf_info i);
uf_info uf_get_info(struct uf_element *);
bool uf_unify(combine_fn_ptr,struct uf_element *,struct uf_element *);
bool uf_union(struct uf_element *,struct uf_element *);
bool uf_eq(struct uf_element *,struct uf_element *);
void uf_update(struct uf_element *,uf_info i);
#define DECLARE_UFIND(name,type) \
typedef struct name *name; \
typedef type (* name ## _combine_fn_ptr)(type info1,type info2); \
name new_ ## name(region r, type info); \
type name ## _get_info(name); \
bool name ## _unify(name ## _combine_fn_ptr,name e1, name e2); \
bool name ## _union(name e1, name e2); \
bool name ## _eq(name e1, name e2); \
void name ## _update(name e1, type info);
#define DEFINE_UFIND(name,type) \
name new_ ## name(region r, type info) \
{ \
return (name)new_uf_element(r,info);\
}\
type name ## _get_info(name elem) \
{ \
return (type)uf_get_info((struct uf_element *)elem);\
} \
bool name ## _unify(name ## _combine_fn_ptr cmb,name e1, name e2) \
{ \
return uf_unify((combine_fn_ptr)cmb,(struct uf_element *)e1,(struct uf_element *)e2); \
} \
bool name ## _union(name e1, name e2) \
{ \
return uf_union((struct uf_element *)e1,(struct uf_element *)e2); \
}\
bool name ## _eq(name e1, name e2) \
{ \
return uf_eq((struct uf_element *)e1,(struct uf_element *)e2); \
} \
void name ##_update(name e1, type info) \
{ \
uf_update((struct uf_element *)e1,(uf_info)info); \
} \
EXTERN_C_END
#endif