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

#include <xsatClause.h>

Public Attributes

unsigned fLearnt: 1
 
unsigned fMark: 1
 
unsigned fReallocd: 1
 
unsigned fCanBeDel: 1
 
unsigned nLBD: 28
 
int nSize
 
union { 
 
   int   Lit 
 
   unsigned   Act 
 
} pData [0] 
 

Detailed Description

Definition at line 35 of file xsatClause.h.

Member Data Documentation

◆ Act

unsigned xSAT_Clause_t_::Act

Definition at line 45 of file xsatClause.h.

◆ fCanBeDel

unsigned xSAT_Clause_t_::fCanBeDel

Definition at line 40 of file xsatClause.h.

◆ fLearnt

unsigned xSAT_Clause_t_::fLearnt

Definition at line 37 of file xsatClause.h.

◆ fMark

unsigned xSAT_Clause_t_::fMark

Definition at line 38 of file xsatClause.h.

◆ fReallocd

unsigned xSAT_Clause_t_::fReallocd

Definition at line 39 of file xsatClause.h.

◆ Lit

int xSAT_Clause_t_::Lit

Definition at line 44 of file xsatClause.h.

◆ nLBD

unsigned xSAT_Clause_t_::nLBD

Definition at line 41 of file xsatClause.h.

◆ nSize

int xSAT_Clause_t_::nSize

Definition at line 42 of file xsatClause.h.

◆ [union]

union { ... } xSAT_Clause_t_::pData[0]
The documentation for this struct was generated from the following file: