mvcPrint.c File Reference

#include "mvc.h"

Go to the source code of this file.

Functions
static ABC_NAMESPACE_IMPL_START void	Mvc_CubePrintBinary (Mvc_Cover_t *pCover, Mvc_Cube_t *pCube)
	DECLARATIONS ///. More...
void	Mvc_CoverPrint (Mvc_Cover_t *pCover)
	FUNCTION DEFINITIONS ///. More...
void	Mvc_CubePrint (Mvc_Cover_t *pCover, Mvc_Cube_t *pCube)
void	Mvc_CoverPrintBinary (Mvc_Cover_t *pCover)

Function Documentation

void Mvc_CoverPrint

(

Mvc_Cover_t *

pCover

)

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 47 of file mvcPrint.c.

{
    Mvc_Cube_t * pCube;
    int i;
    // print general statistics
    printf( "The cover contains %d cubes (%d bits and %d words)\n", 
        pCover->lCubes.nItems, pCover->nBits, pCover->nWords );
    // iterate through the cubes
    Mvc_CoverForEachCube( pCover, pCube )
        Mvc_CubePrint( pCover, pCube );

    if ( pCover->pLits )
    {
        for ( i = 0; i < pCover->nBits; i++ )
            printf( " %d", pCover->pLits[i] );
        printf( "\n" ); 
    }
    printf( "End of cover printout\n" ); 
}

void Mvc_CoverPrintBinary

(

Mvc_Cover_t *

pCover

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 101 of file mvcPrint.c.

{
    Mvc_Cube_t * pCube;
    int i;
    // print general statistics
    printf( "The cover contains %d cubes (%d bits and %d words)\n", 
        pCover->lCubes.nItems, pCover->nBits, pCover->nWords );
    // iterate through the cubes
    Mvc_CoverForEachCube( pCover, pCube )
        Mvc_CubePrintBinary( pCover, pCube );

    if ( pCover->pLits )
    {
        for ( i = 0; i < pCover->nBits; i++ )
            printf( " %d", pCover->pLits[i] );
        printf( "\n" ); 
    }
    printf( "End of cover printout\n" ); 
}

void Mvc_CubePrint	(	Mvc_Cover_t *	pCover,
		Mvc_Cube_t *	pCube
	)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 79 of file mvcPrint.c.

{
    int iBit, Value;
    // iterate through the literals
//    printf( "Size = %2d   ", Mvc_CubeReadSize(pCube) );
    Mvc_CubeForEachBit( pCover, pCube, iBit, Value )
        printf( "%c", '0' + Value );
    printf( "\n" );
}

void Mvc_CubePrintBinary ( Mvc_Cover_t *  pCover, Mvc_Cube_t *  pCube  )

static

DECLARATIONS ///.

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

FileName [mvcPrint.c]

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

Synopsis [Printing cubes and covers.]

Author [MVSIS Group]

Affiliation [UC Berkeley]

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

Revision [

Id:

mvcPrint.c,v 1.6 2003/04/09 18:02:06 alanmi Exp

]

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 133 of file mvcPrint.c.

{
    int iVar, Value;
    // iterate through the literals
//    printf( "Size = %2d   ", Mvc_CubeReadSize(pCube) );
    Mvc_CubeForEachVarValue( pCover, pCube, iVar, Value )
    {
        assert( Value != 0 );
        if ( Value == 3 )
            printf( "-" );
        else if ( Value == 1 )
            printf( "0" );
        else 
            printf( "1" );
    }
    printf( "\n" );
}