src/aig/dar/darData.c File Reference

#include "darInt.h"
Include dependency graph for darData.c:

Go to the source code of this file.

Functions

Vec_Int_tDar_LibReadNodes ()
Vec_Int_tDar_LibReadOuts ()
Vec_Int_tDar_LibReadPrios ()

Variables

const int s_nDataSize1 = 2*43906
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 11093 of file darData.c.

11093 {
11094     Vec_Int_t * vResult;
11095     int i;
11096     vResult = Vec_IntAlloc( s_nDataSize1 );
11097     for ( i = 0; i < s_nDataSize1; i++ )
11098         Vec_IntPush( vResult, s_Data1[i] );
11099     return vResult;
11100 }
11101 

Vec_Int_t* Dar_LibReadOuts (  ) 

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

Synopsis [Reads library from array.]

Description []

SideEffects []

SeeAlso []

Definition at line 11114 of file darData.c.

11114 {
11115     Vec_Int_t * vResult;
11116     int i;
11117     vResult = Vec_IntAlloc( s_nDataSize2 );
11118     for ( i = 0; i < s_nDataSize2; i++ )
11119         Vec_IntPush( vResult, s_Data2[i] );
11120     return vResult;
11121 }
11122 

Vec_Int_t* Dar_LibReadPrios (  ) 

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

Synopsis [Reads library from array.]

Description []

SideEffects []

SeeAlso []

Definition at line 11135 of file darData.c.

11135 {
11136     Vec_Int_t * vResult;
11137     int i;
11138     vResult = Vec_IntAlloc( s_nDataSize3 );
11139     for ( i = 0; i < s_nDataSize3; i++ )
11140         Vec_IntPush( vResult, s_Data3[i] );
11141     return vResult;
11142 }
11143 


Variable Documentation

unsigned int s_Data1[2 *43906]

Definition at line 32 of file darData.c.

unsigned int s_Data2[24772]

Definition at line 7355 of file darData.c.

unsigned int s_Data3[24772]

Definition at line 9425 of file darData.c.

const int s_nDataSize1 = 2*43906

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

] DECLARATIONS /// FUNCTION DEFINITIONS ///

Definition at line 31 of file darData.c.

const int s_nDataSize2 = 24772

Definition at line 7354 of file darData.c.

const int s_nDataSize3 = 24772

Definition at line 9424 of file darData.c.


Generated on Tue Jan 5 12:18:17 2010 for abc70930 by  doxygen 1.6.1