ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Pdr_Set_t_ Struct Reference

#include <pdrInt.h>

Public Attributes

word Sign
 
int nRefs
 
int nTotal
 
int nLits
 
int Lits [0]
 

Detailed Description

Definition at line 75 of file pdrInt.h.

Member Data Documentation

◆ Lits

int Pdr_Set_t_::Lits[0]

Definition at line 81 of file pdrInt.h.

◆ nLits

int Pdr_Set_t_::nLits

Definition at line 80 of file pdrInt.h.

◆ nRefs

int Pdr_Set_t_::nRefs

Definition at line 78 of file pdrInt.h.

◆ nTotal

int Pdr_Set_t_::nTotal

Definition at line 79 of file pdrInt.h.

◆ Sign

word Pdr_Set_t_::Sign

Definition at line 77 of file pdrInt.h.


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