ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
ifMatch2.c
Go to the documentation of this file.
1
20
21#include "if.h"
22
23ABC_NAMESPACE_IMPL_START
24
25
29
33
45void Bat_ManFuncSetupTable()
46{
47}
51int Bat_ManCellFuncLookup( void * pMan, unsigned * pTruth, int nVars, int nLeaves, char * pStr )
52{
53 return 1;
54}
55
59
60
61ABC_NAMESPACE_IMPL_END
62
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
Bat_ManCellFuncLookup
int Bat_ManCellFuncLookup(void *pMan, unsigned *pTruth, int nVars, int nLeaves, char *pStr)
Definition ifMatch2.c:51
Bat_ManFuncSetupTable
ABC_NAMESPACE_IMPL_START void Bat_ManFuncSetupTable()
DECLARATIONS ///.
Definition ifMatch2.c:45
Bat_ManFuncSetdownTable
void Bat_ManFuncSetdownTable()
Definition ifMatch2.c:48