CaDiCaL::IdrupClause Struct Reference

#include <idruptracer.hpp>

Collaboration diagram for CaDiCaL::IdrupClause:

Public Attributes
IdrupClause *	next
uint64_t	hash
int64_t	id
unsigned	size
int	literals [1]

Detailed Description

Definition at line 12 of file idruptracer.hpp.

Member Data Documentation

hash

uint64_t CaDiCaL::IdrupClause::hash

Definition at line 14 of file idruptracer.hpp.

id

int64_t CaDiCaL::IdrupClause::id

Definition at line 15 of file idruptracer.hpp.

literals

int CaDiCaL::IdrupClause::literals[1]

Definition at line 17 of file idruptracer.hpp.

next

IdrupClause* CaDiCaL::IdrupClause::next

Definition at line 13 of file idruptracer.hpp.

size

unsigned CaDiCaL::IdrupClause::size

Definition at line 16 of file idruptracer.hpp.

---

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

• src/sat/cadical/idruptracer.hpp