diff options
Diffstat (limited to 'src/map/mapper/mapperInt.h')
| -rw-r--r-- | src/map/mapper/mapperInt.h | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/map/mapper/mapperInt.h b/src/map/mapper/mapperInt.h index c5ecce73..d4262abb 100644 --- a/src/map/mapper/mapperInt.h +++ b/src/map/mapper/mapperInt.h @@ -121,6 +121,7 @@ struct Map_ManStruct_t_ unsigned uTruthsLarge[10][32]; // the elementary truth tables int nCounts[32]; // the counter of minterms int nCountsBest[32];// the counter of minterms + Map_NodeVec_t * vVisited; // the visited cuts during cut computation // simulation info from the FRAIG manager int nSimRounds; // the number of words in the simulation info @@ -262,13 +263,7 @@ struct Map_CutStruct_t_ char nVolume; // the volume of this cut char fMark; // the mark to denote visited cut char Phase; // the mark to denote complemented cut -// float fLevel; // the average level of the fanins - - unsigned uTruthTemp[2]; // the temporary truth table used to derive other cuts - unsigned uTruthZero[2]; // the temporary truth table used to derive other cuts - unsigned uTruthDc[2]; // the don't-cares (SDCs) computed for this cut - - Map_Match_t M[2]; // the matches for the positive/negative phase + Map_Match_t M[2]; // the matches for positive/negative phase }; // the supergate internally represented |