/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
int Mvc_CoverSupportVarBelongs( Mvc_Cover_t * pCover, int iVar )
{
Mvc_Cube_t * pSupp;
int RetValue, v0, v1;
// compute the support
pSupp = Mvc_CubeAlloc( pCover );
Mvc_CoverSupportAnd( pCover, pSupp );
v0 = Mvc_CubeBitValue( pSupp, 2*iVar );
v1 = Mvc_CubeBitValue( pSupp, 2*iVar+1 );
RetValue = (int)( !v0 || !v1 );
Mvc_CubeFree( pCover, pSupp );
return RetValue;
}
/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
int Mvc_CoverSupportSizeBinary( Mvc_Cover_t * pCover )
{
Mvc_Cube_t * pSupp;
int Counter, i, v0, v1;
// compute the support
pSupp = Mvc_CubeAlloc( pCover );
Mvc_CoverSupportAnd( pCover, pSupp );
Counter = pCover->nBits/2;
for ( i = 0; i < pCover->nBits/2; i++ )
{
v0 = Mvc_CubeBitValue( pSupp, 2*i );
v1 = Mvc_CubeBitValue( pSupp, 2*i+1 );
if ( v0 && v1 )
Counter--;
}
Mvc_CubeFree( pCover, pSupp );
return Counter;
}
/**Function*************************************************************
Synopsis [Removes adjacent duplicated cubes from the cube list.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
void Mvc_CoverRemoveDuplicates( Mvc_Cover_t * pCover )
{
Mvc_Cube_t * pPrev, * pCube, * pCube2;
int fEqual;
// set the first cube of the cover
pPrev = Mvc_CoverReadCubeHead(pCover);
// go through all the cubes after this one
Mvc_CoverForEachCubeStartSafe( Mvc_CubeReadNext(pPrev), pCube, pCube2 )
{
// compare the current cube with the prev cube
Mvc_CubeBitEqual( fEqual, pPrev, pCube );
if ( fEqual )
{ // they are equal - remove the current cube
Mvc_CoverDeleteCube( pCover, pPrev, pCube );
Mvc_CubeFree( pCover, pCube );
// don't change the previous cube cube
}
else
{ // they are not equal - update the previous cube
pPrev = pCube;
}
}
