CaDiCaL::sweep_blocked_clause Struct Reference

#include <sweep.hpp>

Collaboration diagram for CaDiCaL::sweep_blocked_clause:

Public Attributes
int	blit
int64_t	id
vector< int >	literals

Detailed Description

Definition at line 21 of file sweep.hpp.

Member Data Documentation

blit

int CaDiCaL::sweep_blocked_clause::blit

Definition at line 22 of file sweep.hpp.

id

int64_t CaDiCaL::sweep_blocked_clause::id

Definition at line 23 of file sweep.hpp.

literals

vector<int> CaDiCaL::sweep_blocked_clause::literals

Definition at line 24 of file sweep.hpp.

---

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

• src/sat/cadical/sweep.hpp