From 7a3e57a4cb174325f7d78cedecb75da6f2b87fc5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 Mar 2014 00:11:33 -0700 Subject: Synchronizing with the recent version. --- src/opt/cgt/cgt.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/opt/cgt/cgt.h') diff --git a/src/opt/cgt/cgt.h b/src/opt/cgt/cgt.h index 73edbfc3..e92f4e31 100644 --- a/src/opt/cgt/cgt.h +++ b/src/opt/cgt/cgt.h @@ -69,7 +69,8 @@ struct Cgt_Par_t_ /*=== cgtCore.c ==========================================================*/ extern void Cgt_SetDefaultParams( Cgt_Par_t * p ); -extern Vec_Vec_t * Cgt_ClockGatingCandidates( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars ); +extern Vec_Vec_t * Cgt_ClockGatingCandidates( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars, Vec_Int_t * vUseful ); +extern Vec_Vec_t * Cgt_ClockGatingInt( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars, Vec_Int_t * vUseful ); extern Aig_Man_t * Cgt_ClockGating( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars ); -- cgit v1.2.3