diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-25 19:37:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-25 19:37:01 -0800 |
| commit | 9e0c90d4c3f3c94afaf6ddd737f341f3bcfdd945 (patch) | |
| tree | 3628c800c79996833cfb305dbcf708b2212c95ef /src/aig/gia/giaTim.c | |
| parent | dd3e5a90dea198bb8366f32bdef4dc8672974d05 (diff) | |
| download | abc-9e0c90d4c3f3c94afaf6ddd737f341f3bcfdd945.tar.gz abc-9e0c90d4c3f3c94afaf6ddd737f341f3bcfdd945.tar.bz2 abc-9e0c90d4c3f3c94afaf6ddd737f341f3bcfdd945.zip | |
Adding integrity check for boxes and flops.
Diffstat (limited to 'src/aig/gia/giaTim.c')
| -rw-r--r-- | src/aig/gia/giaTim.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/aig/gia/giaTim.c b/src/aig/gia/giaTim.c index e1054fa9..ed232e82 100644 --- a/src/aig/gia/giaTim.c +++ b/src/aig/gia/giaTim.c @@ -54,6 +54,18 @@ int Gia_ManRegBoxNum( Gia_Man_t * p ) { return p->vRegClasses ? Vec_IntSize(p->vRegClasses) : 0; } +int Gia_ManNonRegBoxNum( Gia_Man_t * p ) +{ + return Gia_ManBoxNum(p) - Gia_ManRegBoxNum(p); +} +int Gia_ManBoxCiNum( Gia_Man_t * p ) +{ + return p->pManTime ? Gia_ManCiNum(p) - Tim_ManPiNum((Tim_Man_t *)p->pManTime) : 0; +} +int Gia_ManBoxCoNum( Gia_Man_t * p ) +{ + return p->pManTime ? Gia_ManCoNum(p) - Tim_ManPoNum((Tim_Man_t *)p->pManTime) : 0; +} /**Function************************************************************* |