abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
rsb.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [rsb.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [Truth-table based resubstitution.]
8 
9  Synopsis [External declarations.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - June 20, 2005.]
16 
17  Revision [$Id: rsb.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__bool_Rsb_h
22 #define ABC__bool_Rsb_h
23 
24 
25 ////////////////////////////////////////////////////////////////////////
26 /// INCLUDES ///
27 ////////////////////////////////////////////////////////////////////////
28 
29 ////////////////////////////////////////////////////////////////////////
30 /// PARAMETERS ///
31 ////////////////////////////////////////////////////////////////////////
32 
33 ABC_NAMESPACE_HEADER_START
34 
35 ////////////////////////////////////////////////////////////////////////
36 /// BASIC TYPES ///
37 ////////////////////////////////////////////////////////////////////////
38 
39 typedef struct Rsb_Man_t_ Rsb_Man_t;
40 
41 ////////////////////////////////////////////////////////////////////////
42 /// MACRO DEFINITIONS ///
43 ////////////////////////////////////////////////////////////////////////
44 
45 ////////////////////////////////////////////////////////////////////////
46 /// FUNCTION DECLARATIONS ///
47 ////////////////////////////////////////////////////////////////////////
48 
49 /*=== rsbMan.c ==========================================================*/
50 extern Rsb_Man_t * Rsb_ManAlloc( int nLeafMax, int nDivMax, int nDecMax, int fVerbose );
51 extern void Rsb_ManFree( Rsb_Man_t * p );
52 extern Vec_Int_t * Rsb_ManGetFanins( Rsb_Man_t * p );
53 extern Vec_Int_t * Rsb_ManGetFaninsOld( Rsb_Man_t * p );
54 /*=== rsbDec6.c ==========================================================*/
55 extern int Rsb_ManPerformResub6( Rsb_Man_t * p, int nVars, word uTruth, Vec_Wrd_t * vDivTruths, word * puTruth0, word * puTruth1, int fVerbose );
56 
57 
58 ABC_NAMESPACE_HEADER_END
59 
60 #endif
61 
62 ////////////////////////////////////////////////////////////////////////
63 /// END OF FILE ///
64 ////////////////////////////////////////////////////////////////////////
65 
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Vec_Int_t
typedefABC_NAMESPACE_IMPL_START struct Vec_Int_t_ Vec_Int_t
DECLARATIONS ///.
Definition: bblif.c:37
Rsb_Man_t
typedefABC_NAMESPACE_HEADER_START struct Rsb_Man_t_ Rsb_Man_t
INCLUDES ///.
Definition: rsb.h:39
Rsb_ManAlloc
Rsb_Man_t * Rsb_ManAlloc(int nLeafMax, int nDivMax, int nDecMax, int fVerbose)
MACRO DEFINITIONS ///.
Definition: rsbMan.c:45
Rsb_ManFree
void Rsb_ManFree(Rsb_Man_t *p)
Definition: rsbMan.c:63
word
unsigned __int64 word
DECLARATIONS ///.
Definition: kitPerm.c:36
Rsb_ManGetFaninsOld
Vec_Int_t * Rsb_ManGetFaninsOld(Rsb_Man_t *p)
Definition: rsbMan.c:88
Rsb_Man_t_::fVerbose
int fVerbose
Definition: rsbInt.h:56
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
Rsb_Man_t_::nDecMax
int nDecMax
Definition: rsbInt.h:55
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106
Rsb_Man_t_
INCLUDES ///.
Definition: rsbInt.h:50
Rsb_ManGetFanins
Vec_Int_t * Rsb_ManGetFanins(Rsb_Man_t *p)
Definition: rsbMan.c:84
Rsb_Man_t_::nLeafMax
int nLeafMax
Definition: rsbInt.h:53
Rsb_ManPerformResub6
int Rsb_ManPerformResub6(Rsb_Man_t *p, int nVars, word uTruth, Vec_Wrd_t *vDivTruths, word *puTruth0, word *puTruth1, int fVerbose)
Definition: rsbDec6.c:694
Vec_Wrd_t
typedefABC_NAMESPACE_HEADER_START struct Vec_Wrd_t_ Vec_Wrd_t
INCLUDES ///.
Definition: vecWrd.h:42
Rsb_Man_t_::nDivMax
int nDivMax
Definition: rsbInt.h:54