diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-19 16:37:32 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-19 16:37:32 +0700 |
commit | 6ecc71f8f997cfdf182e356fa271051c87d41d78 (patch) | |
tree | a3060fd1fca1a357e601f150fe9c74f681dc8c9c /src/aig/gia/gia.h | |
parent | 37a3e07d916a85de75e63f68401aafbcbde04ffc (diff) | |
download | abc-6ecc71f8f997cfdf182e356fa271051c87d41d78.tar.gz abc-6ecc71f8f997cfdf182e356fa271051c87d41d78.tar.bz2 abc-6ecc71f8f997cfdf182e356fa271051c87d41d78.zip |
Misc changes.
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 bb3c6524..eec6dd22 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -853,7 +853,9 @@ extern int Gia_ObjRecognizeExor( Gia_Obj_t * pObj, Gia_Obj_t ** 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 void Gia_ManVerifyChoices( 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 ); extern void Gia_ObjPrint( Gia_Man_t * p, Gia_Obj_t * pObj ); extern int Gia_ManVerifyCex( Gia_Man_t * pAig, Abc_Cex_t * p, int fDualOut ); |