ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
bins.hpp
Go to the documentation of this file.
1#ifndef _bins_hpp_INCLUDED
2#define _bins_hpp_INCLUDED
3
4#include "global.h"
5
6#include "util.hpp" // Alphabetically after 'bins'.
7
9
10namespace CaDiCaL {
11
12using namespace std;
13
14struct Bin {
15 int lit;
16 int64_t id;
17};
18
20
21inline void shrink_bins (Bins &bs) { shrink_vector (bs); }
22inline void erase_bins (Bins &bs) { erase_vector (bs); }
23
24} // namespace CaDiCaL
25
27
28#endif
#define ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_END
vector< Bin > Bins
Definition bins.hpp:19
void shrink_vector(std::vector< T > &v)
Definition util.hpp:101
void shrink_bins(Bins &bs)
Definition bins.hpp:21
void erase_vector(std::vector< T > &v)
Definition util.hpp:90
void erase_bins(Bins &bs)
Definition bins.hpp:22
int64_t id
Definition bins.hpp:16