ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
extraUtilGen.c
Go to the documentation of this file.
1
20
21#include <stdio.h>
22#include <stdlib.h>
23#include <string.h>
24#include <assert.h>
25
26#include "aig/gia/gia.h"
27#include "misc/vec/vecMem.h"
28#include "misc/extra/extra.h"
29#include "misc/util/utilTruth.h"
30
31ABC_NAMESPACE_IMPL_START
32
36
37
41
53Gia_Man_t * Extra_CommandGen( int Algo, int LutSize, int nLuts, int nLevels, int Limit, int nBestTries, int Multi, int fXor, int fVerbose )
54{
55 return NULL;
56}
57
61
62
63ABC_NAMESPACE_IMPL_END
64
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
Extra_CommandGen
ABC_NAMESPACE_IMPL_START Gia_Man_t * Extra_CommandGen(int Algo, int LutSize, int nLuts, int nLevels, int Limit, int nBestTries, int Multi, int fXor, int fVerbose)
DECLARATIONS ///.
Definition extraUtilGen.c:53
Gia_Man_t
struct Gia_Man_t_ Gia_Man_t
Definition gia.h:96