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

#include <ivy.h>

Collaboration diagram for Ivy_Obj_t_:
Collaboration graph
[legend]

Public Attributes

int Id
 
int TravId
 
unsigned Type: 4
 
unsigned fMarkA: 1
 
unsigned fMarkB: 1
 
unsigned fExFan: 1
 
unsigned fPhase: 1
 
unsigned fFailTfo: 1
 
unsigned Init: 2
 
unsigned Level: 21
 
int nRefs
 
Ivy_Obj_t * pFanin0
 
Ivy_Obj_t * pFanin1
 
Ivy_Obj_t * pFanout
 
Ivy_Obj_t * pNextFan0
 
Ivy_Obj_t * pNextFan1
 
Ivy_Obj_t * pPrevFan0
 
Ivy_Obj_t * pPrevFan1
 
Ivy_Obj_t * pEquiv
 

Detailed Description

Definition at line 73 of file ivy.h.

Member Data Documentation

◆ fExFan

unsigned Ivy_Obj_t_::fExFan

Definition at line 80 of file ivy.h.

◆ fFailTfo

unsigned Ivy_Obj_t_::fFailTfo

Definition at line 82 of file ivy.h.

◆ fMarkA

unsigned Ivy_Obj_t_::fMarkA

Definition at line 78 of file ivy.h.

◆ fMarkB

unsigned Ivy_Obj_t_::fMarkB

Definition at line 79 of file ivy.h.

◆ fPhase

unsigned Ivy_Obj_t_::fPhase

Definition at line 81 of file ivy.h.

◆ Id

int Ivy_Obj_t_::Id

Definition at line 75 of file ivy.h.

◆ Init

unsigned Ivy_Obj_t_::Init

Definition at line 83 of file ivy.h.

◆ Level

unsigned Ivy_Obj_t_::Level

Definition at line 84 of file ivy.h.

◆ nRefs

int Ivy_Obj_t_::nRefs

Definition at line 85 of file ivy.h.

◆ pEquiv

Ivy_Obj_t* Ivy_Obj_t_::pEquiv

Definition at line 93 of file ivy.h.

◆ pFanin0

Ivy_Obj_t* Ivy_Obj_t_::pFanin0

Definition at line 86 of file ivy.h.

◆ pFanin1

Ivy_Obj_t* Ivy_Obj_t_::pFanin1

Definition at line 87 of file ivy.h.

◆ pFanout

Ivy_Obj_t* Ivy_Obj_t_::pFanout

Definition at line 88 of file ivy.h.

◆ pNextFan0

Ivy_Obj_t* Ivy_Obj_t_::pNextFan0

Definition at line 89 of file ivy.h.

◆ pNextFan1

Ivy_Obj_t* Ivy_Obj_t_::pNextFan1

Definition at line 90 of file ivy.h.

◆ pPrevFan0

Ivy_Obj_t* Ivy_Obj_t_::pPrevFan0

Definition at line 91 of file ivy.h.

◆ pPrevFan1

Ivy_Obj_t* Ivy_Obj_t_::pPrevFan1

Definition at line 92 of file ivy.h.

◆ TravId

int Ivy_Obj_t_::TravId

Definition at line 76 of file ivy.h.

◆ Type

unsigned Ivy_Obj_t_::Type

Definition at line 77 of file ivy.h.

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