diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 12:34:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 12:34:59 -0700 |
| commit | 5838789ee7d7e1b9bbfdf091e33f6749a9b1286f (patch) | |
| tree | c83f51ecbbc981b1f658ad8aeeaa2c58f36c0ed0 /src/aig/gia/gia.h | |
| parent | 8a2d237f788d7650694efa5dead2cb09a75010ee (diff) | |
| download | abc-5838789ee7d7e1b9bbfdf091e33f6749a9b1286f.tar.gz abc-5838789ee7d7e1b9bbfdf091e33f6749a9b1286f.tar.bz2 abc-5838789ee7d7e1b9bbfdf091e33f6749a9b1286f.zip | |
Scalable gate-level abstraction.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index b3a8fdc1..6abda070 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -128,6 +128,7 @@ struct Gia_Man_t_ Vec_Int_t * vFanoutNums; // static fanout Vec_Int_t * vFanout; // static fanout int * pMapping; // mapping for each node + Vec_Int_t * vMapping; Vec_Int_t * vLutConfigs; // LUT configurations Abc_Cex_t * pCexComb; // combinational counter-example Abc_Cex_t * pCexSeq; // sequential counter-example @@ -718,6 +719,7 @@ 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 ); /*=== giaAbsGla.c ===========================================================*/ extern int Gia_GlaPerform( Gia_Man_t * p, Gia_ParVta_t * pPars, int fStartVta ); +extern int Ga2_ManPerform( Gia_Man_t * p, Gia_ParVta_t * pPars ); /*=== giaAbsVta.c ===========================================================*/ extern void Gia_VtaSetDefaultParams( Gia_ParVta_t * p ); extern int Gia_VtaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars ); |