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

#include <checker.hpp>

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

Public Attributes

CheckerClause * next
 
uint64_t hash
 
unsigned size
 
int literals [2]
 

Detailed Description

Definition at line 34 of file checker.hpp.

Member Data Documentation

◆ hash

uint64_t CaDiCaL::CheckerClause::hash

Definition at line 36 of file checker.hpp.

◆ literals

int CaDiCaL::CheckerClause::literals[2]

Definition at line 38 of file checker.hpp.

◆ next

CheckerClause* CaDiCaL::CheckerClause::next

Definition at line 35 of file checker.hpp.

◆ size

unsigned CaDiCaL::CheckerClause::size

Definition at line 37 of file checker.hpp.

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