20#ifndef __ACD_WRAPPER_H_
21#define __ACD_WRAPPER_H_
25# define __builtin_popcount __popcnt
27# define __builtin_popcountl __popcnt
35int acd_evaluate(
word * pTruth,
unsigned nVars,
int lutSize,
unsigned *pdelay,
unsigned *cost,
int try_no_late_arrival );
36int acd_decompose(
word * pTruth,
unsigned nVars,
int lutSize,
unsigned *pdelay,
unsigned char *decomposition );
37int acd2_evaluate(
word * pTruth,
unsigned nVars,
int lutSize,
unsigned *pdelay,
unsigned *cost,
int try_no_late_arrival );
38int acd2_decompose(
word * pTruth,
unsigned nVars,
int lutSize,
unsigned *pdelay,
unsigned char *decomposition );
41int acdXX_decompose(
word * pTruth,
unsigned lutSize,
unsigned nVars,
unsigned char *decomposition );
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
int acd_decompose(word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned char *decomposition)
int acdXX_decompose(word *pTruth, unsigned lutSize, unsigned nVars, unsigned char *decomposition)
int acdXX_evaluate(word *pTruth, unsigned lutSize, unsigned nVars)
int acd2_evaluate(word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned *cost, int try_no_late_arrival)
int acd2_decompose(word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned char *decomposition)
ABC_NAMESPACE_HEADER_START int acd_evaluate(word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned *cost, int try_no_late_arrival)
unsigned __int64 word
DECLARATIONS ///.