pyrox.dev
1commit 53b6043e25b2eba264faab845077fbf6736cf22f
2Author: Petr Rockai <me@mornfall.net>
3Date: Tue Jan 7 13:30:07 2014 +0100
4
5 aig: Comment out unused functions with undefined references in them.
6
7diff --git a/src/extlib-abc/aig/aig/aigPart.c b/src/extlib-abc/aig/aig/aigPart.c
8index a4cc116..5bd5f08 100644
9--- a/src/extlib-abc/aig/aig/aigPart.c
10+++ b/src/extlib-abc/aig/aig/aigPart.c
11@@ -869,6 +869,7 @@ Vec_Ptr_t * Aig_ManMiterPartitioned( Aig_Man_t * p1, Aig_Man_t * p2, int nPartSi
12 SeeAlso []
13
14 ***********************************************************************/
15+#if 0
16 Aig_Man_t * Aig_ManChoicePartitioned( Vec_Ptr_t * vAigs, int nPartSize )
17 {
18 extern int Cmd_CommandExecute( void * pAbc, char * sCommand );
19@@ -981,6 +982,7 @@ Aig_Man_t * Aig_ManChoicePartitioned( Vec_Ptr_t * vAigs, int nPartSize )
20 Aig_ManMarkValidChoices( pAig );
21 return pAig;
22 }
23+#endif
24
25
26 ////////////////////////////////////////////////////////////////////////
27diff --git a/src/extlib-abc/aig/aig/aigShow.c b/src/extlib-abc/aig/aig/aigShow.c
28index ae8fa8b..f04eedc 100644
29--- a/src/extlib-abc/aig/aig/aigShow.c
30+++ b/src/extlib-abc/aig/aig/aigShow.c
31@@ -326,6 +326,7 @@ void Aig_WriteDotAig( Aig_Man_t * pMan, char * pFileName, int fHaig, Vec_Ptr_t *
32 SeeAlso []
33
34 ***********************************************************************/
35+#if 0
36 void Aig_ManShow( Aig_Man_t * pMan, int fHaig, Vec_Ptr_t * vBold )
37 {
38 extern void Abc_ShowFile( char * FileNameDot );
39@@ -347,7 +348,7 @@ void Aig_ManShow( Aig_Man_t * pMan, int fHaig, Vec_Ptr_t * vBold )
40 // visualize the file
41 Abc_ShowFile( FileNameDot );
42 }
43-
44+#endif
45
46 ////////////////////////////////////////////////////////////////////////
47 /// END OF FILE ///
48diff --git a/src/extlib-abc/aig/dar/darRefact.c b/src/extlib-abc/aig/dar/darRefact.c
49index d744b4f..23fc3d5 100644
50--- a/src/extlib-abc/aig/dar/darRefact.c
51+++ b/src/extlib-abc/aig/dar/darRefact.c
52@@ -340,6 +340,7 @@ printf( "\n" );
53 SeeAlso []
54
55 ***********************************************************************/
56+#if 0
57 int Dar_ManRefactorTryCuts( Ref_Man_t * p, Aig_Obj_t * pObj, int nNodesSaved, int Required )
58 {
59 Vec_Ptr_t * vCut;
60@@ -428,6 +429,7 @@ int Dar_ManRefactorTryCuts( Ref_Man_t * p, Aig_Obj_t * pObj, int nNodesSaved, in
61 }
62 return p->GainBest;
63 }
64+#endif
65
66 /**Function*************************************************************
67
68@@ -461,6 +463,7 @@ int Dar_ObjCutLevelAchieved( Vec_Ptr_t * vCut, int nLevelMin )
69 SeeAlso []
70
71 ***********************************************************************/
72+#if 0
73 int Dar_ManRefactor( Aig_Man_t * pAig, Dar_RefPar_t * pPars )
74 {
75 // Bar_Progress_t * pProgress;
76@@ -583,6 +586,7 @@ p->timeOther = p->timeTotal - p->timeCuts - p->timeEval;
77 return 1;
78
79 }
80+#endif
81
82 ////////////////////////////////////////////////////////////////////////
83 /// END OF FILE ///
84diff --git a/src/extlib-abc/aig/dar/darScript.c b/src/extlib-abc/aig/dar/darScript.c
85index e60df00..1b9c24f 100644
86--- a/src/extlib-abc/aig/dar/darScript.c
87+++ b/src/extlib-abc/aig/dar/darScript.c
88@@ -64,6 +64,7 @@ Aig_Man_t * Dar_ManRewriteDefault( Aig_Man_t * pAig )
89 SeeAlso []
90
91 ***********************************************************************/
92+#if 0
93 Aig_Man_t * Dar_ManRwsat( Aig_Man_t * pAig, int fBalance, int fVerbose )
94 //alias rwsat "st; rw -l; b -l; rw -l; rf -l"
95 {
96@@ -108,7 +109,7 @@ Aig_Man_t * Dar_ManRwsat( Aig_Man_t * pAig, int fBalance, int fVerbose )
97
98 return pAig;
99 }
100-
101+#endif
102
103 /**Function*************************************************************
104
105@@ -121,6 +122,7 @@ Aig_Man_t * Dar_ManRwsat( Aig_Man_t * pAig, int fBalance, int fVerbose )
106 SeeAlso []
107
108 ***********************************************************************/
109+#if 0
110 Aig_Man_t * Dar_ManCompress( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int fVerbose )
111 //alias compress2 "b -l; rw -l; rwz -l; b -l; rwz -l; b -l"
112 {
113@@ -180,6 +182,7 @@ Aig_Man_t * Dar_ManCompress( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, i
114
115 return pAig;
116 }
117+#endif
118
119 /**Function*************************************************************
120
121@@ -192,6 +195,7 @@ Aig_Man_t * Dar_ManCompress( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, i
122 SeeAlso []
123
124 ***********************************************************************/
125+#if 0
126 Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int fVerbose )
127 //alias compress2 "b -l; rw -l; rf -l; b -l; rw -l; rwz -l; b -l; rfz -l; rwz -l; b -l"
128 {
129@@ -285,6 +289,7 @@ Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel,
130 }
131 return pAig;
132 }
133+#endif
134
135 /**Function*************************************************************
136
137@@ -297,6 +302,7 @@ Aig_Man_t * Dar_ManCompress2( Aig_Man_t * pAig, int fBalance, int fUpdateLevel,
138 SeeAlso []
139
140 ***********************************************************************/
141+#if 0
142 Vec_Ptr_t * Dar_ManChoiceSynthesis( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int fVerbose )
143 //alias resyn "b; rw; rwz; b; rwz; b"
144 //alias resyn2 "b; rw; rf; b; rw; rwz; b; rfz; rwz; b"
145@@ -311,6 +317,7 @@ Vec_Ptr_t * Dar_ManChoiceSynthesis( Aig_Man_t * pAig, int fBalance, int fUpdateL
146 Vec_PtrPush( vAigs, pAig );
147 return vAigs;
148 }
149+#endif
150
151 /**Function*************************************************************
152
153diff --git a/src/extlib-abc/aig/kit/kitAig.c b/src/extlib-abc/aig/kit/kitAig.c
154index de301f2..7e5df0f 100644
155--- a/src/extlib-abc/aig/kit/kitAig.c
156+++ b/src/extlib-abc/aig/kit/kitAig.c
157@@ -95,6 +95,7 @@ Aig_Obj_t * Kit_GraphToAig( Aig_Man_t * pMan, Aig_Obj_t ** pFanins, Kit_Graph_t
158 SeeAlso []
159
160 ***********************************************************************/
161+#if 0
162 Aig_Obj_t * Kit_TruthToAig( Aig_Man_t * pMan, Aig_Obj_t ** pFanins, unsigned * pTruth, int nVars, Vec_Int_t * vMemory )
163 {
164 Aig_Obj_t * pObj;
165@@ -113,6 +114,7 @@ Aig_Obj_t * Kit_TruthToAig( Aig_Man_t * pMan, Aig_Obj_t ** pFanins, unsigned * p
166 Kit_GraphFree( pGraph );
167 return pObj;
168 }
169+#endif
170
171 ////////////////////////////////////////////////////////////////////////
172 /// END OF FILE ///
173diff --git a/src/extlib-abc/aig/kit/kitGraph.c b/src/extlib-abc/aig/kit/kitGraph.c
174index 39ef587..0485c66 100644
175--- a/src/extlib-abc/aig/kit/kitGraph.c
176+++ b/src/extlib-abc/aig/kit/kitGraph.c
177@@ -349,6 +349,7 @@ unsigned Kit_GraphToTruth( Kit_Graph_t * pGraph )
178 SeeAlso []
179
180 ***********************************************************************/
181+#if 0
182 Kit_Graph_t * Kit_TruthToGraph( unsigned * pTruth, int nVars, Vec_Int_t * vMemory )
183 {
184 Kit_Graph_t * pGraph;
185@@ -365,6 +366,7 @@ Kit_Graph_t * Kit_TruthToGraph( unsigned * pTruth, int nVars, Vec_Int_t * vMemor
186 pGraph = Kit_SopFactor( vMemory, RetValue, nVars, vMemory );
187 return pGraph;
188 }
189+#endif
190
191 /**Function*************************************************************
192