|
abc-master
|
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] |
| abctime | timeCanon |
| abctime | timeSupp |
| abctime | timeTable |
| int | nCellFound |
| int | nCellNotFound |
Definition at line 52 of file cutPre22.c.
| int Cut_CMan_t_::nCellFound |
Definition at line 75 of file cutPre22.c.
| int Cut_CMan_t_::nCellNotFound |
Definition at line 76 of file cutPre22.c.
| int Cut_CMan_t_::nGood |
Definition at line 68 of file cutPre22.c.
| int Cut_CMan_t_::nSymGroups[CUT_CELL_MVAR+1] |
Definition at line 70 of file cutPre22.c.
| int Cut_CMan_t_::nSymGroupsE[CUT_CELL_MVAR+1] |
Definition at line 71 of file cutPre22.c.
| int Cut_CMan_t_::nTotal |
Definition at line 67 of file cutPre22.c.
| int Cut_CMan_t_::nVarCounts[CUT_CELL_MVAR+1] |
Definition at line 69 of file cutPre22.c.
| Extra_MmFixed_t* Cut_CMan_t_::pMem |
Definition at line 55 of file cutPre22.c.
| Cut_Cell_t* Cut_CMan_t_::pSameVar[CUT_CELL_MVAR+1] |
Definition at line 57 of file cutPre22.c.
| unsigned Cut_CMan_t_::puAux[1<<(CUT_CELL_MVAR-5)] |
Definition at line 65 of file cutPre22.c.
| abctime Cut_CMan_t_::timeCanon |
Definition at line 72 of file cutPre22.c.
| abctime Cut_CMan_t_::timeSupp |
Definition at line 73 of file cutPre22.c.
| abctime Cut_CMan_t_::timeTable |
Definition at line 74 of file cutPre22.c.
| st__table* Cut_CMan_t_::tTable |
Definition at line 56 of file cutPre22.c.
| unsigned Cut_CMan_t_::uFinal[1<<(CUT_CELL_MVAR-5)] |
Definition at line 64 of file cutPre22.c.
| unsigned Cut_CMan_t_::uInputs[CUT_CELL_MVAR][1<<(CUT_CELL_MVAR-5)] |
Definition at line 59 of file cutPre22.c.
| unsigned Cut_CMan_t_::uTemp1[22][1<<(CUT_CELL_MVAR-5)] |
Definition at line 61 of file cutPre22.c.
| unsigned Cut_CMan_t_::uTemp2[22][1<<(CUT_CELL_MVAR-5)] |
Definition at line 62 of file cutPre22.c.
| unsigned Cut_CMan_t_::uTemp3[22][1<<(CUT_CELL_MVAR-5)] |
Definition at line 63 of file cutPre22.c.