diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 13:13:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 13:13:32 -0700 |
| commit | 5fb7c676c27c689a4a10773c6e4b28af32db3e8b (patch) | |
| tree | deb96623350fe39043dda75d9c2b3b1e29fa5a3b /src/aig/gia/gia.h | |
| parent | bea33c0584cbabbd2577042b479a6488849e2357 (diff) | |
| download | abc-5fb7c676c27c689a4a10773c6e4b28af32db3e8b.tar.gz abc-5fb7c676c27c689a4a10773c6e4b28af32db3e8b.tar.bz2 abc-5fb7c676c27c689a4a10773c6e4b28af32db3e8b.zip | |
Procedure to compute truth tables for POs of GIA.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index e56e88aa..a5c075c3 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -155,6 +155,10 @@ struct Gia_Man_t_ word nHashHit; // hash table hit word nHashMiss; // hash table miss int fVerbose; // verbose reports + Vec_Wrd_t * vTtMemory; // truth table memory + int nTtVars; // truth table variables + int nTtWords; // truth table words + int iTtNum; // truth table current number }; @@ -942,6 +946,7 @@ extern Vec_Int_t * Gia_VtaConvertToGla( Gia_Man_t * p, Vec_Int_t * vVta extern Vec_Int_t * Gia_VtaConvertFromGla( Gia_Man_t * p, Vec_Int_t * vGla, int nFrames ); extern Vec_Int_t * Gia_FlaConvertToGla( Gia_Man_t * p, Vec_Int_t * vFla ); extern Vec_Int_t * Gia_GlaConvertToFla( Gia_Man_t * p, Vec_Int_t * vGla ); +extern unsigned * Gia_ManComputePoTt( Gia_Man_t * p, Gia_Obj_t * pObj ); /*=== giaCTas.c ===========================================================*/ typedef struct Tas_Man_t_ Tas_Man_t; |