Pdr_Set_t_ Struct Reference

#include <pdrInt.h>

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

Detailed Description

Definition at line 45 of file pdrInt.h.

Field Documentation

int Pdr_Set_t_::Lits[0]

Definition at line 51 of file pdrInt.h.

int Pdr_Set_t_::nLits

Definition at line 50 of file pdrInt.h.

int Pdr_Set_t_::nRefs

Definition at line 48 of file pdrInt.h.

int Pdr_Set_t_::nTotal

Definition at line 49 of file pdrInt.h.

word Pdr_Set_t_::Sign

Definition at line 47 of file pdrInt.h.

---

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

• pdrInt.h