Data Fields | |
Extra_MmFixed_t * | pMem |
st_table * | tTable |
Cut_Cell_t * | pSameVar [CUT_CELL_MVAR+1] |
unsigned | uInputs [CUT_CELL_MVAR][1<<(CUT_CELL_MVAR-5)] |
unsigned | uTemp1 [22][1<<(CUT_CELL_MVAR-5)] |
unsigned | uTemp2 [22][1<<(CUT_CELL_MVAR-5)] |
unsigned | uTemp3 [22][1<<(CUT_CELL_MVAR-5)] |
unsigned | uFinal [1<<(CUT_CELL_MVAR-5)] |
unsigned | puAux [1<<(CUT_CELL_MVAR-5)] |
int | nTotal |
int | nGood |
int | nVarCounts [CUT_CELL_MVAR+1] |
int | nSymGroups [CUT_CELL_MVAR+1] |
int | nSymGroupsE [CUT_CELL_MVAR+1] |
int | timeCanon |
int | timeSupp |
int | timeTable |
int | nCellFound |
int | nCellNotFound |
Definition at line 49 of file cutPre22.c.
Definition at line 72 of file cutPre22.c.
Definition at line 73 of file cutPre22.c.
Definition at line 65 of file cutPre22.c.
int Cut_CMan_t_::nSymGroups[CUT_CELL_MVAR+1] |
Definition at line 67 of file cutPre22.c.
int Cut_CMan_t_::nSymGroupsE[CUT_CELL_MVAR+1] |
Definition at line 68 of file cutPre22.c.
Definition at line 64 of file cutPre22.c.
int Cut_CMan_t_::nVarCounts[CUT_CELL_MVAR+1] |
Definition at line 66 of file cutPre22.c.
Definition at line 52 of file cutPre22.c.
Cut_Cell_t* Cut_CMan_t_::pSameVar[CUT_CELL_MVAR+1] |
Definition at line 54 of file cutPre22.c.
unsigned Cut_CMan_t_::puAux[1<<(CUT_CELL_MVAR-5)] |
Definition at line 62 of file cutPre22.c.
Definition at line 69 of file cutPre22.c.
Definition at line 70 of file cutPre22.c.
Definition at line 71 of file cutPre22.c.
Definition at line 53 of file cutPre22.c.
unsigned Cut_CMan_t_::uFinal[1<<(CUT_CELL_MVAR-5)] |
Definition at line 61 of file cutPre22.c.
unsigned Cut_CMan_t_::uInputs[CUT_CELL_MVAR][1<<(CUT_CELL_MVAR-5)] |
Definition at line 56 of file cutPre22.c.
unsigned Cut_CMan_t_::uTemp1[22][1<<(CUT_CELL_MVAR-5)] |
Definition at line 58 of file cutPre22.c.
unsigned Cut_CMan_t_::uTemp2[22][1<<(CUT_CELL_MVAR-5)] |
Definition at line 59 of file cutPre22.c.
unsigned Cut_CMan_t_::uTemp3[22][1<<(CUT_CELL_MVAR-5)] |
Definition at line 60 of file cutPre22.c.