From 5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 Sep 2012 09:54:19 -0700 Subject: Restructured the code to post-process object used during refinement in &gla. --- src/proof/abs/absDup.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/proof/abs/absDup.c') diff --git a/src/proof/abs/absDup.c b/src/proof/abs/absDup.c index 247137bd..94215575 100644 --- a/src/proof/abs/absDup.c +++ b/src/proof/abs/absDup.c @@ -53,7 +53,7 @@ void Gia_ManDupAbsFlops_rec( Gia_Man_t * pNew, Gia_Obj_t * pObj ) /**Function************************************************************* - Synopsis [Performs abstraction of the AIG to preserve the included flops.] + Synopsis [Extractes a flop-level abstraction given a flop map.] Description [] @@ -207,7 +207,7 @@ void Gia_ManDupAbsGates_rec( Gia_Man_t * pNew, Gia_Obj_t * pObj ) /**Function************************************************************* - Synopsis [Performs abstraction of the AIG to preserve the included gates.] + Synopsis [Extractes a gate-level abstraction given a gate map.] Description [The array contains 1 for those objects (const, RO, AND) that are included in the abstraction; 0, otherwise.] -- cgit v1.2.3