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/giaEdge.c | |
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/giaEdge.c')
-rw-r--r-- | src/aig/gia/giaEdge.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/aig/gia/giaEdge.c b/src/aig/gia/giaEdge.c index 36a375eb..65d9d6ef 100644 --- a/src/aig/gia/giaEdge.c +++ b/src/aig/gia/giaEdge.c @@ -169,6 +169,10 @@ static inline int Gia_ObjHaveEdge( Gia_Man_t * p, int iObj, int iNext ) { return Vec_IntEntry(p->vEdge1, iObj) == iNext || Vec_IntEntry(p->vEdge2, iObj) == iNext; } +int Gia_ObjCheckEdge( Gia_Man_t * p, int iObj, int iNext ) +{ + return Gia_ObjHaveEdge( p, iObj, iNext ); +} static inline int Gia_ObjEvalEdgeDelay( Gia_Man_t * p, int iObj, Vec_Int_t * vDelay ) { int i, iFan, Delay, DelayMax = 0; |