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
9
ABC_NAMESPACE_CXX_HEADER_START
10
11
class
Reap
{
12
public
:
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
24
private
:
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
32
ABC_NAMESPACE_CXX_HEADER_END
33
34
#endif
ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_START
Definition
abc_namespaces.h:52
ABC_NAMESPACE_CXX_HEADER_END
#define ABC_NAMESPACE_CXX_HEADER_END
Definition
abc_namespaces.h:53
global.h
Reap::init
void init()
Definition
cadical_reap.cpp:19
Reap::Reap
Reap()
Definition
cadical_reap.cpp:35
Reap::pop
unsigned pop()
Definition
cadical_reap.cpp:59
Reap::push
void push(unsigned)
Definition
cadical_reap.cpp:46
Reap::size
size_t size()
Definition
reap.hpp:18
Reap::empty
bool empty()
Definition
reap.hpp:16
Reap::release
void release()
Definition
cadical_reap.cpp:28
Reap::clear
void clear()
Definition
cadical_reap.cpp:132
src
sat
cadical
reap.hpp
Generated by Doxygen 1.13.2 © 2025 EPTansuo. All rights reserved.
鲁ICP备2021046540号