ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
cbaCba.c
Go to the documentation of this file.
1
20
21#include "cba.h"
22
23ABC_NAMESPACE_IMPL_START
24
28
32
44Cba_Man_t * Cba_ManReadCba( char * pFileName )
45{
46 return NULL;
47}
48void Cba_ManWriteCba( char * pFileName, Cba_Man_t * p )
49{
50}
51
55
56
57ABC_NAMESPACE_IMPL_END
58
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
Cba_ManReadCba
ABC_NAMESPACE_IMPL_START Cba_Man_t * Cba_ManReadCba(char *pFileName)
DECLARATIONS ///.
Definition cbaCba.c:44
Cba_ManWriteCba
void Cba_ManWriteCba(char *pFileName, Cba_Man_t *p)
Definition cbaCba.c:48
Cba_Man_t
struct Cba_Man_t_ Cba_Man_t
Definition cba.h:46
p
Cube * p
Definition exorList.c:222