ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
CaDiCaL::LratCheckerClause Struct Reference

#include <lratchecker.hpp>

Collaboration diagram for CaDiCaL::LratCheckerClause:
Collaboration graph
[legend]

Public Attributes

LratCheckerClause * next
 
uint64_t hash
 
int64_t id
 
bool garbage
 
unsigned size
 
bool used
 
bool tautological
 
int literals [1]
 

Detailed Description

Definition at line 23 of file lratchecker.hpp.

Member Data Documentation

◆ garbage

bool CaDiCaL::LratCheckerClause::garbage

Definition at line 27 of file lratchecker.hpp.

◆ hash

uint64_t CaDiCaL::LratCheckerClause::hash

Definition at line 25 of file lratchecker.hpp.

◆ id

int64_t CaDiCaL::LratCheckerClause::id

Definition at line 26 of file lratchecker.hpp.

◆ literals

int CaDiCaL::LratCheckerClause::literals[1]

Definition at line 31 of file lratchecker.hpp.

◆ next

LratCheckerClause* CaDiCaL::LratCheckerClause::next

Definition at line 24 of file lratchecker.hpp.

◆ size

unsigned CaDiCaL::LratCheckerClause::size

Definition at line 28 of file lratchecker.hpp.

◆ tautological

bool CaDiCaL::LratCheckerClause::tautological

Definition at line 30 of file lratchecker.hpp.

◆ used

bool CaDiCaL::LratCheckerClause::used

Definition at line 29 of file lratchecker.hpp.

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