1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
/**CFile*************************************************/**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.4 2003/04/03 06:31:48 alanmi Exp $]
***********************************************************************/
#include "mvc.h"
ABC_NAMESPACE_IMPL_START
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/**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 []
***********************************************************************/
int Mvc_CoverIsEmpty( Mvc_Cover_t * pCover )
{
return Mvc_CoverReadCubeNum(pCover) == 0;
}
/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
int Mvc_CoverIsTautology( Mvc_Cover_t * pCover )
{
Mvc_Cube_t * pCube;
int iBit, Value;
if ( Mvc_CoverReadCubeNum(pCover) != 1 )
return 0;
pCube = Mvc_CoverReadCubeHead( pCover );
Mvc_CubeForEachBit( pCover, pCube, iBit, Value )
if ( Value == 0 )
return 0;
return 1;
}
/**Function*************************************************************
Synopsis [Returns 1 if the cover is a binary buffer.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
int 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 ///
////////////////////////////////////////////////////////////////////////
ABC_NAMESPACE_IMPL_END
|
