Llb_Man_t_ Struct Reference

#include <llbInt.h>

Data Fields
Gia_ParLlb_t *	pPars
Aig_Man_t *	pAigGlo
Aig_Man_t *	pAig
DdManager *	dd
DdManager *	ddG
DdManager *	ddR
Vec_Int_t *	vObj2Var
Vec_Int_t *	vVar2Obj
Vec_Ptr_t *	vGroups
Llb_Mtr_t *	pMatrix
Vec_Ptr_t *	vRings
Vec_Int_t *	vVarBegs
Vec_Int_t *	vVarEnds
Vec_Int_t *	vNs2Glo
Vec_Int_t *	vCs2Glo
Vec_Int_t *	vGlo2Cs
Vec_Int_t *	vGlo2Ns

Detailed Description

Definition at line 50 of file llbInt.h.

Field Documentation

DdManager* Llb_Man_t_::dd

Definition at line 55 of file llbInt.h.

DdManager* Llb_Man_t_::ddG

Definition at line 56 of file llbInt.h.

DdManager* Llb_Man_t_::ddR

Definition at line 57 of file llbInt.h.

Aig_Man_t* Llb_Man_t_::pAig

Definition at line 54 of file llbInt.h.

Aig_Man_t* Llb_Man_t_::pAigGlo

Definition at line 53 of file llbInt.h.

Llb_Mtr_t* Llb_Man_t_::pMatrix

Definition at line 61 of file llbInt.h.

Gia_ParLlb_t* Llb_Man_t_::pPars

Definition at line 52 of file llbInt.h.

Vec_Int_t* Llb_Man_t_::vCs2Glo

Definition at line 68 of file llbInt.h.

Vec_Int_t* Llb_Man_t_::vGlo2Cs

Definition at line 69 of file llbInt.h.

Vec_Int_t* Llb_Man_t_::vGlo2Ns

Definition at line 70 of file llbInt.h.

Vec_Ptr_t* Llb_Man_t_::vGroups

Definition at line 60 of file llbInt.h.

Vec_Int_t* Llb_Man_t_::vNs2Glo

Definition at line 67 of file llbInt.h.

Vec_Int_t* Llb_Man_t_::vObj2Var

Definition at line 58 of file llbInt.h.

Vec_Ptr_t* Llb_Man_t_::vRings

Definition at line 63 of file llbInt.h.

Vec_Int_t* Llb_Man_t_::vVar2Obj

Definition at line 59 of file llbInt.h.

Vec_Int_t* Llb_Man_t_::vVarBegs

Definition at line 64 of file llbInt.h.

Vec_Int_t* Llb_Man_t_::vVarEnds

Definition at line 65 of file llbInt.h.

---

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

• llbInt.h