diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 12:20:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-13 12:20:53 -0700 |
| commit | 118e40b809712c88fe7ddc530a8b072c1d2649d3 (patch) | |
| tree | 9ce56adf29a84bd464dfe97ff783127bab962240 /src/map/mpm/mpmMig.h | |
| parent | 167340527b4ecaae20bb6340b5432f15789c5322 (diff) | |
| download | abc-118e40b809712c88fe7ddc530a8b072c1d2649d3.tar.gz abc-118e40b809712c88fe7ddc530a8b072c1d2649d3.tar.bz2 abc-118e40b809712c88fe7ddc530a8b072c1d2649d3.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmMig.h')
| -rw-r--r-- | src/map/mpm/mpmMig.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/map/mpm/mpmMig.h b/src/map/mpm/mpmMig.h index 7968e38b..1acbac8f 100644 --- a/src/map/mpm/mpmMig.h +++ b/src/map/mpm/mpmMig.h @@ -342,7 +342,9 @@ static inline int Mig_ManAppendMaj( Mig_Man_t * p, int iLit0, int iLit1, int iLi extern Mig_Man_t * Mig_ManStart(); extern void Mig_ManStop( Mig_Man_t * p ); extern void Mig_ManSetRefs( Mig_Man_t * p, int fSkipCos ); - +extern int Mig_ManAndNum( Mig_Man_t * p ); +extern int Mig_ManXorNum( Mig_Man_t * p ); +extern int Mig_ManMuxNum( Mig_Man_t * p ); ABC_NAMESPACE_HEADER_END |