Fraig_NodeStruct_t_ Struct Reference

#include <fraigInt.h>

Data Fields
int	Num
int	NumPi
int	Level
int	nRefs
int	TravId
int	TravId2
unsigned	fInv: 1
unsigned	fNodePo: 1
unsigned	fClauses: 1
unsigned	fMark0: 1
unsigned	fMark1: 1
unsigned	fMark2: 1
unsigned	fMark3: 1
unsigned	fFeedUse: 1
unsigned	fFeedVal: 1
unsigned	fFailTfo: 1
unsigned	nFanouts: 2
unsigned	nOnes: 20
Fraig_Node_t *	p1
Fraig_Node_t *	p2
Fraig_NodeVec_t *	vFanins
Fraig_Node_t *	pNextS
Fraig_Node_t *	pNextF
Fraig_Node_t *	pNextD
Fraig_Node_t *	pNextE
Fraig_Node_t *	pRepr
unsigned	uHashR
unsigned	uHashD
unsigned *	puSimR
unsigned *	puSimD
Fraig_Node_t *	pData0
Fraig_Node_t *	pData1
Fraig_Node_t *	pFanPivot
Fraig_Node_t *	pFanFanin1
Fraig_Node_t *	pFanFanin2

Detailed Description

Definition at line 207 of file fraigInt.h.

Field Documentation

unsigned Fraig_NodeStruct_t_::fClauses

Definition at line 220 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fFailTfo

Definition at line 227 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fFeedUse

Definition at line 225 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fFeedVal

Definition at line 226 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fInv

Definition at line 218 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fMark0

Definition at line 221 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fMark1

Definition at line 222 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fMark2

Definition at line 223 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fMark3

Definition at line 224 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fNodePo

Definition at line 219 of file fraigInt.h.

int Fraig_NodeStruct_t_::Level

Definition at line 212 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::nFanouts

Definition at line 228 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::nOnes

Definition at line 229 of file fraigInt.h.

int Fraig_NodeStruct_t_::nRefs

Definition at line 213 of file fraigInt.h.

int Fraig_NodeStruct_t_::Num

Definition at line 210 of file fraigInt.h.

int Fraig_NodeStruct_t_::NumPi

Definition at line 211 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::p1

Definition at line 232 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::p2

Definition at line 233 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pData0

Definition at line 251 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pData1

Definition at line 252 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pFanFanin1

Definition at line 257 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pFanFanin2

Definition at line 258 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pFanPivot

Definition at line 256 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pNextD

Definition at line 240 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pNextE

Definition at line 241 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pNextF

Definition at line 239 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pNextS

Definition at line 238 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pRepr

Definition at line 242 of file fraigInt.h.

unsigned* Fraig_NodeStruct_t_::puSimD

Definition at line 248 of file fraigInt.h.

unsigned* Fraig_NodeStruct_t_::puSimR

Definition at line 247 of file fraigInt.h.

int Fraig_NodeStruct_t_::TravId

Definition at line 214 of file fraigInt.h.

int Fraig_NodeStruct_t_::TravId2

Definition at line 215 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::uHashD

Definition at line 246 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::uHashR

Definition at line 245 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_NodeStruct_t_::vFanins

Definition at line 234 of file fraigInt.h.

---

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

• fraigInt.h