CaDiCaL::Bin Struct Reference

#include <bins.hpp>

Public Attributes
int	lit
int64_t	id

Detailed Description

Definition at line 14 of file bins.hpp.

Member Data Documentation

id

int64_t CaDiCaL::Bin::id

Definition at line 16 of file bins.hpp.

lit

int CaDiCaL::Bin::lit

Definition at line 15 of file bins.hpp.

---

The documentation for this struct was generated from the following file:

• src/sat/cadical/bins.hpp