Ivy_Obj_t_ Struct Reference

#include <ivy.h>

Collaboration diagram for Ivy_Obj_t_:

[legend]

Data Fields
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 71 of file ivy.h.

---

Field Documentation

unsigned Ivy_Obj_t_::fExFan

Definition at line 78 of file ivy.h.

unsigned Ivy_Obj_t_::fFailTfo

Definition at line 80 of file ivy.h.

unsigned Ivy_Obj_t_::fMarkA

Definition at line 76 of file ivy.h.

unsigned Ivy_Obj_t_::fMarkB

Definition at line 77 of file ivy.h.

unsigned Ivy_Obj_t_::fPhase

Definition at line 79 of file ivy.h.

int Ivy_Obj_t_::Id

Definition at line 73 of file ivy.h.

unsigned Ivy_Obj_t_::Init

Definition at line 81 of file ivy.h.

unsigned Ivy_Obj_t_::Level

Definition at line 82 of file ivy.h.

int Ivy_Obj_t_::nRefs

Definition at line 83 of file ivy.h.

Ivy_Obj_t* Ivy_Obj_t_::pEquiv

Definition at line 91 of file ivy.h.

Ivy_Obj_t* Ivy_Obj_t_::pFanin0

Definition at line 84 of file ivy.h.

Ivy_Obj_t* Ivy_Obj_t_::pFanin1

Definition at line 85 of file ivy.h.

Ivy_Obj_t* Ivy_Obj_t_::pFanout

Definition at line 86 of file ivy.h.

Ivy_Obj_t* Ivy_Obj_t_::pNextFan0

Definition at line 87 of file ivy.h.

Ivy_Obj_t* Ivy_Obj_t_::pNextFan1

Definition at line 88 of file ivy.h.

Ivy_Obj_t* Ivy_Obj_t_::pPrevFan0

Definition at line 89 of file ivy.h.

Ivy_Obj_t* Ivy_Obj_t_::pPrevFan1

Definition at line 90 of file ivy.h.

int Ivy_Obj_t_::TravId

Definition at line 74 of file ivy.h.

unsigned Ivy_Obj_t_::Type

Definition at line 75 of file ivy.h.

---

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

• src/aig/ivy/ivy.h