src/aig/dar/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 | |
| 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
| 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 ///
| const int s_nDataSize2 = 24772 |
| const int s_nDataSize3 = 24772 |
