CaDiCaL::LidrupClause Struct Reference

#include <lidruptracer.hpp>

Collaboration diagram for CaDiCaL::LidrupClause:

Public Attributes
LidrupClause *	next
uint64_t	hash
int64_t	id
std::vector< int64_t >	chain
std::vector< int >	literals

Detailed Description

Definition at line 12 of file lidruptracer.hpp.

Member Data Documentation

chain

std::vector<int64_t> CaDiCaL::LidrupClause::chain

Definition at line 16 of file lidruptracer.hpp.

hash

uint64_t CaDiCaL::LidrupClause::hash

Definition at line 14 of file lidruptracer.hpp.

id

int64_t CaDiCaL::LidrupClause::id

Definition at line 15 of file lidruptracer.hpp.

literals

std::vector<int> CaDiCaL::LidrupClause::literals

Definition at line 17 of file lidruptracer.hpp.

next

LidrupClause* CaDiCaL::LidrupClause::next

Definition at line 13 of file lidruptracer.hpp.

---

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

• src/sat/cadical/lidruptracer.hpp