ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
cas.h
Go to the documentation of this file.
1
20
21#ifndef ABC__bdd__cas__cas_h
22#define ABC__bdd__cas__cas_h
23
24
28
32
33
34
35ABC_NAMESPACE_HEADER_START
36
37
38#define MAXINPUTS 1024
39#define MAXOUTPUTS 1024
40
44
48
52
53/*=== zzz.c ==========================================================*/
54
55
56
57ABC_NAMESPACE_HEADER_END
58
59
60
61#endif
62
66
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50