rsb.h

Go to the documentation of this file.

 
#ifndef ABC__bool_Rsb_h
#define ABC__bool_Rsb_h
 


 
ABC_NAMESPACE_HEADER_START

 
typedef struct Rsb_Man_t_ Rsb_Man_t;


 
/*=== rsbMan.c ==========================================================*/
extern Rsb_Man_t *  Rsb_ManAlloc( int nLeafMax, int nDivMax, int nDecMax, int fVerbose );
extern void         Rsb_ManFree( Rsb_Man_t * p );
extern Vec_Int_t *  Rsb_ManGetFanins( Rsb_Man_t * p );
extern Vec_Int_t *  Rsb_ManGetFaninsOld( Rsb_Man_t * p );
/*=== rsbDec6.c ==========================================================*/
extern int          Rsb_ManPerformResub6( Rsb_Man_t * p, int nVars, word uTruth, Vec_Wrd_t * vDivTruths, word * puTruth0, word * puTruth1, int fVerbose );
 
 
ABC_NAMESPACE_HEADER_END
 
#endif