ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
dauInt.h
Go to the documentation of this file.
1
20
21#ifndef ABC__DAU_INT__h
22#define ABC__DAU_INT__h
23
24
28
29#include <stdio.h>
30#include <stdlib.h>
31#include <string.h>
32#include <assert.h>
33#include <time.h>
34#include "misc/vec/vec.h"
35#include "dau.h"
36
40
41
42ABC_NAMESPACE_HEADER_START
43
44
48
52
56
57/*=== zzz.c ==========================================================*/
58
59
60
61ABC_NAMESPACE_HEADER_END
62
63
64
65#endif
66
70
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