Ivy_Man_t_ Struct Reference

#include <ivy.h>

Collaboration diagram for Ivy_Man_t_:

[legend]

Data Fields
Vec_Ptr_t *	vPis
Vec_Ptr_t *	vPos
Vec_Ptr_t *	vBufs
Vec_Ptr_t *	vObjs
Ivy_Obj_t *	pConst1
Ivy_Obj_t	Ghost
int	nObjs [IVY_VOID]
int	nCreated
int	nDeleted
int *	pTable
int	nTableSize
int	fCatchExor
int	nTravIds
int	nLevelMax
Vec_Int_t *	vRequired
int	fFanout
void *	pData
void *	pCopy
Ivy_Man_t *	pHaig
int	nClassesSkip
Vec_Ptr_t *	vChunks
Vec_Ptr_t *	vPages
Ivy_Obj_t *	pListFree
int	time1
int	time2

---

Detailed Description

Definition at line 95 of file ivy.h.

---

Field Documentation

int Ivy_Man_t_::fCatchExor

Definition at line 112 of file ivy.h.

int Ivy_Man_t_::fFanout

Definition at line 116 of file ivy.h.

Ivy_Obj_t Ivy_Man_t_::Ghost

Definition at line 103 of file ivy.h.

int Ivy_Man_t_::nClassesSkip

Definition at line 120 of file ivy.h.

int Ivy_Man_t_::nCreated

Definition at line 106 of file ivy.h.

int Ivy_Man_t_::nDeleted

Definition at line 107 of file ivy.h.

int Ivy_Man_t_::nLevelMax

Definition at line 114 of file ivy.h.

int Ivy_Man_t_::nObjs[IVY_VOID]

Definition at line 105 of file ivy.h.

int Ivy_Man_t_::nTableSize

Definition at line 110 of file ivy.h.

int Ivy_Man_t_::nTravIds

Definition at line 113 of file ivy.h.

Ivy_Obj_t* Ivy_Man_t_::pConst1

Definition at line 102 of file ivy.h.

void* Ivy_Man_t_::pCopy

Definition at line 118 of file ivy.h.

void* Ivy_Man_t_::pData

Definition at line 117 of file ivy.h.

Ivy_Man_t* Ivy_Man_t_::pHaig

Definition at line 119 of file ivy.h.

Ivy_Obj_t* Ivy_Man_t_::pListFree

Definition at line 124 of file ivy.h.

int* Ivy_Man_t_::pTable

Definition at line 109 of file ivy.h.

int Ivy_Man_t_::time1

Definition at line 126 of file ivy.h.

int Ivy_Man_t_::time2

Definition at line 127 of file ivy.h.

Vec_Ptr_t* Ivy_Man_t_::vBufs

Definition at line 100 of file ivy.h.

Vec_Ptr_t* Ivy_Man_t_::vChunks

Definition at line 122 of file ivy.h.

Vec_Ptr_t* Ivy_Man_t_::vObjs

Definition at line 101 of file ivy.h.

Vec_Ptr_t* Ivy_Man_t_::vPages

Definition at line 123 of file ivy.h.

Vec_Ptr_t* Ivy_Man_t_::vPis

Definition at line 98 of file ivy.h.

Vec_Ptr_t* Ivy_Man_t_::vPos

Definition at line 99 of file ivy.h.

Vec_Int_t* Ivy_Man_t_::vRequired

Definition at line 115 of file ivy.h.

---

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

• src/aig/ivy/ivy.h