CaDiCaL::proof_clause Struct Reference

#include <elim.hpp>

Collaboration diagram for CaDiCaL::proof_clause:

Public Attributes
int64_t	id
vector< int >	literals
unsigned	cid
bool	learned
vector< int64_t >	chain

Detailed Description

Definition at line 22 of file elim.hpp.

Member Data Documentation

chain

vector<int64_t> CaDiCaL::proof_clause::chain

Definition at line 28 of file elim.hpp.

cid

unsigned CaDiCaL::proof_clause::cid

Definition at line 26 of file elim.hpp.

id

int64_t CaDiCaL::proof_clause::id

Definition at line 23 of file elim.hpp.

learned

bool CaDiCaL::proof_clause::learned

Definition at line 27 of file elim.hpp.

literals

vector<int> CaDiCaL::proof_clause::literals

Definition at line 24 of file elim.hpp.

---

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

• src/sat/cadical/elim.hpp