diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-01 18:25:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-01 18:25:41 -0700 |
| commit | 7d29663720b02b02ceaae5b75fb8fe05ba4aae73 (patch) | |
| tree | 93e9ee9d03bf6220ec2a8931b03db491d3c9194f /src/aig/gia/gia.h | |
| parent | 73ab6aac1fad7cf7a4f15bccafff1eabebf8cce6 (diff) | |
| download | abc-7d29663720b02b02ceaae5b75fb8fe05ba4aae73.tar.gz abc-7d29663720b02b02ceaae5b75fb8fe05ba4aae73.tar.bz2 abc-7d29663720b02b02ceaae5b75fb8fe05ba4aae73.zip | |
Fixed several important problems in choice computation (command 'dch').
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 e9e714ad..0c98e94d 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -703,6 +703,7 @@ extern int Gia_ManCounterExampleValueLookup( Gia_Man_t * pGia, i /*=== giaChoice.c ============================================================*/ extern void Gia_ManVerifyChoices( Gia_Man_t * p ); extern void Gia_ManReverseClasses( Gia_Man_t * p, int fNowIncreasing ); +extern int Gia_ManHasChoices( Gia_Man_t * p ); /*=== giaCsatOld.c ============================================================*/ extern Vec_Int_t * Cbs_ManSolveMiter( Gia_Man_t * pGia, int nConfs, Vec_Str_t ** pvStatus, int fVerbose ); /*=== giaCsat.c ============================================================*/ @@ -914,7 +915,6 @@ extern int Gia_ObjIsMuxType( Gia_Obj_t * pNode ); extern int Gia_ObjRecognizeExor( Gia_Obj_t * pObj, Gia_Obj_t ** ppFan0, Gia_Obj_t ** ppFan1 ); extern Gia_Obj_t * Gia_ObjRecognizeMux( Gia_Obj_t * pNode, Gia_Obj_t ** ppNodeT, Gia_Obj_t ** ppNodeE ); extern int Gia_NodeMffcSize( Gia_Man_t * p, Gia_Obj_t * pNode ); -extern int Gia_ManHasChoices( Gia_Man_t * p ); extern int Gia_ManHasDangling( Gia_Man_t * p ); extern int Gia_ManMarkDangling( Gia_Man_t * p ); extern Vec_Int_t * Gia_ManGetDangling( Gia_Man_t * p ); |