#include "mvc.h"

Include dependency graph for mvcApi.c:

Functions
ABC_NAMESPACE_IMPL_START int	Mvc_CoverReadWordNum (Mvc_Cover_t *pCover)
	DECLARATIONS ///.

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_CoverCreateEmpty()

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

Here is the call graph for this function:

◆ Mvc_CoverCreateTautology()

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

Here is the call graph for this function:

◆ Mvc_CoverIsBinaryBuffer()

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

Here is the call graph for this function:

◆ Mvc_CoverIsEmpty()

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Mvc_CoverIsTautology()

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Mvc_CoverMakeEmpty()

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Mvc_CoverMakeTautology()

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

Here is the call graph for this function:

◆ Mvc_CoverReadBitNum()

int Mvc_CoverReadBitNum ( Mvc_Cover_t * pCover )

Definition at line 44 of file mvcApi.c.

44{ return pCover->nBits; }

◆ Mvc_CoverReadCubeHead()

Mvc_Cube_t * Mvc_CoverReadCubeHead ( Mvc_Cover_t * pCover )

Definition at line 46 of file mvcApi.c.

46{ return pCover->lCubes.pHead; }

Here is the caller graph for this function:

◆ Mvc_CoverReadCubeList()

Mvc_List_t * Mvc_CoverReadCubeList ( Mvc_Cover_t * pCover )

Definition at line 48 of file mvcApi.c.

48{ return &pCover->lCubes; }

◆ Mvc_CoverReadCubeNum()

int Mvc_CoverReadCubeNum ( Mvc_Cover_t * pCover )

Definition at line 45 of file mvcApi.c.

45{ return pCover->lCubes.nItems; }

Here is the caller graph for this function:

◆ Mvc_CoverReadCubeTail()

Mvc_Cube_t * Mvc_CoverReadCubeTail ( Mvc_Cover_t * pCover )

Definition at line 47 of file mvcApi.c.

47{ return pCover->lCubes.pTail; }

Here is the caller graph for this function:

◆ Mvc_CoverReadWordNum()

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.

43{ return pCover->nWords; }

MvcCoverStruct::nWords

int nWords

Definition mvc.h:85

◆ Mvc_CoverSetCubeHead()

void Mvc_CoverSetCubeHead	(	Mvc_Cover_t *	pCover,
		Mvc_Cube_t *	pCube )

Definition at line 78 of file mvcApi.c.

78{ pCover->lCubes.pHead = pCube; }

Here is the caller graph for this function:

◆ Mvc_CoverSetCubeList()

void Mvc_CoverSetCubeList	(	Mvc_Cover_t *	pCover,
		Mvc_List_t *	pList )

Definition at line 80 of file mvcApi.c.

80{ pCover->lCubes = *pList; }

◆ Mvc_CoverSetCubeNum()

void Mvc_CoverSetCubeNum	(	Mvc_Cover_t *	pCover,
		int	nItems )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 77 of file mvcApi.c.

77{ pCover->lCubes.nItems = nItems; }

◆ Mvc_CoverSetCubeTail()

void Mvc_CoverSetCubeTail	(	Mvc_Cover_t *	pCover,
		Mvc_Cube_t *	pCube )

Definition at line 79 of file mvcApi.c.

79{ pCover->lCubes.pTail = pCube; }

Here is the caller graph for this function:

◆ Mvc_ListReadCubeHead()

Mvc_Cube_t * Mvc_ListReadCubeHead ( Mvc_List_t * pList )

Definition at line 63 of file mvcApi.c.

63{ return pList->pHead; }

◆ Mvc_ListReadCubeNum()

int Mvc_ListReadCubeNum ( Mvc_List_t * pList )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 62 of file mvcApi.c.

62{ return pList->nItems; }

◆ Mvc_ListReadCubeTail()

Mvc_Cube_t * Mvc_ListReadCubeTail ( Mvc_List_t * pList )

Definition at line 64 of file mvcApi.c.

64{ return pList->pTail; }

Functions

Function Documentation

◆ Mvc_CoverCreateEmpty()

◆ Mvc_CoverCreateTautology()

◆ Mvc_CoverIsBinaryBuffer()

◆ Mvc_CoverIsEmpty()

◆ Mvc_CoverIsTautology()

◆ Mvc_CoverMakeEmpty()

◆ Mvc_CoverMakeTautology()

◆ Mvc_CoverReadBitNum()

◆ Mvc_CoverReadCubeHead()

◆ Mvc_CoverReadCubeList()

◆ Mvc_CoverReadCubeNum()

◆ Mvc_CoverReadCubeTail()

◆ Mvc_CoverReadWordNum()

◆ Mvc_CoverSetCubeHead()

◆ Mvc_CoverSetCubeList()

◆ Mvc_CoverSetCubeNum()

◆ Mvc_CoverSetCubeTail()

◆ Mvc_ListReadCubeHead()

◆ Mvc_ListReadCubeNum()

◆ Mvc_ListReadCubeTail()