bins_8hpp_source.html

#ifndef _bins_hpp_INCLUDED

#define _bins_hpp_INCLUDED


#include "global.h"


#include "util.hpp" // Alphabetically after 'bins'.


ABC_NAMESPACE_CXX_HEADER_START


namespace CaDiCaL {


using namespace std;


struct Bin {

  int lit;

  int64_t id;

};


typedef vector<Bin> Bins;


inline void shrink_bins (Bins &bs) { shrink_vector (bs); }

inline void erase_bins (Bins &bs) { erase_vector (bs); }


} // namespace CaDiCaL


ABC_NAMESPACE_CXX_HEADER_END


#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

CaDiCaL
Definition arena.hpp:8

CaDiCaL::Bins
vector< Bin > Bins
Definition bins.hpp:19

CaDiCaL::shrink_vector
void shrink_vector(std::vector< T > &v)
Definition util.hpp:101

CaDiCaL::shrink_bins
void shrink_bins(Bins &bs)
Definition bins.hpp:21

CaDiCaL::erase_vector
void erase_vector(std::vector< T > &v)
Definition util.hpp:90

CaDiCaL::erase_bins
void erase_bins(Bins &bs)
Definition bins.hpp:22

CaDiCaL::Bin
Definition bins.hpp:14

CaDiCaL::Bin::lit
int lit
Definition bins.hpp:15

CaDiCaL::Bin::id
int64_t id
Definition bins.hpp:16

vector
Definition vector.h:32

util.hpp