FxuLit Struct Reference

#include <fxuInt.h>

Collaboration diagram for FxuLit:

[legend]

Data Fields
int	iVar
int	iCube
Fxu_Cube *	pCube
Fxu_Var *	pVar
Fxu_Lit *	pHPrev
Fxu_Lit *	pHNext
Fxu_Lit *	pVPrev
Fxu_Lit *	pVNext

---

Detailed Description

Definition at line 223 of file fxuInt.h.

---

Field Documentation

int FxuLit::iCube

Definition at line 226 of file fxuInt.h.

int FxuLit::iVar

Definition at line 225 of file fxuInt.h.

Fxu_Cube* FxuLit::pCube

Definition at line 227 of file fxuInt.h.

Fxu_Lit* FxuLit::pHNext

Definition at line 230 of file fxuInt.h.

Fxu_Lit* FxuLit::pHPrev

Definition at line 229 of file fxuInt.h.

Fxu_Var* FxuLit::pVar

Definition at line 228 of file fxuInt.h.

Fxu_Lit* FxuLit::pVNext

Definition at line 232 of file fxuInt.h.

Fxu_Lit* FxuLit::pVPrev

Definition at line 231 of file fxuInt.h.

---

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

• src/opt/fxu/fxuInt.h