diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 20:00:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 20:00:20 -0700 |
| commit | e9e8f17942388c4c9c53853b028b621091dd37d7 (patch) | |
| tree | 4f96bfc6ab7c42bc97d0a8d89b77f2a5229f0a74 /src/bool/kit/kit.h | |
| parent | 6b96d9a84e1356295c8c25588915701bd9160001 (diff) | |
| download | abc-e9e8f17942388c4c9c53853b028b621091dd37d7.tar.gz abc-e9e8f17942388c4c9c53853b028b621091dd37d7.tar.bz2 abc-e9e8f17942388c4c9c53853b028b621091dd37d7.zip | |
Integrating GIA with LUT mapping.
Diffstat (limited to 'src/bool/kit/kit.h')
| -rw-r--r-- | src/bool/kit/kit.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/bool/kit/kit.h b/src/bool/kit/kit.h index 5ecb5581..cb1c1eb0 100644 --- a/src/bool/kit/kit.h +++ b/src/bool/kit/kit.h @@ -68,7 +68,8 @@ struct Kit_Node_t_ Kit_Edge_t eEdge0; // the left child of the node Kit_Edge_t eEdge1; // the right child of the node // other info - void * pFunc; // the function of the node (BDD or AIG) + union { int iFunc; // the function of the node (BDD or AIG) + void * pFunc; }; // the function of the node (BDD or AIG) unsigned Level : 14; // the level of this node in the global AIG // printing info unsigned fNodeOr : 1; // marks the original OR node @@ -561,6 +562,7 @@ extern unsigned Kit_GraphToTruth( Kit_Graph_t * pGraph ); extern Kit_Graph_t * Kit_TruthToGraph( unsigned * pTruth, int nVars, Vec_Int_t * vMemory ); extern int Kit_GraphLeafDepth_rec( Kit_Graph_t * pGraph, Kit_Node_t * pNode, Kit_Node_t * pLeaf ); /*=== kitHop.c ==========================================================*/ +//extern int Kit_TruthToGia( Gia_Man_t * pMan, unsigned * pTruth, int nVars, Vec_Int_t * vMemory, Vec_Int_t * vLeaves, int fHash ); //extern Hop_Obj_t * Kit_GraphToHop( Hop_Man_t * pMan, Kit_Graph_t * pGraph ); //extern Hop_Obj_t * Kit_TruthToHop( Hop_Man_t * pMan, unsigned * pTruth, int nVars, Vec_Int_t * vMemory ); //extern Hop_Obj_t * Kit_CoverToHop( Hop_Man_t * pMan, Vec_Int_t * vCover, int nVars, Vec_Int_t * vMemory ); |