mvcOpBool.c File Reference

#include "mvc.h"

Include dependency graph for mvcOpBool.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START Mvc_Cover_t *	Mvc_CoverBooleanOr (Mvc_Cover_t *pCover1, Mvc_Cover_t *pCover2)
	DECLARATIONS ///.

Function Documentation

Mvc_CoverBooleanOr()

ABC_NAMESPACE_IMPL_START Mvc_Cover_t * Mvc_CoverBooleanOr	(	Mvc_Cover_t *	pCover1,
		Mvc_Cover_t *	pCover2 )

DECLARATIONS ///.

CFile****************************************************************

FileName [mvcProc.c]

PackageName [MVSIS 2.0: Multi-valued logic synthesis system.]

Synopsis [Various boolean procedures working with covers.]

Author [MVSIS Group]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - February 1, 2003.]

Revision [

Id

mvcOpBool.c,v 1.4 2003/04/16 01:55:37 alanmi Exp

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 43 of file mvcOpBool.c.

{
    Mvc_Cover_t * pCover;
    Mvc_Cube_t * pCube, * pCubeCopy;
    // make sure the covers are compatible
    assert( pCover1->nBits == pCover2->nBits );
    // clone the cover
    pCover = Mvc_CoverClone( pCover1 );
    // create the cubes by making pair-wise products
    // of cubes in pCover1 and pCover2
    Mvc_CoverForEachCube( pCover1, pCube )
    {
        pCubeCopy = Mvc_CubeDup( pCover, pCube );
        Mvc_CoverAddCubeTail( pCover, pCubeCopy );
    }
    Mvc_CoverForEachCube( pCover2, pCube )
    {
        pCubeCopy = Mvc_CubeDup( pCover, pCube );
        Mvc_CoverAddCubeTail( pCover, pCubeCopy );
    }
    return pCover;
}

Here is the call graph for this function: