abc-master
|
#include "dauInt.h"
Go to the source code of this file.
Data Structures | |
struct | Dau_Dsd_t_ |
Typedefs | |
typedef typedefABC_NAMESPACE_IMPL_START struct Dau_Dsd_t_ | Dau_Dsd_t |
DECLARATIONS ///. More... | |
Functions | |
static void | Dau_DsdClean (Dau_Dsd_t *p) |
int | Dau_DsdCountAnd (Dau_Dsd_t *p) |
FUNCTION DEFINITIONS ///. More... | |
int | Dau_DsdConstruct (char *pDsd, Dau_Dsd_t *pStore) |
void | Dau_DsdPrint (Dau_Dsd_t *p) |
void | Dau_DsdDepth (Dau_Dsd_t *p) |
void | Dau_DsdRemoveUseless (Dau_Dsd_t *p) |
void | Dau_DsdTest22 () |
typedef typedefABC_NAMESPACE_IMPL_START struct Dau_Dsd_t_ Dau_Dsd_t |
DECLARATIONS ///.
CFile****************************************************************
FileName [dauArray.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [DAG-aware unmapping.]
Synopsis [Array representation of DSD.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]
Definition at line 29 of file dauArray.c.
|
inlinestatic |
Definition at line 42 of file dauArray.c.
int Dau_DsdConstruct | ( | char * | pDsd, |
Dau_Dsd_t * | pStore | ||
) |
Definition at line 76 of file dauArray.c.
int Dau_DsdCountAnd | ( | Dau_Dsd_t * | p | ) |
void Dau_DsdDepth | ( | Dau_Dsd_t * | p | ) |
Definition at line 175 of file dauArray.c.
void Dau_DsdPrint | ( | Dau_Dsd_t * | p | ) |
Definition at line 140 of file dauArray.c.
void Dau_DsdRemoveUseless | ( | Dau_Dsd_t * | p | ) |
Definition at line 193 of file dauArray.c.
void Dau_DsdTest22 | ( | ) |
Definition at line 234 of file dauArray.c.