ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
plaMerge.c
Go to the documentation of this file.
1
20
21#include "pla.h"
22
23ABC_NAMESPACE_IMPL_START
24
28
32
44int Pla_ManDist1Merge( Pla_Man_t * p )
45{
46 return 0;
47}
48
52
53
54ABC_NAMESPACE_IMPL_END
55
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
Pla_ManDist1Merge
ABC_NAMESPACE_IMPL_START int Pla_ManDist1Merge(Pla_Man_t *p)
DECLARATIONS ///.
Definition plaMerge.c:44
Pla_Man_t
struct Pla_Man_t_ Pla_Man_t
Definition pla.h:63