diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-29 00:48:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-29 00:48:56 -0700 |
| commit | 30d1f192a7f147cb85eee23da85efe00bf8e8d99 (patch) | |
| tree | 6648da8631bfee253a6b4c13d3735a35c005be25 /src/aig/gia/gia.h | |
| parent | 9f46984c0747e83b345213eca117caf9b9ba59c0 (diff) | |
| download | abc-30d1f192a7f147cb85eee23da85efe00bf8e8d99.tar.gz abc-30d1f192a7f147cb85eee23da85efe00bf8e8d99.tar.bz2 abc-30d1f192a7f147cb85eee23da85efe00bf8e8d99.zip | |
Experiments with support minimization.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 5e89e89a..f8e36a4f 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1470,6 +1470,10 @@ typedef struct Gia_ManMin_t_ Gia_ManMin_t; extern Gia_ManMin_t * Gia_ManSuppStart( Gia_Man_t * pGia ); extern void Gia_ManSuppStop( Gia_ManMin_t * p ); extern int Gia_ManSupportAnd( Gia_ManMin_t * p, int iLit0, int iLit1 ); +typedef struct Gia_Man2Min_t_ Gia_Man2Min_t; +extern Gia_Man2Min_t * Gia_Man2SuppStart( Gia_Man_t * pGia ); +extern void Gia_Man2SuppStop( Gia_Man2Min_t * p ); +extern int Gia_Man2SupportAnd( Gia_Man2Min_t * p, int iLit0, int iLit1 ); /*=== giaSweep.c ============================================================*/ extern Gia_Man_t * Gia_ManFraigSweepSimple( Gia_Man_t * p, void * pPars ); extern Gia_Man_t * Gia_ManSweepWithBoxes( Gia_Man_t * p, void * pParsC, void * pParsS, int fConst, int fEquiv, int fVerbose, int fVerbEquivs ); |