rsbMan.c File Reference

#include "rsbInt.h"

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START Rsb_Man_t *	Rsb_ManAlloc (int nLeafMax, int nDivMax, int nDecMax, int fVerbose)
	DECLARATIONS ///. More...
void	Rsb_ManFree (Rsb_Man_t *p)
Vec_Int_t *	Rsb_ManGetFanins (Rsb_Man_t *p)
Vec_Int_t *	Rsb_ManGetFaninsOld (Rsb_Man_t *p)

Function Documentation

ABC_NAMESPACE_IMPL_START Rsb_Man_t* Rsb_ManAlloc	(	int	nLeafMax,
		int	nDivMax,
		int	nDecMax,
		int	fVerbose
	)

DECLARATIONS ///.

MACRO DEFINITIONS ///.

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

FileName [rsbMan.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Truth-table based resubstitution.]

Synopsis [Manager maintenance.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:

rsbMan.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file rsbMan.c.

{
    Rsb_Man_t * p;
    assert( nLeafMax <= 20 );
    assert( nDivMax  <= 200 );
    p = ABC_CALLOC( Rsb_Man_t, 1 );
    p->nLeafMax   = nLeafMax;
    p->nDivMax    = nDivMax;
    p->nDecMax    = nDecMax;
    p->fVerbose   = fVerbose;
    // decomposition
    p->vCexes     = Vec_WrdAlloc( nDivMax + 150 );
    p->vDecPats   = Vec_IntAlloc( Abc_TtWordNum(nLeafMax) );
    p->vFanins    = Vec_IntAlloc( 10 );
    p->vFaninsOld = Vec_IntAlloc( 10 );
    p->vTries     = Vec_IntAlloc( 10 );
    return p;
}

void Rsb_ManFree

(

Rsb_Man_t *

p

)

Definition at line 63 of file rsbMan.c.

{
    Vec_WrdFree( p->vCexes );
    Vec_IntFree( p->vDecPats );
    Vec_IntFree( p->vFanins );
    Vec_IntFree( p->vFaninsOld );
    Vec_IntFree( p->vTries );
    ABC_FREE( p );
}

Vec_Int_t* Rsb_ManGetFanins

(

Rsb_Man_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 84 of file rsbMan.c.

{
    return p->vFanins;
}

Vec_Int_t* Rsb_ManGetFaninsOld

(

Rsb_Man_t *

p

)

Definition at line 88 of file rsbMan.c.

{
    return p->vFaninsOld;
}