📄 mvcapi.c
字号:
/**CFile**************************************************************** FileName [mvcApi.c] PackageName [MVSIS 2.0: Multi-valued logic synthesis system.] Synopsis [] Author [MVSIS Group] Affiliation [UC Berkeley] Date [Ver. 1.0. Started - February 1, 2003.] Revision [$Id: mvcApi.c,v 1.8 2003/05/27 23:15:11 alanmi Exp $]***********************************************************************/#include "mvc.h"/////////////////////////////////////////////////////////////////////////// DECLARATIONS ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////// FUNCTION DEFITIONS ////////////////////////////////////////////////////////////////////////////**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso []***********************************************************************/int Mvc_CoverReadWordNum( Mvc_Cover_t * pCover ) { return pCover->nWords; }int Mvc_CoverReadBitNum( Mvc_Cover_t * pCover ) { return pCover->nBits; }int Mvc_CoverReadCubeNum( Mvc_Cover_t * pCover ) { return pCover->lCubes.nItems; }Mvc_Cube_t * Mvc_CoverReadCubeHead( Mvc_Cover_t * pCover ) { return pCover->lCubes.pHead; }Mvc_Cube_t * Mvc_CoverReadCubeTail( Mvc_Cover_t * pCover ) { return pCover->lCubes.pTail; }Mvc_List_t * Mvc_CoverReadCubeList( Mvc_Cover_t * pCover ) { return &pCover->lCubes; }/**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso []***********************************************************************/int Mvc_ListReadCubeNum( Mvc_List_t * pList ) { return pList->nItems; }Mvc_Cube_t * Mvc_ListReadCubeHead( Mvc_List_t * pList ) { return pList->pHead; }Mvc_Cube_t * Mvc_ListReadCubeTail( Mvc_List_t * pList ) { return pList->pTail; }/**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso []***********************************************************************/void Mvc_CoverSetCubeNum( Mvc_Cover_t * pCover,int nItems ) { pCover->lCubes.nItems = nItems; }void Mvc_CoverSetCubeHead( Mvc_Cover_t * pCover, Mvc_Cube_t * pCube ) { pCover->lCubes.pHead = pCube; }void Mvc_CoverSetCubeTail( Mvc_Cover_t * pCover, Mvc_Cube_t * pCube ) { pCover->lCubes.pTail = pCube; }void Mvc_CoverSetCubeList( Mvc_Cover_t * pCover, Mvc_List_t * pList ) { pCover->lCubes = *pList; }/**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso []***********************************************************************/bool Mvc_CoverIsEmpty( Mvc_Cover_t * pCover ){ return (bool)(Mvc_CoverReadCubeNum(pCover) == 0);}/**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso []***********************************************************************/bool Mvc_CoverIsTautology( Mvc_Cover_t * pCover ){ Mvc_Cube_t * pCube; int iLit, Value; if ( Mvc_CoverReadCubeNum(pCover) != 1 ) return 0; pCube = Mvc_CoverReadCubeHead( pCover ); Mvc_CubeForEachLiteral( pCover, pCube, iLit, Value ) if ( Value == 0 ) return 0; return 1;}/**Function************************************************************* Synopsis [Returns 1 if the cover is a binary buffer.] Description [] SideEffects [] SeeAlso []***********************************************************************/bool Mvc_CoverIsBinaryBuffer( Mvc_Cover_t * pCover ){ Mvc_Cube_t * pCube; if ( pCover->nBits != 2 ) return 0; if ( Mvc_CoverReadCubeNum(pCover) != 1 ) return 0; pCube = pCover->lCubes.pHead; if ( Mvc_CubeBitValue(pCube, 0) == 0 && Mvc_CubeBitValue(pCube, 1) == 1 ) return 1; return 0;}/**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso []***********************************************************************/void Mvc_CoverMakeEmpty( Mvc_Cover_t * pCover ){ Mvc_Cube_t * pCube, * pCube2; Mvc_CoverForEachCubeSafe( pCover, pCube, pCube2 ) Mvc_CubeFree( pCover, pCube ); pCover->lCubes.nItems = 0; pCover->lCubes.pHead = NULL; pCover->lCubes.pTail = NULL;}/**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso []***********************************************************************/void Mvc_CoverMakeTautology( Mvc_Cover_t * pCover ){ Mvc_Cube_t * pCubeNew; Mvc_CoverMakeEmpty( pCover ); pCubeNew = Mvc_CubeAlloc( pCover ); Mvc_CubeBitFill( pCubeNew ); Mvc_CoverAddCubeTail( pCover, pCubeNew );}/**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso []***********************************************************************/Mvc_Cover_t * Mvc_CoverCreateEmpty( Mvc_Cover_t * pCover ){ Mvc_Cover_t * pCoverNew; pCoverNew = Mvc_CoverAlloc( pCover->pMem, pCover->nBits ); return pCoverNew;}/**Function************************************************************* Synopsis [] Description [] SideEffects [] SeeAlso []***********************************************************************/Mvc_Cover_t * Mvc_CoverCreateTautology( Mvc_Cover_t * pCover ){ Mvc_Cube_t * pCubeNew; Mvc_Cover_t * pCoverNew; pCoverNew = Mvc_CoverAlloc( pCover->pMem, pCover->nBits ); pCubeNew = Mvc_CubeAlloc( pCoverNew ); Mvc_CubeBitFill( pCubeNew ); Mvc_CoverAddCubeTail( pCoverNew, pCubeNew ); return pCoverNew;}/////////////////////////////////////////////////////////////////////////// END OF FILE ///////////////////////////////////////////////////////////////////////////⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -