mvcApi.c File Reference

#include "mvc.h"

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START int	Mvc_CoverReadWordNum (Mvc_Cover_t *pCover)
	DECLARATIONS ///. More...
int	Mvc_CoverReadBitNum (Mvc_Cover_t *pCover)
int	Mvc_CoverReadCubeNum (Mvc_Cover_t *pCover)
Mvc_Cube_t *	Mvc_CoverReadCubeHead (Mvc_Cover_t *pCover)
Mvc_Cube_t *	Mvc_CoverReadCubeTail (Mvc_Cover_t *pCover)
Mvc_List_t *	Mvc_CoverReadCubeList (Mvc_Cover_t *pCover)
int	Mvc_ListReadCubeNum (Mvc_List_t *pList)
Mvc_Cube_t *	Mvc_ListReadCubeHead (Mvc_List_t *pList)
Mvc_Cube_t *	Mvc_ListReadCubeTail (Mvc_List_t *pList)
void	Mvc_CoverSetCubeNum (Mvc_Cover_t *pCover, int nItems)
void	Mvc_CoverSetCubeHead (Mvc_Cover_t *pCover, Mvc_Cube_t *pCube)
void	Mvc_CoverSetCubeTail (Mvc_Cover_t *pCover, Mvc_Cube_t *pCube)
void	Mvc_CoverSetCubeList (Mvc_Cover_t *pCover, Mvc_List_t *pList)
int	Mvc_CoverIsEmpty (Mvc_Cover_t *pCover)
int	Mvc_CoverIsTautology (Mvc_Cover_t *pCover)
int	Mvc_CoverIsBinaryBuffer (Mvc_Cover_t *pCover)
void	Mvc_CoverMakeEmpty (Mvc_Cover_t *pCover)
void	Mvc_CoverMakeTautology (Mvc_Cover_t *pCover)
Mvc_Cover_t *	Mvc_CoverCreateEmpty (Mvc_Cover_t *pCover)
Mvc_Cover_t *	Mvc_CoverCreateTautology (Mvc_Cover_t *pCover)

Function Documentation

Mvc_Cover_t* Mvc_CoverCreateEmpty

(

Mvc_Cover_t *

pCover

)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 202 of file mvcApi.c.

{
    Mvc_Cover_t * pCoverNew;
    pCoverNew = Mvc_CoverAlloc( pCover->pMem, pCover->nBits );
    return pCoverNew;
}

Mvc_Cover_t* Mvc_CoverCreateTautology

(

Mvc_Cover_t *

pCover

)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 220 of file mvcApi.c.

{
    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;
}

int Mvc_CoverIsBinaryBuffer

(

Mvc_Cover_t *

pCover

)

Function*************************************************************

Synopsis [Returns 1 if the cover is a binary buffer.]

Description []

SideEffects []

SeeAlso []

Definition at line 135 of file mvcApi.c.

{
    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;
}

int Mvc_CoverIsEmpty

(

Mvc_Cover_t *

pCover

)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 93 of file mvcApi.c.

{
    return Mvc_CoverReadCubeNum(pCover) == 0;
}

int Mvc_CoverIsTautology

(

Mvc_Cover_t *

pCover

)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 109 of file mvcApi.c.

{
    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;
}

void Mvc_CoverMakeEmpty

(

Mvc_Cover_t *

pCover

)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 160 of file mvcApi.c.

{
    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;
}

void Mvc_CoverMakeTautology

(

Mvc_Cover_t *

pCover

)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 181 of file mvcApi.c.

{
    Mvc_Cube_t * pCubeNew;
    Mvc_CoverMakeEmpty( pCover );
    pCubeNew = Mvc_CubeAlloc( pCover );
    Mvc_CubeBitFill( pCubeNew );
    Mvc_CoverAddCubeTail( pCover, pCubeNew );
}

int Mvc_CoverReadBitNum

(

Mvc_Cover_t *

pCover

)

Definition at line 44 of file mvcApi.c.

{ return pCover->nBits;          }

Mvc_Cube_t* Mvc_CoverReadCubeHead

(

Mvc_Cover_t *

pCover

)

Definition at line 46 of file mvcApi.c.

{ return pCover->lCubes.pHead;  }

Mvc_List_t* Mvc_CoverReadCubeList

(

Mvc_Cover_t *

pCover

)

Definition at line 48 of file mvcApi.c.

{ return &pCover->lCubes;        }

int Mvc_CoverReadCubeNum

(

Mvc_Cover_t *

pCover

)

Definition at line 45 of file mvcApi.c.

{ return pCover->lCubes.nItems; }

Mvc_Cube_t* Mvc_CoverReadCubeTail

(

Mvc_Cover_t *

pCover

)

Definition at line 47 of file mvcApi.c.

{ return pCover->lCubes.pTail;  }

ABC_NAMESPACE_IMPL_START int Mvc_CoverReadWordNum

(

Mvc_Cover_t *

pCover

)

DECLARATIONS ///.

FUNCTION DEFINITIONS ///.

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

]FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 43 of file mvcApi.c.

{ return pCover->nWords;         }

void Mvc_CoverSetCubeHead	(	Mvc_Cover_t *	pCover,
		Mvc_Cube_t *	pCube
	)

Definition at line 78 of file mvcApi.c.

{ pCover->lCubes.pHead = pCube;   }

void Mvc_CoverSetCubeList	(	Mvc_Cover_t *	pCover,
		Mvc_List_t *	pList
	)

Definition at line 80 of file mvcApi.c.

{ pCover->lCubes = *pList;        }

void Mvc_CoverSetCubeNum	(	Mvc_Cover_t *	pCover,
		int	nItems
	)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 77 of file mvcApi.c.

{ pCover->lCubes.nItems = nItems; }

void Mvc_CoverSetCubeTail	(	Mvc_Cover_t *	pCover,
		Mvc_Cube_t *	pCube
	)

Definition at line 79 of file mvcApi.c.

{ pCover->lCubes.pTail = pCube;   }

Mvc_Cube_t* Mvc_ListReadCubeHead

(

Mvc_List_t *

pList

)

Definition at line 63 of file mvcApi.c.

{ return pList->pHead;  }

int Mvc_ListReadCubeNum

(

Mvc_List_t *

pList

)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 62 of file mvcApi.c.

{ return pList->nItems; }

Mvc_Cube_t* Mvc_ListReadCubeTail

(

Mvc_List_t *

pList

)

Definition at line 64 of file mvcApi.c.

{ return pList->pTail;  }