From 93849685b3dadc878bab3dd266a80ad9cfa74a5e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 May 2021 20:35:55 -0700 Subject: Updating LUT synthesis code. --- src/aig/gia/giaMinLut.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/aig/gia/giaMinLut.c') diff --git a/src/aig/gia/giaMinLut.c b/src/aig/gia/giaMinLut.c index 9ac9e770..082ad900 100644 --- a/src/aig/gia/giaMinLut.c +++ b/src/aig/gia/giaMinLut.c @@ -34,6 +34,8 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +extern Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan ); + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -430,7 +432,6 @@ Gia_Man_t * Gia_ManDoMuxMapping( Gia_Man_t * p ) Gia_Man_t * Gia_ManDoMuxTransform( Gia_Man_t * p, int fReorder ) { extern Gia_Man_t * Abc_NtkStrashToGia( Abc_Ntk_t * pNtk ); - extern Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan ); extern int Abc_NtkBddToMuxesPerformGlo( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkNew, int Limit, int fReorder, int fUseAdd ); Gia_Man_t * pRes = NULL; Aig_Man_t * pMan = Gia_ManToAig( p, 0 ); -- cgit v1.2.3