darData.c File Reference

#include "darInt.h"

Go to the source code of this file.

Functions
Vec_Int_t *	Dar_LibReadNodes ()
Vec_Int_t *	Dar_LibReadOuts ()
Vec_Int_t *	Dar_LibReadPrios ()

Variables
ABC_NAMESPACE_IMPL_START const int	s_nDataSize1 = 2*43906
	DECLARATIONS ///. More...
unsigned int	s_Data1 [2 *43906]
const int	s_nDataSize2 = 24772
unsigned int	s_Data2 [24772]
const int	s_nDataSize3 = 24772
unsigned int	s_Data3 [24772]

Function Documentation

Vec_Int_t* Dar_LibReadNodes

(

)

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

Synopsis [Reads library from array.]

Description []

SideEffects []

SeeAlso []

Definition at line 11094 of file darData.c.

{
    Vec_Int_t * vResult;
    int i;
    vResult = Vec_IntAlloc( s_nDataSize1 );
    for ( i = 0; i < s_nDataSize1; i++ )
        Vec_IntPush( vResult, s_Data1[i] );
    return vResult;
}

Vec_Int_t* Dar_LibReadOuts

(

)

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

Synopsis [Reads library from array.]

Description []

SideEffects []

SeeAlso []

Definition at line 11115 of file darData.c.

{
    Vec_Int_t * vResult;
    int i;
    vResult = Vec_IntAlloc( s_nDataSize2 );
    for ( i = 0; i < s_nDataSize2; i++ )
        Vec_IntPush( vResult, s_Data2[i] );
    return vResult;
}

Vec_Int_t* Dar_LibReadPrios

(

)

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

Synopsis [Reads library from array.]

Description []

SideEffects []

SeeAlso []

Definition at line 11136 of file darData.c.

{
    Vec_Int_t * vResult;
    int i;
    vResult = Vec_IntAlloc( s_nDataSize3 );
    for ( i = 0; i < s_nDataSize3; i++ )
        Vec_IntPush( vResult, s_Data3[i] );
    return vResult;
}

Variable Documentation

unsigned int s_Data1[2 *43906]

Definition at line 34 of file darData.c.

unsigned int s_Data2[24772]

Definition at line 7356 of file darData.c.

unsigned int s_Data3[24772]

Definition at line 9426 of file darData.c.

ABC_NAMESPACE_IMPL_START const int s_nDataSize1 = 2*43906

DECLARATIONS ///.

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

FileName [dar_.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [DAG-aware AIG rewriting.]

Synopsis [Storage for AIG subgraph data.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - April 28, 2007.]

Revision [

Id:

dar_.c,v 1.00 2007/04/28 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS ///

Definition at line 33 of file darData.c.

const int s_nDataSize2 = 24772

Definition at line 7355 of file darData.c.

const int s_nDataSize3 = 24772

Definition at line 9425 of file darData.c.