From 13d3fd69bc37eb35ccbb6122522c7848a7234245 Mon Sep 17 00:00:00 2001
From: Mendes Oulamara <oulamara@clipper.ens.fr>
Date: Wed, 4 Dec 2013 16:47:33 +0100
Subject: Add heuritic to bitsets

---
 sets.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sets.h')

diff --git a/sets.h b/sets.h
index ebbed20..cbb37b8 100644
--- a/sets.h
+++ b/sets.h
@@ -60,6 +60,7 @@ bool set_mem(int x, const set s);
 bool sets_equal(const set a, const set b);
 
 int elt_of_set(const set s);
+int elt_of_set_heur(const set s, int h);
 
 set set_add(int x, const set s);
 void set_add_ip(int x, set s);
-- 
cgit v1.2.3