absRefJ.h

Go to the documentation of this file.

 
#ifndef ABC__proof_abs__AbsRef2_h
#define ABC__proof_abs__AbsRef2_h
 


 
ABC_NAMESPACE_HEADER_START
 

 
typedef struct Rf2_Man_t_ Rf2_Man_t; // refinement manager


 
/*=== giaAbsRef.c ===========================================================*/
extern Rf2_Man_t *  Rf2_ManStart( Gia_Man_t * pGia );
extern void         Rf2_ManStop( Rf2_Man_t * p, int fProfile );
extern double       Rf2_ManMemoryUsage( Rf2_Man_t * p );
extern Vec_Int_t *  Rf2_ManRefine( Rf2_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, int fPropFanout, int fVerbose );
 
 
 
ABC_NAMESPACE_HEADER_END
 
 
 
#endif