Fraig_NodeStruct_t_ Struct Reference

#include <fraigInt.h>

Collaboration diagram for Fraig_NodeStruct_t_:

[legend]

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 228 of file fraigInt.h.

---

Field Documentation

unsigned Fraig_NodeStruct_t_::fClauses

Definition at line 241 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fFailTfo

Definition at line 248 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fFeedUse

Definition at line 246 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fFeedVal

Definition at line 247 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fInv

Definition at line 239 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fMark0

Definition at line 242 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fMark1

Definition at line 243 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fMark2

Definition at line 244 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fMark3

Definition at line 245 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::fNodePo

Definition at line 240 of file fraigInt.h.

int Fraig_NodeStruct_t_::Level

Definition at line 233 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::nFanouts

Definition at line 249 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::nOnes

Definition at line 250 of file fraigInt.h.

int Fraig_NodeStruct_t_::nRefs

Definition at line 234 of file fraigInt.h.

int Fraig_NodeStruct_t_::Num

Definition at line 231 of file fraigInt.h.

int Fraig_NodeStruct_t_::NumPi

Definition at line 232 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::p1

Definition at line 253 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::p2

Definition at line 254 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pData0

Definition at line 272 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pData1

Definition at line 273 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pFanFanin1

Definition at line 278 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pFanFanin2

Definition at line 279 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pFanPivot

Definition at line 277 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pNextD

Definition at line 261 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pNextE

Definition at line 262 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pNextF

Definition at line 260 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pNextS

Definition at line 259 of file fraigInt.h.

Fraig_Node_t* Fraig_NodeStruct_t_::pRepr

Definition at line 263 of file fraigInt.h.

unsigned* Fraig_NodeStruct_t_::puSimD

Definition at line 269 of file fraigInt.h.

unsigned* Fraig_NodeStruct_t_::puSimR

Definition at line 268 of file fraigInt.h.

int Fraig_NodeStruct_t_::TravId

Definition at line 235 of file fraigInt.h.

int Fraig_NodeStruct_t_::TravId2

Definition at line 236 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::uHashD

Definition at line 267 of file fraigInt.h.

unsigned Fraig_NodeStruct_t_::uHashR

Definition at line 266 of file fraigInt.h.

Fraig_NodeVec_t* Fraig_NodeStruct_t_::vFanins

Definition at line 255 of file fraigInt.h.

---

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

• src/sat/fraig/fraigInt.h