From 5fb7c676c27c689a4a10773c6e4b28af32db3e8b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jul 2012 13:13:32 -0700 Subject: Procedure to compute truth tables for POs of GIA. --- src/aig/gia/gia.h | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/aig/gia/gia.h') 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; -- cgit v1.2.3