From 103fa22e9ce6ecc0f10fee5dac29726a153b1774 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 3 Aug 2006 08:01:00 -0700 Subject: Version abc60803 --- src/opt/cut/cutInt.h | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/opt/cut/cutInt.h') diff --git a/src/opt/cut/cutInt.h b/src/opt/cut/cutInt.h index 2a0139d3..17f268c7 100644 --- a/src/opt/cut/cutInt.h +++ b/src/opt/cut/cutInt.h @@ -71,6 +71,11 @@ struct Cut_ManStruct_t_ Vec_Int_t * vNodeCuts; // the number of cuts for each node Vec_Int_t * vNodeStarts; // the number of the starting cut of each node Vec_Int_t * vCutPairs; // the pairs of parent cuts for each cut + // minimum delay mapping with the given cuts + Vec_Ptr_t * vCutsMax; + Vec_Int_t * vDelays; + Vec_Int_t * vDelays2; + int nDelayMin; // statistics int nCutsCur; int nCutsAlloc; @@ -88,6 +93,7 @@ struct Cut_ManStruct_t_ int timeTruth; int timeFilter; int timeHash; + int timeMap; }; // iterator through all the cuts of the list -- cgit v1.2.3