From 9e0c90d4c3f3c94afaf6ddd737f341f3bcfdd945 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 25 Nov 2014 19:37:01 -0800
Subject: Adding integrity check for boxes and flops.

---
 src/aig/gia/giaTim.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/aig/gia/giaTim.c')

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*************************************************************
 
-- 
cgit v1.2.3