diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-27 16:27:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-27 16:27:48 -0700 |
| commit | 53ca51f61af3bda329446c470dd7ccc3aba7bcfe (patch) | |
| tree | 849b49fd597b421c75e51e3205eec6914534cc3f /src/aig/gia/gia.h | |
| parent | 6f370462d17d1bbde69f4f80e90977589166da6a (diff) | |
| download | abc-53ca51f61af3bda329446c470dd7ccc3aba7bcfe.tar.gz abc-53ca51f61af3bda329446c470dd7ccc3aba7bcfe.tar.bz2 abc-53ca51f61af3bda329446c470dd7ccc3aba7bcfe.zip | |
Using seed assignment of edges in &edge.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 16d649cf..0b899698 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1217,6 +1217,7 @@ extern Gia_Man_t * Gia_ManDupSliced( Gia_Man_t * p, int nSuppMax ); extern void Gia_ManEdgeFromArray( Gia_Man_t * p, Vec_Int_t * vArray ); extern Vec_Int_t * Gia_ManEdgeToArray( Gia_Man_t * p ); extern void Gia_ManConvertPackingToEdges( Gia_Man_t * p ); +extern int Gia_ObjCheckEdge( Gia_Man_t * p, int iObj, int iNext ); extern int Gia_ManEvalEdgeDelay( Gia_Man_t * p ); extern int Gia_ManEvalEdgeCount( Gia_Man_t * p ); extern int Gia_ManComputeEdgeDelay( Gia_Man_t * p, int fUseTwo ); |