From 9c8be56ccd76eecf43f59fe26fef3d8978213ed8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 6 Sep 2012 15:32:07 -0700 Subject: Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. --- src/bool/lucky/lucky.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/bool/lucky/lucky.h') diff --git a/src/bool/lucky/lucky.h b/src/bool/lucky/lucky.h index 7b866bc7..0a055b40 100644 --- a/src/bool/lucky/lucky.h +++ b/src/bool/lucky/lucky.h @@ -6,7 +6,7 @@ PackageName [Semi-canonical form computation package.] - Synopsis [Internal declarations.] + Synopsis [External declarations.] Author [Jake] @@ -21,6 +21,8 @@ ABC_NAMESPACE_HEADER_START extern unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm ); +extern int luckyCanonicizer_final_fast( word * pInOut, int nVars, char * pCanonPerm ); +extern void resetPCanonPermArray(char* x, int nVars); ABC_NAMESPACE_HEADER_END -- cgit v1.2.3