ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
giaResub3.c
Go to the documentation of this file.
1
20
21#include "gia.h"
22
23ABC_NAMESPACE_IMPL_START
24
28
32
44Gia_Man_t * Gia_ManPerformNewResub( Gia_Man_t * p, int nWinCount, int nCutSize, int nProcs, int fVerbose )
45{
46 return NULL;
47}
48
52
53ABC_NAMESPACE_IMPL_END
54
ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition abc_namespaces.h:54
ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition abc_namespaces.h:55
p
Cube * p
Definition exorList.c:222
Gia_ManPerformNewResub
ABC_NAMESPACE_IMPL_START Gia_Man_t * Gia_ManPerformNewResub(Gia_Man_t *p, int nWinCount, int nCutSize, int nProcs, int fVerbose)
DECLARATIONS ///.
Definition giaResub3.c:44
Gia_Man_t
struct Gia_Man_t_ Gia_Man_t
Definition gia.h:96