diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-08 12:38:31 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-08 12:38:31 -0800 |
| commit | 8e5d771feb5e0914e4acecfaa942a60766882f4d (patch) | |
| tree | f5b51b39b34e16df65effda2a0cb245aca87f091 /src/aig/gia/gia.h | |
| parent | 5d74635f7bd626d9bf55882892e82cf110b3ff6b (diff) | |
| download | abc-8e5d771feb5e0914e4acecfaa942a60766882f4d.tar.gz abc-8e5d771feb5e0914e4acecfaa942a60766882f4d.tar.bz2 abc-8e5d771feb5e0914e4acecfaa942a60766882f4d.zip | |
Deriving CEX after phase/tempor/reparam.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index d44e4a04..d9e86085 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -855,7 +855,7 @@ extern void Gia_ManSetIfParsDefault( void * pIfPars ); extern Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pIfPars ); /*=== giaIso.c ===========================================================*/ extern Gia_Man_t * Gia_ManIsoCanonicize( Gia_Man_t * p, int fVerbose ); -extern Gia_Man_t * Gia_ManIsoReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fDualOut, int fVerbose ); +extern Gia_Man_t * Gia_ManIsoReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, Vec_Ptr_t ** pvPiPerms, int fDualOut, int fVerbose ); /*=== giaLogic.c ===========================================================*/ extern void Gia_ManTestDistance( Gia_Man_t * p ); extern void Gia_ManSolveProblem( Gia_Man_t * pGia, Emb_Par_t * pPars ); |