herlihy.h

/*   
 *   File: herlihy.h
 *   Author: Vincent Gramoli <vincent.gramoli@sydney.edu.au>, 
 *  	     Vasileios Trigonakis <vasileios.trigonakis@epfl.ch>
 *   Description: based on Fraser's skiplist, ASCY, and
 *   Herlihy, M., Lev, Y., & Shavit, N. (2011). 
 *   Concurrent lock-free skiplist with wait-free contains operator. 
 *   US Patent 7,937,378, 2(12). 
 *   Retrieved from http://www.google.com/patents/US7937378
 *   herlihy.h is part of ASCYLIB
 *
 * Copyright (c) 2014 Vasileios Trigonakis <vasileios.trigonakis@epfl.ch>,
 * 	     	      Tudor David <tudor.david@epfl.ch>
 *	      	      Distributed Programming Lab (LPD), EPFL
 *
 * ASCYLIB is free software: you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation, version 2
 * of the License.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 */

#include "skiplist.h"
#include "ssalloc.h"

sval_t fraser_find(sl_intset_t *set, skey_t key);
sval_t fraser_remove(sl_intset_t *set, skey_t key);
int fraser_insert(sl_intset_t *set, skey_t key, sval_t val);