1 | /**CHeaderFile***************************************************************** |
---|
2 | |
---|
3 | FileName [AigInt.h] |
---|
4 | |
---|
5 | PackageName [Aig] |
---|
6 | |
---|
7 | Synopsis [] |
---|
8 | |
---|
9 | Description [Internal data structures of the Aig package.] |
---|
10 | |
---|
11 | SeeAlso [] |
---|
12 | |
---|
13 | Author [Mohammad Awedh] |
---|
14 | |
---|
15 | Copyright [ This file was created at the University of Colorado at |
---|
16 | Boulder. The University of Colorado at Boulder makes no warranty |
---|
17 | about the suitability of this software for any purpose. It is |
---|
18 | presented on an AS IS basis.] |
---|
19 | |
---|
20 | Revision [$Id: aigInt.h,v 1.1.1.1 2008-11-14 20:40:10 hhkim Exp $] |
---|
21 | |
---|
22 | ******************************************************************************/ |
---|
23 | |
---|
24 | #ifndef _AigINT |
---|
25 | #define _AigINT |
---|
26 | |
---|
27 | #include "util.h" |
---|
28 | #include "array.h" |
---|
29 | #include "aig.h" |
---|
30 | |
---|
31 | /*---------------------------------------------------------------------------*/ |
---|
32 | /* Constant declarations */ |
---|
33 | /*---------------------------------------------------------------------------*/ |
---|
34 | |
---|
35 | /* Each node occupies 8 location. The following describes these locations */ |
---|
36 | |
---|
37 | /*---------------------------------------------------------------------------*/ |
---|
38 | /* Type declarations */ |
---|
39 | /*---------------------------------------------------------------------------*/ |
---|
40 | |
---|
41 | /*---------------------------------------------------------------------------*/ |
---|
42 | /* Structure declarations */ |
---|
43 | /*---------------------------------------------------------------------------*/ |
---|
44 | |
---|
45 | |
---|
46 | |
---|
47 | /*---------------------------------------------------------------------------*/ |
---|
48 | /* Variable declarations */ |
---|
49 | /*---------------------------------------------------------------------------*/ |
---|
50 | |
---|
51 | |
---|
52 | /*---------------------------------------------------------------------------*/ |
---|
53 | /* Macro declarations */ |
---|
54 | /*---------------------------------------------------------------------------*/ |
---|
55 | |
---|
56 | |
---|
57 | |
---|
58 | |
---|
59 | /**AutomaticStart*************************************************************/ |
---|
60 | |
---|
61 | /*---------------------------------------------------------------------------*/ |
---|
62 | /* Function prototypes */ |
---|
63 | /*---------------------------------------------------------------------------*/ |
---|
64 | |
---|
65 | EXTERN void AigSetPassFlag(Aig_Manager_t *manager, AigEdge_t node); |
---|
66 | EXTERN void AigResetPassFlag(Aig_Manager_t *manager, AigEdge_t node); |
---|
67 | EXTERN int AigGetPassFlag(Aig_Manager_t *manager, AigEdge_t node); |
---|
68 | EXTERN AigEdge_t AigCreateAndNode(Aig_Manager_t *manager, AigEdge_t node1, AigEdge_t node2); |
---|
69 | EXTERN int AigCheckInvariantWithAG( AigTransition_t *t, AigEdge_t objective); |
---|
70 | EXTERN void AigCleanUpDataFromPreviousExecution(AigTransition_t *t); |
---|
71 | EXTERN AigEdge_t AigBuildObjectiveFromFrontierSet(AigTransition_t *t); |
---|
72 | EXTERN void Aig_ComputeAX(AigTransition_t *t); |
---|
73 | |
---|
74 | |
---|
75 | /**AutomaticEnd***************************************************************/ |
---|
76 | |
---|
77 | #endif /* _AigINT */ |
---|