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

#include <pdrInt.h>

Collaboration diagram for Pdr_Obl_t_:
Collaboration graph
[legend]

Public Attributes

int iFrame
 
int prio
 
int nRefs
 
Pdr_Set_t * pState
 
Pdr_Obl_t * pNext
 
Pdr_Obl_t * pLink
 

Detailed Description

Definition at line 85 of file pdrInt.h.

Member Data Documentation

◆ iFrame

int Pdr_Obl_t_::iFrame

Definition at line 87 of file pdrInt.h.

◆ nRefs

int Pdr_Obl_t_::nRefs

Definition at line 89 of file pdrInt.h.

◆ pLink

Pdr_Obl_t* Pdr_Obl_t_::pLink

Definition at line 92 of file pdrInt.h.

◆ pNext

Pdr_Obl_t* Pdr_Obl_t_::pNext

Definition at line 91 of file pdrInt.h.

◆ prio

int Pdr_Obl_t_::prio

Definition at line 88 of file pdrInt.h.

◆ pState

Pdr_Set_t* Pdr_Obl_t_::pState

Definition at line 90 of file pdrInt.h.

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