ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
reap.hpp
Go to the documentation of this file.
1#ifndef _reap_h_INCLUDED
2#define _reap_h_INCLUDED
3
4#include "global.h"
5
6#include <cstddef>
7#include <vector>
8
10
11class Reap {
12public:
13 Reap ();
14 void init ();
15 void release ();
16 inline bool empty () { return !num_elements; }
17
18 inline size_t size () { return num_elements; }
19
20 void push (unsigned);
21 void clear ();
22 unsigned pop ();
23
24private:
25 size_t num_elements;
26 unsigned last_deleted;
27 unsigned min_bucket;
28 unsigned max_bucket;
29 std::vector<unsigned> buckets[33];
30};
31
33
34#endif
#define ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_END
void init()
unsigned pop()
void push(unsigned)
size_t size()
Definition reap.hpp:18
bool empty()
Definition reap.hpp:16
void release()
void clear()