diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-06 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-06 08:01:00 -0700 |
commit | d0e834d1a615f8e0e9d04c2ac97811f63562bd0b (patch) | |
tree | 0973181bfb5ee7d556cc95bd640de16fee771e89 /src/map/mapper/mapperInt.h | |
parent | 888e5bed5d7f56a5d86d91a6e8e88f3e5a3454dc (diff) | |
download | abc-d0e834d1a615f8e0e9d04c2ac97811f63562bd0b.tar.gz abc-d0e834d1a615f8e0e9d04c2ac97811f63562bd0b.tar.bz2 abc-d0e834d1a615f8e0e9d04c2ac97811f63562bd0b.zip |
Version abc50806
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 |