ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
csw.h
Go to the documentation of this file.
1
20
21#ifndef ABC__aig__csw__csw_h
22#define ABC__aig__csw__csw_h
23
24
28
32
33
34
35ABC_NAMESPACE_HEADER_START
36
37
41
42
46
50
54
55/*=== cnfCore.c ========================================================*/
56extern Aig_Man_t * Csw_Sweep( Aig_Man_t * pAig, int nCutsMax, int nLeafMax, int fVerbose );
57
58
59
60ABC_NAMESPACE_HEADER_END
61
62
63
64#endif
65
69
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
Aig_Man_t
typedefABC_NAMESPACE_HEADER_START struct Aig_Man_t_ Aig_Man_t
INCLUDES ///.
Definition aig.h:50
Csw_Sweep
ABC_NAMESPACE_HEADER_START Aig_Man_t * Csw_Sweep(Aig_Man_t *pAig, int nCutsMax, int nLeafMax, int fVerbose)
INCLUDES ///.
Definition cswCore.c:45