abc-master
|
Go to the source code of this file.
Functions | |
static ABC_NAMESPACE_IMPL_START Aig_Obj_t * | Dch_ObjChild0Fra (Aig_Obj_t *pObj) |
DECLARATIONS ///. More... | |
static Aig_Obj_t * | Dch_ObjChild1Fra (Aig_Obj_t *pObj) |
void | Dch_ManSweepNode (Dch_Man_t *p, Aig_Obj_t *pObj) |
FUNCTION DEFINITIONS ///. More... | |
void | Dch_ManSweep (Dch_Man_t *p) |
void Dch_ManSweep | ( | Dch_Man_t * | p | ) |
Function*************************************************************
Synopsis [Performs fraiging for the internal nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 106 of file dchSweep.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Performs fraiging for one node.]
Description [Returns the fraiged node.]
SideEffects []
SeeAlso []
Definition at line 49 of file dchSweep.c.
|
inlinestatic |
DECLARATIONS ///.
CFile****************************************************************
FileName [dchSweep.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Choice computation for tech-mapping.]
Synopsis [One round of SAT sweeping.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 29, 2008.]
Revision [
]
Definition at line 31 of file dchSweep.c.
Definition at line 32 of file dchSweep.c.