src/brains/SkipList.hpp

#ifndef __SKIPLIST_H__
#define __SKIPLIST_H__

#include <set>
#include <utility>


class SkipList{
  
 public:

  ~SkipList();
   
  void addAtom(int i);
  int  hasAtom(int i);
  void printMe( void );
  int  getSize( void );  
  static SkipList* Instance();
 
 protected:

   std::set<int> skipSet;
  SkipList();

 private:
  static SkipList* _instance;  

};     

#endif // __SKIPLIST_H__
Revision:	1826
Committed:	Thu Dec 2 05:04:20 2004 UTC (19 years, 7 months ago) by tim
File size:	392 byte(s)
Log Message:	adding qulified name prefix std
#	Content
1	#ifndef __SKIPLIST_H__
2	#define __SKIPLIST_H__
3
4	#include <set>
5	#include <utility>
6
7
8
9	class SkipList{
10
11	public:
12
13	~SkipList();
14
15	void addAtom(int i);
16	int hasAtom(int i);
17	void printMe( void );
18	int getSize( void );
19	static SkipList* Instance();
20
21	protected:
22
23	std::set<int> skipSet;
24	SkipList();
25
26	private:
27	static SkipList* _instance;
28
29	};
30
31	#endif // __SKIPLIST_H__