From 3a7b3d27f19e1d8b43cfe974b6c8c3ab5c79d351 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 1 Nov 2020 09:56:01 -0800 Subject: Experimental cost function in technology mapping. --- src/bool/kit/kit.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/bool/kit/kit.h') diff --git a/src/bool/kit/kit.h b/src/bool/kit/kit.h index 47f06403..5436956a 100644 --- a/src/bool/kit/kit.h +++ b/src/bool/kit/kit.h @@ -568,6 +568,7 @@ extern unsigned Kit_GraphToTruth( Kit_Graph_t * pGraph ); extern Kit_Graph_t * Kit_TruthToGraph( unsigned * pTruth, int nVars, Vec_Int_t * vMemory ); extern Kit_Graph_t * Kit_TruthToGraph2( unsigned * pTruth0, unsigned * pTruth1, int nVars, Vec_Int_t * vMemory ); extern int Kit_GraphLeafDepth_rec( Kit_Graph_t * pGraph, Kit_Node_t * pNode, Kit_Node_t * pLeaf ); +extern int Kit_TruthLitNum( unsigned * pTruth, int nVars, Vec_Int_t * vMemory ); /*=== 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 ); -- cgit v1.2.3