src/misc/mvc/mvcPrint.c File Reference

#include "mvc.h"

Include dependency graph for mvcPrint.c:

Functions
static void	Mvc_CubePrintBinary (Mvc_Cover_t pCover, Mvc_Cube_t pCube)
void	Mvc_CoverPrint (Mvc_Cover_t *pCover)
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 44 of file mvcPrint.c.

00045 {
00046     Mvc_Cube_t * pCube;
00047     int i;
00048     // print general statistics
00049     printf( "The cover contains %d cubes (%d bits and %d words)\n", 
00050         pCover->lCubes.nItems, pCover->nBits, pCover->nWords );
00051     // iterate through the cubes
00052     Mvc_CoverForEachCube( pCover, pCube )
00053         Mvc_CubePrint( pCover, pCube );
00054 
00055     if ( pCover->pLits )
00056     {
00057         for ( i = 0; i < pCover->nBits; i++ )
00058             printf( " %d", pCover->pLits[i] );
00059         printf( "\n" ); 
00060     }
00061     printf( "End of cover printout\n" ); 
00062 }

void Mvc_CoverPrintBinary ( Mvc_Cover_t * pCover )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 98 of file mvcPrint.c.

00099 {
00100     Mvc_Cube_t * pCube;
00101     int i;
00102     // print general statistics
00103     printf( "The cover contains %d cubes (%d bits and %d words)\n", 
00104         pCover->lCubes.nItems, pCover->nBits, pCover->nWords );
00105     // iterate through the cubes
00106     Mvc_CoverForEachCube( pCover, pCube )
00107         Mvc_CubePrintBinary( pCover, pCube );
00108 
00109     if ( pCover->pLits )
00110     {
00111         for ( i = 0; i < pCover->nBits; i++ )
00112             printf( " %d", pCover->pLits[i] );
00113         printf( "\n" ); 
00114     }
00115     printf( "End of cover printout\n" ); 
00116 }

void Mvc_CubePrint	(	Mvc_Cover_t *	pCover,
		Mvc_Cube_t *	pCube
	)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 76 of file mvcPrint.c.

00077 {
00078     int iBit, Value;
00079     // iterate through the literals
00080 //    printf( "Size = %2d   ", Mvc_CubeReadSize(pCube) );
00081     Mvc_CubeForEachBit( pCover, pCube, iBit, Value )
00082         printf( "%c", '0' + Value );
00083     printf( "\n" );
00084 }

void Mvc_CubePrintBinary	(	Mvc_Cover_t *	pCover,
		Mvc_Cube_t *	pCube
	)			`[static]`

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

] DECLARATIONS ///

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 130 of file mvcPrint.c.

00131 {
00132     int iVar, Value;
00133     // iterate through the literals
00134 //    printf( "Size = %2d   ", Mvc_CubeReadSize(pCube) );
00135     Mvc_CubeForEachVarValue( pCover, pCube, iVar, Value )
00136     {
00137         assert( Value != 0 );
00138         if ( Value == 3 )
00139             printf( "-" );
00140         else if ( Value == 1 )
00141             printf( "0" );
00142         else 
00143             printf( "1" );
00144     }
00145     printf( "\n" );
00146 }

src/misc/mvc/mvcPrint.c File Reference

Functions

Function Documentation