From c4b4ac70525b2120b90066f6f3644a60ff9031d6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 7 Aug 2012 20:36:33 -0700 Subject: New semi-canonical form computation package. --- abclib.dsp | 4 ++++ src/bool/lucky/lucky.h | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/abclib.dsp b/abclib.dsp index f9c09759..e7850023 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -3695,6 +3695,10 @@ SOURCE=.\src\bool\lucky\lucky.c # End Source File # Begin Source File +SOURCE=.\src\bool\lucky\lucky.h +# End Source File +# Begin Source File + SOURCE=.\src\bool\lucky\luckyInt.h # End Source File # Begin Source File diff --git a/src/bool/lucky/lucky.h b/src/bool/lucky/lucky.h index cfe9de2e..7b866bc7 100644 --- a/src/bool/lucky/lucky.h +++ b/src/bool/lucky/lucky.h @@ -20,7 +20,7 @@ ABC_NAMESPACE_HEADER_START -extern unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm, short * pStore ); +extern unsigned Kit_TruthSemiCanonicize_new( unsigned * pInOut, unsigned * pAux, int nVars, char * pCanonPerm ); ABC_NAMESPACE_HEADER_END -- cgit v1.2.3