From 6130e39b18b5f53902e4eab14f6d5cdde5219563 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 1 Nov 2010 01:35:04 -0700 Subject: initial commit of public abc --- src/misc/mvc/mvc.c | 5 +++++ src/misc/mvc/mvc.h | 8 ++++++++ src/misc/mvc/mvcApi.c | 5 +++++ src/misc/mvc/mvcCompare.c | 5 +++++ src/misc/mvc/mvcContain.c | 5 +++++ src/misc/mvc/mvcCover.c | 5 +++++ src/misc/mvc/mvcCube.c | 5 +++++ src/misc/mvc/mvcDivide.c | 5 +++++ src/misc/mvc/mvcDivisor.c | 7 ++++++- src/misc/mvc/mvcList.c | 5 +++++ src/misc/mvc/mvcLits.c | 5 +++++ src/misc/mvc/mvcMan.c | 5 +++++ src/misc/mvc/mvcOpAlg.c | 5 +++++ src/misc/mvc/mvcOpBool.c | 5 +++++ src/misc/mvc/mvcPrint.c | 5 +++++ src/misc/mvc/mvcSort.c | 5 +++++ src/misc/mvc/mvcUtils.c | 5 +++++ 17 files changed, 89 insertions(+), 1 deletion(-) (limited to 'src/misc/mvc') diff --git a/src/misc/mvc/mvc.c b/src/misc/mvc/mvc.c index 001b1c63..05a47b2a 100644 --- a/src/misc/mvc/mvc.c +++ b/src/misc/mvc/mvc.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -44,3 +47,5 @@ //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvc.h b/src/misc/mvc/mvc.h index 4cc765b2..93229470 100644 --- a/src/misc/mvc/mvc.h +++ b/src/misc/mvc/mvc.h @@ -19,6 +19,7 @@ #ifndef __MVC_H__ #define __MVC_H__ + //////////////////////////////////////////////////////////////////////// /// INCLUDES /// //////////////////////////////////////////////////////////////////////// @@ -27,6 +28,9 @@ #include "extra.h" #include "extra.h" +ABC_NAMESPACE_HEADER_START + + //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// @@ -724,6 +728,10 @@ extern Mvc_Manager_t * Mvc_ManagerAllocCube( int nWords ); extern Mvc_Manager_t * Mvc_ManagerFreeCover( Mvc_Cover_t * pCover ); extern Mvc_Manager_t * Mvc_ManagerFreeCube( Mvc_Cover_t * pCube, int nWords ); + + +ABC_NAMESPACE_HEADER_END + #endif //////////////////////////////////////////////////////////////////////// diff --git a/src/misc/mvc/mvcApi.c b/src/misc/mvc/mvcApi.c index eb942f93..f1b57f0b 100644 --- a/src/misc/mvc/mvcApi.c +++ b/src/misc/mvc/mvcApi.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -231,3 +234,5 @@ Mvc_Cover_t * Mvc_CoverCreateTautology( Mvc_Cover_t * pCover ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcCompare.c b/src/misc/mvc/mvcCompare.c index 9cff99cd..5061cc6c 100644 --- a/src/misc/mvc/mvcCompare.c +++ b/src/misc/mvc/mvcCompare.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -367,3 +370,5 @@ int Mvc_CubeCompareIntOutsideAndUnderMask( Mvc_Cube_t * pC1, Mvc_Cube_t * pC2, M //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcContain.c b/src/misc/mvc/mvcContain.c index 950a80a2..810702c7 100644 --- a/src/misc/mvc/mvcContain.c +++ b/src/misc/mvc/mvcContain.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -171,3 +174,5 @@ void Mvc_CoverRemoveContained( Mvc_Cover_t * pCover ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcCover.c b/src/misc/mvc/mvcCover.c index bad76170..c387ebb3 100644 --- a/src/misc/mvc/mvcCover.c +++ b/src/misc/mvc/mvcCover.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -249,3 +252,5 @@ void Mvc_CoverDeallocateArrayLits( Mvc_Cover_t * pCover ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcCube.c b/src/misc/mvc/mvcCube.c index 9ccdb427..355c0b56 100644 --- a/src/misc/mvc/mvcCube.c +++ b/src/misc/mvc/mvcCube.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -173,3 +176,5 @@ void Mvc_CubeBitRemoveDcs( Mvc_Cube_t * pCube ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcDivide.c b/src/misc/mvc/mvcDivide.c index 45063943..7ba3547f 100644 --- a/src/misc/mvc/mvcDivide.c +++ b/src/misc/mvc/mvcDivide.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -435,3 +438,5 @@ void Mvc_CoverVerifyDivision( Mvc_Cover_t * pCover, Mvc_Cover_t * pDiv, Mvc_Cove //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcDivisor.c b/src/misc/mvc/mvcDivisor.c index 1ce556a5..bbdd735f 100644 --- a/src/misc/mvc/mvcDivisor.c +++ b/src/misc/mvc/mvcDivisor.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -76,7 +79,7 @@ void Mvc_CoverDivisorZeroKernel( Mvc_Cover_t * pCover ) // iLit = Mvc_CoverBestLiteral( pCover, NULL ); if ( iLit == -1 ) return; - // derive the cube-ABC_FREE quotient + // derive the cube-free quotient Mvc_CoverDivideByLiteralQuo( pCover, iLit ); // the same cover Mvc_CoverMakeCubeFree( pCover ); // the same cover // call recursively @@ -88,3 +91,5 @@ void Mvc_CoverDivisorZeroKernel( Mvc_Cover_t * pCover ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcList.c b/src/misc/mvc/mvcList.c index 8a82f911..1b39dfbb 100644 --- a/src/misc/mvc/mvcList.c +++ b/src/misc/mvc/mvcList.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -360,3 +363,5 @@ Mvc_Cube_t * Mvc_ListGetTailFromHead( Mvc_Cube_t * pHead ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcLits.c b/src/misc/mvc/mvcLits.c index 910158e9..e1016cd5 100644 --- a/src/misc/mvc/mvcLits.c +++ b/src/misc/mvc/mvcLits.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -343,3 +346,5 @@ int Mvc_CoverIsOneLiteral( Mvc_Cover_t * pCover ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcMan.c b/src/misc/mvc/mvcMan.c index 168410a4..05366afa 100644 --- a/src/misc/mvc/mvcMan.c +++ b/src/misc/mvc/mvcMan.c @@ -19,6 +19,9 @@ #include #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -75,3 +78,5 @@ void Mvc_ManagerFree( Mvc_Manager_t * p ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcOpAlg.c b/src/misc/mvc/mvcOpAlg.c index 65c02fa5..da160b39 100644 --- a/src/misc/mvc/mvcOpAlg.c +++ b/src/misc/mvc/mvcOpAlg.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -161,3 +164,5 @@ int Mvc_CoverAlgebraicEqual( Mvc_Cover_t * pCover1, Mvc_Cover_t * pCover2 ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcOpBool.c b/src/misc/mvc/mvcOpBool.c index 0b34f1de..32339dfe 100644 --- a/src/misc/mvc/mvcOpBool.c +++ b/src/misc/mvc/mvcOpBool.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -149,3 +152,5 @@ Mvc_CoverPrint( pSharp ); //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcPrint.c b/src/misc/mvc/mvcPrint.c index 52ac76b3..b7ba494c 100644 --- a/src/misc/mvc/mvcPrint.c +++ b/src/misc/mvc/mvcPrint.c @@ -20,6 +20,9 @@ //#include "vm.h" //#include "vmInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -218,3 +221,5 @@ void Mvc_CubePrintMv( Mvc_Data_t * pData, Mvc_Cover_t * pCover, Mvc_Cube_t * pCu //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcSort.c b/src/misc/mvc/mvcSort.c index 3c975cb3..7382512a 100644 --- a/src/misc/mvc/mvcSort.c +++ b/src/misc/mvc/mvcSort.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -139,3 +142,5 @@ Mvc_Cube_t * Mvc_CoverSortMerge( Mvc_Cube_t * pList1, Mvc_Cube_t * pList2, Mvc_C //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + diff --git a/src/misc/mvc/mvcUtils.c b/src/misc/mvc/mvcUtils.c index bb4b1191..d938169a 100644 --- a/src/misc/mvc/mvcUtils.c +++ b/src/misc/mvc/mvcUtils.c @@ -18,6 +18,9 @@ #include "mvc.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -866,3 +869,5 @@ int Mvc_UtilsCheckUnusedZeros( Mvc_Cover_t * pCover ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + -- cgit v1.2.3