Lpk_Man_t_ Struct Reference

#include <lpkInt.h>

Collaboration diagram for Lpk_Man_t_:
Collaboration graph
[legend]

Data Fields

Lpk_Par_tpPars
Abc_Ntk_tpNtk
Abc_Obj_tpObj
int nMffc
int nCuts
int nCutsMax
int nEvals
Lpk_Cut_t pCuts [LPK_CUTS_MAX]
int pEvals [LPK_CUTS_MAX]
Vec_Vec_tvVisited
If_Man_tpIfMan
Vec_Int_tvCover
Vec_Vec_tvLevels
int fCofactoring
int fCalledOnce
int nCalledSRed
int pRefs [LPK_SIZE_MAX]
int pCands [LPK_SIZE_MAX]
Vec_Ptr_tvLeaves
Vec_Ptr_tvTtElems
Vec_Ptr_tvTtNodes
Vec_Int_tvMemory
Vec_Int_tvBddDir
Vec_Int_tvBddInv
unsigned puSupps [32]
unsigned * ppTruths [5][16]
Vec_Int_tvSets [8]
Kit_DsdMan_tpDsdMan
int nNodesTotal
int nNodesOver
int nCutsTotal
int nCutsUseful
int nGainTotal
int nChanges
int nBenefited
int nMuxes
int nDsds
int nTotalNets
int nTotalNets2
int nTotalNodes
int nTotalNodes2
int nBlocks [17]
int timeCuts
int timeTruth
int timeSupps
int timeTruth2
int timeTruth3
int timeEval
int timeMap
int timeOther
int timeTotal
int timeEvalMuxAn
int timeEvalMuxSp
int timeEvalDsdAn
int timeEvalDsdSp

Detailed Description

Definition at line 67 of file lpkInt.h.


Field Documentation

Definition at line 89 of file lpkInt.h.

Definition at line 88 of file lpkInt.h.

Definition at line 112 of file lpkInt.h.

Definition at line 120 of file lpkInt.h.

Definition at line 90 of file lpkInt.h.

Definition at line 111 of file lpkInt.h.

Definition at line 76 of file lpkInt.h.

Definition at line 77 of file lpkInt.h.

Definition at line 108 of file lpkInt.h.

Definition at line 109 of file lpkInt.h.

Definition at line 114 of file lpkInt.h.

Definition at line 78 of file lpkInt.h.

Definition at line 110 of file lpkInt.h.

Definition at line 75 of file lpkInt.h.

Definition at line 113 of file lpkInt.h.

Definition at line 107 of file lpkInt.h.

Definition at line 106 of file lpkInt.h.

Definition at line 115 of file lpkInt.h.

Definition at line 116 of file lpkInt.h.

Definition at line 117 of file lpkInt.h.

Definition at line 118 of file lpkInt.h.

int Lpk_Man_t_::pCands[LPK_SIZE_MAX]

Definition at line 92 of file lpkInt.h.

Definition at line 79 of file lpkInt.h.

Definition at line 104 of file lpkInt.h.

int Lpk_Man_t_::pEvals[LPK_CUTS_MAX]

Definition at line 80 of file lpkInt.h.

Definition at line 84 of file lpkInt.h.

Definition at line 72 of file lpkInt.h.

Definition at line 73 of file lpkInt.h.

Definition at line 70 of file lpkInt.h.

unsigned* Lpk_Man_t_::ppTruths[5][16]

Definition at line 101 of file lpkInt.h.

int Lpk_Man_t_::pRefs[LPK_SIZE_MAX]

Definition at line 91 of file lpkInt.h.

unsigned Lpk_Man_t_::puSupps[32]

Definition at line 100 of file lpkInt.h.

Definition at line 122 of file lpkInt.h.

Definition at line 127 of file lpkInt.h.

Definition at line 134 of file lpkInt.h.

Definition at line 135 of file lpkInt.h.

Definition at line 132 of file lpkInt.h.

Definition at line 133 of file lpkInt.h.

Definition at line 128 of file lpkInt.h.

Definition at line 129 of file lpkInt.h.

Definition at line 124 of file lpkInt.h.

Definition at line 130 of file lpkInt.h.

Definition at line 123 of file lpkInt.h.

Definition at line 125 of file lpkInt.h.

Definition at line 126 of file lpkInt.h.

Definition at line 98 of file lpkInt.h.

Definition at line 99 of file lpkInt.h.

Definition at line 85 of file lpkInt.h.

Definition at line 93 of file lpkInt.h.

Definition at line 86 of file lpkInt.h.

Definition at line 97 of file lpkInt.h.

Definition at line 103 of file lpkInt.h.

Definition at line 95 of file lpkInt.h.

Definition at line 96 of file lpkInt.h.

Definition at line 82 of file lpkInt.h.


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

Generated on Tue Jan 5 12:19:52 2010 for abc70930 by  doxygen 1.6.1