From 11f09faf92b4b915316be0e5640e2e0e8cd806c8 Mon Sep 17 00:00:00 2001
From: Alex Auvolat--bernstein <auvolat@clipper.ens.fr>
Date: Wed, 4 Dec 2013 17:35:16 +0100
Subject: Added heuristic.

---
 set_bitsets.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'set_bitsets.c')

diff --git a/set_bitsets.c b/set_bitsets.c
index fda7085..7eddcfd 100644
--- a/set_bitsets.c
+++ b/set_bitsets.c
@@ -138,8 +138,8 @@ int elt_of_set(const set s){
 int elt_of_set_heur(const set s, int h){
     int N=nbCells(s.N), i;
 
-    if(s.tab[h/SCOD]>>(h%SCOD+1) !=0)
-	return h + dyadic_val(s.tab[h/SCOD]>>(h%SCOD+1)) + 1;
+    if(s.tab[h/SCOD]>>(h%SCOD) !=0)
+	return h + dyadic_val(s.tab[h/SCOD]>>(h%SCOD)) ;
 
     for(i=0; i<N; i++)
 	if(s.tab[(i+h/SCOD+1)%N] != 0)
-- 
cgit v1.2.3