diff options
Diffstat (limited to 'src/opt/res/res.h')
| -rw-r--r-- | src/opt/res/res.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/res/res.h b/src/opt/res/res.h index 91171d3b..4a887741 100644 --- a/src/opt/res/res.h +++ b/src/opt/res/res.h @@ -93,9 +93,9 @@ static inline void Res_WinAddNode( Res_Win_t * p, Abc_Obj_t * pObj ) extern void Res_WinDivisors( Res_Win_t * p, int nLevDivMax ); extern int Res_WinVisitMffc( Res_Win_t * p ); /*=== resFilter.c ==========================================================*/ -extern Vec_Ptr_t * Res_FilterCandidates( Res_Win_t * pWin, Res_Sim_t * pSim ); +extern Vec_Vec_t * Res_FilterCandidates( Res_Win_t * pWin, Res_Sim_t * pSim ); /*=== resSat.c ==========================================================*/ -extern Hop_Obj_t * Res_SatFindFunction( Hop_Man_t * pMan, Res_Win_t * pWin, Vec_Ptr_t * vFanins, Abc_Ntk_t * pAig ); +extern void * Res_SatProveUnsat( Abc_Ntk_t * pAig, Vec_Ptr_t * vFanins ); /*=== resSim.c ==========================================================*/ extern Res_Sim_t * Res_SimAlloc( int nWords ); extern void Res_SimFree( Res_Sim_t * p ); |