ruby_abc 0.0.6 → 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (1730) hide show
  1. checksums.yaml +5 -5
  2. data/.yardopts +7 -0
  3. data/LICENSE +51 -52
  4. data/README.md +48 -28
  5. data/bin/ruby_abc +83 -66
  6. data/ext/ruby_abc/extconf.rb +58 -0
  7. data/ext/{ruby_abc.c → ruby_abc/ruby_abc.c} +38 -70
  8. data/ext/ruby_abc/ruby_abc.map +6 -0
  9. data/ext/{ruby_abc_wrapper.c → ruby_abc/ruby_abc_wrapper.c} +0 -0
  10. data/ext/ruby_abc/ruby_abc_wrapper.h +39 -0
  11. data/lib/ruby_abc/version.rb +4 -0
  12. data/lib/ruby_abc.rb +247 -230
  13. data/share/bash_completion/ruby_abc.bash-completion.sh +24 -0
  14. data/share/osu018.genlib +66 -0
  15. data/share/simple.genlib +25 -0
  16. metadata +17 -1725
  17. data/Rakefile +0 -87
  18. data/ext/abc/CMakeLists.txt +0 -103
  19. data/ext/abc/Makefile +0 -213
  20. data/ext/abc/abc.rc +0 -146
  21. data/ext/abc/abcexe.dsp +0 -103
  22. data/ext/abc/abclib.dsp +0 -5948
  23. data/ext/abc/abcspace.dsw +0 -44
  24. data/ext/abc/arch_flags.c +0 -17
  25. data/ext/abc/copyright.txt +0 -23
  26. data/ext/abc/depends.sh +0 -13
  27. data/ext/abc/i10.aig +0 -752
  28. data/ext/abc/lib/pthread.h +0 -1369
  29. data/ext/abc/lib/sched.h +0 -178
  30. data/ext/abc/lib/semaphore.h +0 -166
  31. data/ext/abc/lib/x64/pthreadVC2.dll +0 -0
  32. data/ext/abc/lib/x64/pthreadVC2.lib +0 -0
  33. data/ext/abc/lib/x86/pthreadVC2.dll +0 -0
  34. data/ext/abc/lib/x86/pthreadVC2.lib +0 -0
  35. data/ext/abc/readme.md +0 -111
  36. data/ext/abc/readmeaig +0 -47
  37. data/ext/abc/src/aig/aig/aig.h +0 -713
  38. data/ext/abc/src/aig/aig/aigCanon.c +0 -701
  39. data/ext/abc/src/aig/aig/aigCheck.c +0 -168
  40. data/ext/abc/src/aig/aig/aigCuts.c +0 -673
  41. data/ext/abc/src/aig/aig/aigDfs.c +0 -1136
  42. data/ext/abc/src/aig/aig/aigDoms.c +0 -1154
  43. data/ext/abc/src/aig/aig/aigDup.c +0 -1335
  44. data/ext/abc/src/aig/aig/aigFact.c +0 -734
  45. data/ext/abc/src/aig/aig/aigFanout.c +0 -194
  46. data/ext/abc/src/aig/aig/aigFrames.c +0 -140
  47. data/ext/abc/src/aig/aig/aigInter.c +0 -301
  48. data/ext/abc/src/aig/aig/aigJust.c +0 -316
  49. data/ext/abc/src/aig/aig/aigMan.c +0 -486
  50. data/ext/abc/src/aig/aig/aigMem.c +0 -610
  51. data/ext/abc/src/aig/aig/aigMffc.c +0 -316
  52. data/ext/abc/src/aig/aig/aigObj.c +0 -536
  53. data/ext/abc/src/aig/aig/aigOper.c +0 -606
  54. data/ext/abc/src/aig/aig/aigOrder.c +0 -176
  55. data/ext/abc/src/aig/aig/aigPack.c +0 -404
  56. data/ext/abc/src/aig/aig/aigPart.c +0 -1613
  57. data/ext/abc/src/aig/aig/aigPartReg.c +0 -629
  58. data/ext/abc/src/aig/aig/aigPartSat.c +0 -618
  59. data/ext/abc/src/aig/aig/aigRepar.c +0 -403
  60. data/ext/abc/src/aig/aig/aigRepr.c +0 -559
  61. data/ext/abc/src/aig/aig/aigRet.c +0 -975
  62. data/ext/abc/src/aig/aig/aigRetF.c +0 -214
  63. data/ext/abc/src/aig/aig/aigScl.c +0 -708
  64. data/ext/abc/src/aig/aig/aigShow.c +0 -368
  65. data/ext/abc/src/aig/aig/aigSplit.c +0 -330
  66. data/ext/abc/src/aig/aig/aigTable.c +0 -277
  67. data/ext/abc/src/aig/aig/aigTest.c +0 -39
  68. data/ext/abc/src/aig/aig/aigTiming.c +0 -356
  69. data/ext/abc/src/aig/aig/aigTruth.c +0 -103
  70. data/ext/abc/src/aig/aig/aigTsim.c +0 -526
  71. data/ext/abc/src/aig/aig/aigUtil.c +0 -1575
  72. data/ext/abc/src/aig/aig/aigWin.c +0 -189
  73. data/ext/abc/src/aig/aig/aig_.c +0 -53
  74. data/ext/abc/src/aig/aig/module.make +0 -31
  75. data/ext/abc/src/aig/gia/gia.c +0 -52
  76. data/ext/abc/src/aig/gia/gia.h +0 -1667
  77. data/ext/abc/src/aig/gia/giaAgi.c +0 -238
  78. data/ext/abc/src/aig/gia/giaAig.c +0 -676
  79. data/ext/abc/src/aig/gia/giaAig.h +0 -78
  80. data/ext/abc/src/aig/gia/giaAiger.c +0 -1479
  81. data/ext/abc/src/aig/gia/giaAigerExt.c +0 -326
  82. data/ext/abc/src/aig/gia/giaBalAig.c +0 -1095
  83. data/ext/abc/src/aig/gia/giaBalLut.c +0 -982
  84. data/ext/abc/src/aig/gia/giaBalMap.c +0 -326
  85. data/ext/abc/src/aig/gia/giaBidec.c +0 -305
  86. data/ext/abc/src/aig/gia/giaCCof.c +0 -349
  87. data/ext/abc/src/aig/gia/giaCSat.c +0 -1105
  88. data/ext/abc/src/aig/gia/giaCSatOld.c +0 -804
  89. data/ext/abc/src/aig/gia/giaCTas.c +0 -1790
  90. data/ext/abc/src/aig/gia/giaCTas2.c +0 -208
  91. data/ext/abc/src/aig/gia/giaCex.c +0 -392
  92. data/ext/abc/src/aig/gia/giaClp.c +0 -422
  93. data/ext/abc/src/aig/gia/giaCof.c +0 -1002
  94. data/ext/abc/src/aig/gia/giaCone.c +0 -590
  95. data/ext/abc/src/aig/gia/giaConstr.c +0 -52
  96. data/ext/abc/src/aig/gia/giaCut.c +0 -646
  97. data/ext/abc/src/aig/gia/giaDfs.c +0 -582
  98. data/ext/abc/src/aig/gia/giaDup.c +0 -4791
  99. data/ext/abc/src/aig/gia/giaEdge.c +0 -1000
  100. data/ext/abc/src/aig/gia/giaEmbed.c +0 -1876
  101. data/ext/abc/src/aig/gia/giaEnable.c +0 -650
  102. data/ext/abc/src/aig/gia/giaEquiv.c +0 -2416
  103. data/ext/abc/src/aig/gia/giaEra.c +0 -602
  104. data/ext/abc/src/aig/gia/giaEra2.c +0 -1963
  105. data/ext/abc/src/aig/gia/giaEsop.c +0 -541
  106. data/ext/abc/src/aig/gia/giaFalse.c +0 -552
  107. data/ext/abc/src/aig/gia/giaFanout.c +0 -338
  108. data/ext/abc/src/aig/gia/giaForce.c +0 -1106
  109. data/ext/abc/src/aig/gia/giaFrames.c +0 -996
  110. data/ext/abc/src/aig/gia/giaFront.c +0 -295
  111. data/ext/abc/src/aig/gia/giaFx.c +0 -487
  112. data/ext/abc/src/aig/gia/giaGiarf.c +0 -1079
  113. data/ext/abc/src/aig/gia/giaGig.c +0 -506
  114. data/ext/abc/src/aig/gia/giaGlitch.c +0 -786
  115. data/ext/abc/src/aig/gia/giaHash.c +0 -816
  116. data/ext/abc/src/aig/gia/giaHcd.c +0 -689
  117. data/ext/abc/src/aig/gia/giaIf.c +0 -2536
  118. data/ext/abc/src/aig/gia/giaIff.c +0 -444
  119. data/ext/abc/src/aig/gia/giaIiff.c +0 -62
  120. data/ext/abc/src/aig/gia/giaIiff.h +0 -54
  121. data/ext/abc/src/aig/gia/giaIso.c +0 -1331
  122. data/ext/abc/src/aig/gia/giaIso2.c +0 -776
  123. data/ext/abc/src/aig/gia/giaIso3.c +0 -167
  124. data/ext/abc/src/aig/gia/giaJf.c +0 -1805
  125. data/ext/abc/src/aig/gia/giaKf.c +0 -1341
  126. data/ext/abc/src/aig/gia/giaLf.c +0 -2301
  127. data/ext/abc/src/aig/gia/giaMan.c +0 -1126
  128. data/ext/abc/src/aig/gia/giaMem.c +0 -598
  129. data/ext/abc/src/aig/gia/giaMf.c +0 -1741
  130. data/ext/abc/src/aig/gia/giaMffc.c +0 -313
  131. data/ext/abc/src/aig/gia/giaMfs.c +0 -477
  132. data/ext/abc/src/aig/gia/giaMini.c +0 -574
  133. data/ext/abc/src/aig/gia/giaMuxes.c +0 -915
  134. data/ext/abc/src/aig/gia/giaNf.c +0 -2420
  135. data/ext/abc/src/aig/gia/giaOf.c +0 -1866
  136. data/ext/abc/src/aig/gia/giaPack.c +0 -207
  137. data/ext/abc/src/aig/gia/giaPat.c +0 -135
  138. data/ext/abc/src/aig/gia/giaPf.c +0 -1354
  139. data/ext/abc/src/aig/gia/giaProp.c +0 -176
  140. data/ext/abc/src/aig/gia/giaQbf.c +0 -701
  141. data/ext/abc/src/aig/gia/giaResub.c +0 -292
  142. data/ext/abc/src/aig/gia/giaRetime.c +0 -304
  143. data/ext/abc/src/aig/gia/giaRex.c +0 -545
  144. data/ext/abc/src/aig/gia/giaSat.c +0 -427
  145. data/ext/abc/src/aig/gia/giaSat3.c +0 -136
  146. data/ext/abc/src/aig/gia/giaSatEdge.c +0 -537
  147. data/ext/abc/src/aig/gia/giaSatLE.c +0 -1083
  148. data/ext/abc/src/aig/gia/giaSatLut.c +0 -1225
  149. data/ext/abc/src/aig/gia/giaSatMap.c +0 -554
  150. data/ext/abc/src/aig/gia/giaSatoko.c +0 -274
  151. data/ext/abc/src/aig/gia/giaScl.c +0 -300
  152. data/ext/abc/src/aig/gia/giaScript.c +0 -783
  153. data/ext/abc/src/aig/gia/giaShow.c +0 -1164
  154. data/ext/abc/src/aig/gia/giaShrink.c +0 -154
  155. data/ext/abc/src/aig/gia/giaShrink6.c +0 -492
  156. data/ext/abc/src/aig/gia/giaShrink7.c +0 -373
  157. data/ext/abc/src/aig/gia/giaSim.c +0 -905
  158. data/ext/abc/src/aig/gia/giaSim2.c +0 -706
  159. data/ext/abc/src/aig/gia/giaSort.c +0 -273
  160. data/ext/abc/src/aig/gia/giaSpeedup.c +0 -805
  161. data/ext/abc/src/aig/gia/giaSplit.c +0 -578
  162. data/ext/abc/src/aig/gia/giaStg.c +0 -528
  163. data/ext/abc/src/aig/gia/giaStr.c +0 -1865
  164. data/ext/abc/src/aig/gia/giaSupMin.c +0 -165
  165. data/ext/abc/src/aig/gia/giaSupp.c +0 -886
  166. data/ext/abc/src/aig/gia/giaSweep.c +0 -777
  167. data/ext/abc/src/aig/gia/giaSweeper.c +0 -1185
  168. data/ext/abc/src/aig/gia/giaSwitch.c +0 -829
  169. data/ext/abc/src/aig/gia/giaTim.c +0 -1017
  170. data/ext/abc/src/aig/gia/giaTis.c +0 -213
  171. data/ext/abc/src/aig/gia/giaTruth.c +0 -639
  172. data/ext/abc/src/aig/gia/giaTsim.c +0 -757
  173. data/ext/abc/src/aig/gia/giaUnate.c +0 -255
  174. data/ext/abc/src/aig/gia/giaUtil.c +0 -2136
  175. data/ext/abc/src/aig/gia/module.make +0 -89
  176. data/ext/abc/src/aig/hop/cudd2.c +0 -360
  177. data/ext/abc/src/aig/hop/cudd2.h +0 -86
  178. data/ext/abc/src/aig/hop/hop.h +0 -356
  179. data/ext/abc/src/aig/hop/hopBalance.c +0 -401
  180. data/ext/abc/src/aig/hop/hopCheck.c +0 -115
  181. data/ext/abc/src/aig/hop/hopDfs.c +0 -591
  182. data/ext/abc/src/aig/hop/hopMan.c +0 -169
  183. data/ext/abc/src/aig/hop/hopMem.c +0 -120
  184. data/ext/abc/src/aig/hop/hopObj.c +0 -277
  185. data/ext/abc/src/aig/hop/hopOper.c +0 -378
  186. data/ext/abc/src/aig/hop/hopTable.c +0 -232
  187. data/ext/abc/src/aig/hop/hopTruth.c +0 -274
  188. data/ext/abc/src/aig/hop/hopUtil.c +0 -578
  189. data/ext/abc/src/aig/hop/hop_.c +0 -53
  190. data/ext/abc/src/aig/hop/module.make +0 -10
  191. data/ext/abc/src/aig/ioa/ioa.h +0 -87
  192. data/ext/abc/src/aig/ioa/ioaReadAig.c +0 -465
  193. data/ext/abc/src/aig/ioa/ioaUtil.c +0 -146
  194. data/ext/abc/src/aig/ioa/ioaWriteAig.c +0 -599
  195. data/ext/abc/src/aig/ioa/module.make +0 -3
  196. data/ext/abc/src/aig/ivy/attr.h +0 -418
  197. data/ext/abc/src/aig/ivy/ivy.h +0 -562
  198. data/ext/abc/src/aig/ivy/ivyBalance.c +0 -414
  199. data/ext/abc/src/aig/ivy/ivyCanon.c +0 -149
  200. data/ext/abc/src/aig/ivy/ivyCheck.c +0 -278
  201. data/ext/abc/src/aig/ivy/ivyCut.c +0 -995
  202. data/ext/abc/src/aig/ivy/ivyCutTrav.c +0 -478
  203. data/ext/abc/src/aig/ivy/ivyDfs.c +0 -498
  204. data/ext/abc/src/aig/ivy/ivyDsd.c +0 -831
  205. data/ext/abc/src/aig/ivy/ivyFanout.c +0 -314
  206. data/ext/abc/src/aig/ivy/ivyFastMap.c +0 -1569
  207. data/ext/abc/src/aig/ivy/ivyFraig.c +0 -2972
  208. data/ext/abc/src/aig/ivy/ivyHaig.c +0 -535
  209. data/ext/abc/src/aig/ivy/ivyMan.c +0 -552
  210. data/ext/abc/src/aig/ivy/ivyMem.c +0 -121
  211. data/ext/abc/src/aig/ivy/ivyMulti.c +0 -312
  212. data/ext/abc/src/aig/ivy/ivyMulti8.c +0 -432
  213. data/ext/abc/src/aig/ivy/ivyObj.c +0 -481
  214. data/ext/abc/src/aig/ivy/ivyOper.c +0 -298
  215. data/ext/abc/src/aig/ivy/ivyResyn.c +0 -201
  216. data/ext/abc/src/aig/ivy/ivyRwr.c +0 -618
  217. data/ext/abc/src/aig/ivy/ivyRwrAlg.c +0 -413
  218. data/ext/abc/src/aig/ivy/ivySeq.c +0 -1142
  219. data/ext/abc/src/aig/ivy/ivyShow.c +0 -343
  220. data/ext/abc/src/aig/ivy/ivyTable.c +0 -272
  221. data/ext/abc/src/aig/ivy/ivyUtil.c +0 -824
  222. data/ext/abc/src/aig/ivy/ivy_.c +0 -53
  223. data/ext/abc/src/aig/ivy/module.make +0 -22
  224. data/ext/abc/src/aig/miniaig/abcOper.h +0 -249
  225. data/ext/abc/src/aig/miniaig/miniaig.h +0 -346
  226. data/ext/abc/src/aig/miniaig/minilut.h +0 -288
  227. data/ext/abc/src/aig/miniaig/module.make +0 -1
  228. data/ext/abc/src/aig/miniaig/ndr.h +0 -521
  229. data/ext/abc/src/aig/saig/module.make +0 -26
  230. data/ext/abc/src/aig/saig/saig.h +0 -200
  231. data/ext/abc/src/aig/saig/saigCone.c +0 -181
  232. data/ext/abc/src/aig/saig/saigConstr.c +0 -484
  233. data/ext/abc/src/aig/saig/saigConstr2.c +0 -1013
  234. data/ext/abc/src/aig/saig/saigDual.c +0 -240
  235. data/ext/abc/src/aig/saig/saigDup.c +0 -600
  236. data/ext/abc/src/aig/saig/saigGlaCba.c +0 -840
  237. data/ext/abc/src/aig/saig/saigGlaPba.c +0 -589
  238. data/ext/abc/src/aig/saig/saigGlaPba2.c +0 -558
  239. data/ext/abc/src/aig/saig/saigInd.c +0 -409
  240. data/ext/abc/src/aig/saig/saigIoa.c +0 -405
  241. data/ext/abc/src/aig/saig/saigIso.c +0 -628
  242. data/ext/abc/src/aig/saig/saigIsoFast.c +0 -353
  243. data/ext/abc/src/aig/saig/saigIsoSlow.c +0 -1224
  244. data/ext/abc/src/aig/saig/saigMiter.c +0 -1317
  245. data/ext/abc/src/aig/saig/saigOutDec.c +0 -205
  246. data/ext/abc/src/aig/saig/saigPhase.c +0 -1081
  247. data/ext/abc/src/aig/saig/saigRefSat.c +0 -986
  248. data/ext/abc/src/aig/saig/saigRetFwd.c +0 -248
  249. data/ext/abc/src/aig/saig/saigRetMin.c +0 -705
  250. data/ext/abc/src/aig/saig/saigRetStep.c +0 -236
  251. data/ext/abc/src/aig/saig/saigScl.c +0 -115
  252. data/ext/abc/src/aig/saig/saigSimFast.c +0 -451
  253. data/ext/abc/src/aig/saig/saigSimMv.c +0 -956
  254. data/ext/abc/src/aig/saig/saigSimSeq.c +0 -518
  255. data/ext/abc/src/aig/saig/saigStrSim.c +0 -976
  256. data/ext/abc/src/aig/saig/saigSwitch.c +0 -573
  257. data/ext/abc/src/aig/saig/saigSynch.c +0 -665
  258. data/ext/abc/src/aig/saig/saigTempor.c +0 -256
  259. data/ext/abc/src/aig/saig/saigTrans.c +0 -428
  260. data/ext/abc/src/aig/saig/saigUnfold2.c +0 -497
  261. data/ext/abc/src/aig/saig/saigWnd.c +0 -816
  262. data/ext/abc/src/aig/saig/saig_.c +0 -52
  263. data/ext/abc/src/base/abc/abc.h +0 -1064
  264. data/ext/abc/src/base/abc/abcAig.c +0 -1505
  265. data/ext/abc/src/base/abc/abcBarBuf.c +0 -513
  266. data/ext/abc/src/base/abc/abcBlifMv.c +0 -1167
  267. data/ext/abc/src/base/abc/abcCheck.c +0 -953
  268. data/ext/abc/src/base/abc/abcDfs.c +0 -1910
  269. data/ext/abc/src/base/abc/abcFanOrder.c +0 -652
  270. data/ext/abc/src/base/abc/abcFanio.c +0 -366
  271. data/ext/abc/src/base/abc/abcFunc.c +0 -1273
  272. data/ext/abc/src/base/abc/abcHie.c +0 -843
  273. data/ext/abc/src/base/abc/abcHieCec.c +0 -764
  274. data/ext/abc/src/base/abc/abcHieGia.c +0 -582
  275. data/ext/abc/src/base/abc/abcHieNew.c +0 -1635
  276. data/ext/abc/src/base/abc/abcInt.h +0 -60
  277. data/ext/abc/src/base/abc/abcLatch.c +0 -778
  278. data/ext/abc/src/base/abc/abcLib.c +0 -400
  279. data/ext/abc/src/base/abc/abcMinBase.c +0 -841
  280. data/ext/abc/src/base/abc/abcNames.c +0 -802
  281. data/ext/abc/src/base/abc/abcNetlist.c +0 -511
  282. data/ext/abc/src/base/abc/abcNtk.c +0 -2298
  283. data/ext/abc/src/base/abc/abcObj.c +0 -1075
  284. data/ext/abc/src/base/abc/abcRefs.c +0 -457
  285. data/ext/abc/src/base/abc/abcShow.c +0 -458
  286. data/ext/abc/src/base/abc/abcSop.c +0 -1356
  287. data/ext/abc/src/base/abc/abcUtil.c +0 -3269
  288. data/ext/abc/src/base/abc/abc_.c +0 -52
  289. data/ext/abc/src/base/abc/module.make +0 -23
  290. data/ext/abc/src/base/abci/abc.c +0 -44490
  291. data/ext/abc/src/base/abci/abcAttach.c +0 -409
  292. data/ext/abc/src/base/abci/abcAuto.c +0 -256
  293. data/ext/abc/src/base/abci/abcBalance.c +0 -629
  294. data/ext/abc/src/base/abci/abcBidec.c +0 -156
  295. data/ext/abc/src/base/abci/abcBm.c +0 -2050
  296. data/ext/abc/src/base/abci/abcBmc.c +0 -122
  297. data/ext/abc/src/base/abci/abcCas.c +0 -128
  298. data/ext/abc/src/base/abci/abcCascade.c +0 -1062
  299. data/ext/abc/src/base/abci/abcCollapse.c +0 -957
  300. data/ext/abc/src/base/abci/abcCut.c +0 -700
  301. data/ext/abc/src/base/abci/abcDar.c +0 -4807
  302. data/ext/abc/src/base/abci/abcDarUnfold2.c +0 -69
  303. data/ext/abc/src/base/abci/abcDebug.c +0 -213
  304. data/ext/abc/src/base/abci/abcDec.c +0 -666
  305. data/ext/abc/src/base/abci/abcDetect.c +0 -1264
  306. data/ext/abc/src/base/abci/abcDress.c +0 -214
  307. data/ext/abc/src/base/abci/abcDress2.c +0 -500
  308. data/ext/abc/src/base/abci/abcDress3.c +0 -320
  309. data/ext/abc/src/base/abci/abcDsd.c +0 -710
  310. data/ext/abc/src/base/abci/abcEco.c +0 -58
  311. data/ext/abc/src/base/abci/abcEspresso.c +0 -255
  312. data/ext/abc/src/base/abci/abcExact.c +0 -3024
  313. data/ext/abc/src/base/abci/abcExtract.c +0 -752
  314. data/ext/abc/src/base/abci/abcFlop.c +0 -40
  315. data/ext/abc/src/base/abci/abcFpga.c +0 -288
  316. data/ext/abc/src/base/abci/abcFpgaFast.c +0 -195
  317. data/ext/abc/src/base/abci/abcFraig.c +0 -816
  318. data/ext/abc/src/base/abci/abcFx.c +0 -1207
  319. data/ext/abc/src/base/abci/abcFxu.c +0 -292
  320. data/ext/abc/src/base/abci/abcGen.c +0 -830
  321. data/ext/abc/src/base/abci/abcHaig.c +0 -557
  322. data/ext/abc/src/base/abci/abcIf.c +0 -830
  323. data/ext/abc/src/base/abci/abcIfMux.c +0 -422
  324. data/ext/abc/src/base/abci/abcIfif.c +0 -349
  325. data/ext/abc/src/base/abci/abcIvy.c +0 -1149
  326. data/ext/abc/src/base/abci/abcLog.c +0 -242
  327. data/ext/abc/src/base/abci/abcLut.c +0 -793
  328. data/ext/abc/src/base/abci/abcLutmin.c +0 -785
  329. data/ext/abc/src/base/abci/abcMap.c +0 -1064
  330. data/ext/abc/src/base/abci/abcMeasure.c +0 -483
  331. data/ext/abc/src/base/abci/abcMerge.c +0 -358
  332. data/ext/abc/src/base/abci/abcMffc.c +0 -1252
  333. data/ext/abc/src/base/abci/abcMfs.c +0 -469
  334. data/ext/abc/src/base/abci/abcMini.c +0 -237
  335. data/ext/abc/src/base/abci/abcMiter.c +0 -1196
  336. data/ext/abc/src/base/abci/abcMulti.c +0 -660
  337. data/ext/abc/src/base/abci/abcMv.c +0 -381
  338. data/ext/abc/src/base/abci/abcNpn.c +0 -392
  339. data/ext/abc/src/base/abci/abcNpnSave.c +0 -740
  340. data/ext/abc/src/base/abci/abcNtbdd.c +0 -619
  341. data/ext/abc/src/base/abci/abcOdc.c +0 -1132
  342. data/ext/abc/src/base/abci/abcOrder.c +0 -136
  343. data/ext/abc/src/base/abci/abcPart.c +0 -1206
  344. data/ext/abc/src/base/abci/abcPlace.c +0 -260
  345. data/ext/abc/src/base/abci/abcPrint.c +0 -2008
  346. data/ext/abc/src/base/abci/abcProve.c +0 -354
  347. data/ext/abc/src/base/abci/abcQbf.c +0 -319
  348. data/ext/abc/src/base/abci/abcQuant.c +0 -436
  349. data/ext/abc/src/base/abci/abcReach.c +0 -327
  350. data/ext/abc/src/base/abci/abcRec3.c +0 -1433
  351. data/ext/abc/src/base/abci/abcReconv.c +0 -776
  352. data/ext/abc/src/base/abci/abcRefactor.c +0 -418
  353. data/ext/abc/src/base/abci/abcRenode.c +0 -326
  354. data/ext/abc/src/base/abci/abcReorder.c +0 -117
  355. data/ext/abc/src/base/abci/abcRestruct.c +0 -1511
  356. data/ext/abc/src/base/abci/abcResub.c +0 -1957
  357. data/ext/abc/src/base/abci/abcRewrite.c +0 -420
  358. data/ext/abc/src/base/abci/abcRpo.c +0 -442
  359. data/ext/abc/src/base/abci/abcRr.c +0 -1005
  360. data/ext/abc/src/base/abci/abcSat.c +0 -1020
  361. data/ext/abc/src/base/abci/abcSaucy.c +0 -3346
  362. data/ext/abc/src/base/abci/abcScorr.c +0 -454
  363. data/ext/abc/src/base/abci/abcSense.c +0 -216
  364. data/ext/abc/src/base/abci/abcSpeedup.c +0 -965
  365. data/ext/abc/src/base/abci/abcStrash.c +0 -848
  366. data/ext/abc/src/base/abci/abcSweep.c +0 -1030
  367. data/ext/abc/src/base/abci/abcSymm.c +0 -246
  368. data/ext/abc/src/base/abci/abcTim.c +0 -637
  369. data/ext/abc/src/base/abci/abcTiming.c +0 -1398
  370. data/ext/abc/src/base/abci/abcUnate.c +0 -178
  371. data/ext/abc/src/base/abci/abcUnreach.c +0 -366
  372. data/ext/abc/src/base/abci/abcVerify.c +0 -1109
  373. data/ext/abc/src/base/abci/abcXsim.c +0 -231
  374. data/ext/abc/src/base/abci/abciUnfold2.c +0 -186
  375. data/ext/abc/src/base/abci/fahout_cut.c +0 -358
  376. data/ext/abc/src/base/abci/module.make +0 -75
  377. data/ext/abc/src/base/acb/acb.c +0 -52
  378. data/ext/abc/src/base/acb/acb.h +0 -1038
  379. data/ext/abc/src/base/acb/acbAbc.c +0 -302
  380. data/ext/abc/src/base/acb/acbAig.c +0 -52
  381. data/ext/abc/src/base/acb/acbCom.c +0 -735
  382. data/ext/abc/src/base/acb/acbFunc.c +0 -56
  383. data/ext/abc/src/base/acb/acbMfs.c +0 -1644
  384. data/ext/abc/src/base/acb/acbPar.h +0 -70
  385. data/ext/abc/src/base/acb/acbPush.c +0 -372
  386. data/ext/abc/src/base/acb/acbSets.c +0 -54
  387. data/ext/abc/src/base/acb/acbSets.h +0 -61
  388. data/ext/abc/src/base/acb/acbUtil.c +0 -479
  389. data/ext/abc/src/base/acb/module.make +0 -8
  390. data/ext/abc/src/base/bac/bac.c +0 -52
  391. data/ext/abc/src/base/bac/bac.h +0 -1017
  392. data/ext/abc/src/base/bac/bacBac.c +0 -298
  393. data/ext/abc/src/base/bac/bacBlast.c +0 -587
  394. data/ext/abc/src/base/bac/bacCom.c +0 -728
  395. data/ext/abc/src/base/bac/bacLib.c +0 -52
  396. data/ext/abc/src/base/bac/bacNtk.c +0 -603
  397. data/ext/abc/src/base/bac/bacOper.c +0 -365
  398. data/ext/abc/src/base/bac/bacPrs.h +0 -363
  399. data/ext/abc/src/base/bac/bacPrsBuild.c +0 -356
  400. data/ext/abc/src/base/bac/bacPrsTrans.c +0 -211
  401. data/ext/abc/src/base/bac/bacPtr.c +0 -470
  402. data/ext/abc/src/base/bac/bacPtrAbc.c +0 -486
  403. data/ext/abc/src/base/bac/bacReadBlif.c +0 -453
  404. data/ext/abc/src/base/bac/bacReadSmt.c +0 -42
  405. data/ext/abc/src/base/bac/bacReadVer.c +0 -875
  406. data/ext/abc/src/base/bac/bacWriteBlif.c +0 -236
  407. data/ext/abc/src/base/bac/bacWriteSmt.c +0 -52
  408. data/ext/abc/src/base/bac/bacWriteVer.c +0 -703
  409. data/ext/abc/src/base/bac/module.make +0 -15
  410. data/ext/abc/src/base/cba/cba.c +0 -52
  411. data/ext/abc/src/base/cba/cba.h +0 -1024
  412. data/ext/abc/src/base/cba/cbaBlast.c +0 -1069
  413. data/ext/abc/src/base/cba/cbaCba.c +0 -58
  414. data/ext/abc/src/base/cba/cbaCom.c +0 -731
  415. data/ext/abc/src/base/cba/cbaNtk.c +0 -1183
  416. data/ext/abc/src/base/cba/cbaPrs.h +0 -520
  417. data/ext/abc/src/base/cba/cbaReadBlif.c +0 -646
  418. data/ext/abc/src/base/cba/cbaReadVer.c +0 -2182
  419. data/ext/abc/src/base/cba/cbaTypes.h +0 -169
  420. data/ext/abc/src/base/cba/cbaWriteBlif.c +0 -218
  421. data/ext/abc/src/base/cba/cbaWriteVer.c +0 -1016
  422. data/ext/abc/src/base/cba/module.make +0 -8
  423. data/ext/abc/src/base/cmd/cmd.c +0 -2611
  424. data/ext/abc/src/base/cmd/cmd.h +0 -81
  425. data/ext/abc/src/base/cmd/cmdAlias.c +0 -126
  426. data/ext/abc/src/base/cmd/cmdApi.c +0 -127
  427. data/ext/abc/src/base/cmd/cmdAuto.c +0 -684
  428. data/ext/abc/src/base/cmd/cmdFlag.c +0 -110
  429. data/ext/abc/src/base/cmd/cmdHist.c +0 -180
  430. data/ext/abc/src/base/cmd/cmdInt.h +0 -92
  431. data/ext/abc/src/base/cmd/cmdLoad.c +0 -209
  432. data/ext/abc/src/base/cmd/cmdPlugin.c +0 -773
  433. data/ext/abc/src/base/cmd/cmdStarter.c +0 -259
  434. data/ext/abc/src/base/cmd/cmdUtils.c +0 -756
  435. data/ext/abc/src/base/cmd/module.make +0 -10
  436. data/ext/abc/src/base/exor/exor.c +0 -958
  437. data/ext/abc/src/base/exor/exor.h +0 -189
  438. data/ext/abc/src/base/exor/exorBits.c +0 -425
  439. data/ext/abc/src/base/exor/exorCubes.c +0 -190
  440. data/ext/abc/src/base/exor/exorLink.c +0 -749
  441. data/ext/abc/src/base/exor/exorList.c +0 -1156
  442. data/ext/abc/src/base/exor/exorUtil.c +0 -228
  443. data/ext/abc/src/base/exor/module.make +0 -6
  444. data/ext/abc/src/base/io/io.c +0 -3157
  445. data/ext/abc/src/base/io/ioAbc.h +0 -172
  446. data/ext/abc/src/base/io/ioInt.h +0 -57
  447. data/ext/abc/src/base/io/ioJson.c +0 -270
  448. data/ext/abc/src/base/io/ioReadAiger.c +0 -599
  449. data/ext/abc/src/base/io/ioReadBaf.c +0 -177
  450. data/ext/abc/src/base/io/ioReadBblif.c +0 -348
  451. data/ext/abc/src/base/io/ioReadBench.c +0 -391
  452. data/ext/abc/src/base/io/ioReadBlif.c +0 -1707
  453. data/ext/abc/src/base/io/ioReadBlifAig.c +0 -1019
  454. data/ext/abc/src/base/io/ioReadBlifMv.c +0 -2363
  455. data/ext/abc/src/base/io/ioReadDsd.c +0 -313
  456. data/ext/abc/src/base/io/ioReadEdif.c +0 -240
  457. data/ext/abc/src/base/io/ioReadEqn.c +0 -244
  458. data/ext/abc/src/base/io/ioReadPla.c +0 -600
  459. data/ext/abc/src/base/io/ioReadPlaMo.c +0 -813
  460. data/ext/abc/src/base/io/ioReadVerilog.c +0 -102
  461. data/ext/abc/src/base/io/ioUtil.c +0 -871
  462. data/ext/abc/src/base/io/ioWriteAiger.c +0 -956
  463. data/ext/abc/src/base/io/ioWriteBaf.c +0 -173
  464. data/ext/abc/src/base/io/ioWriteBblif.c +0 -116
  465. data/ext/abc/src/base/io/ioWriteBench.c +0 -340
  466. data/ext/abc/src/base/io/ioWriteBlif.c +0 -1410
  467. data/ext/abc/src/base/io/ioWriteBlifMv.c +0 -476
  468. data/ext/abc/src/base/io/ioWriteBook.c +0 -998
  469. data/ext/abc/src/base/io/ioWriteCnf.c +0 -120
  470. data/ext/abc/src/base/io/ioWriteDot.c +0 -854
  471. data/ext/abc/src/base/io/ioWriteEqn.c +0 -257
  472. data/ext/abc/src/base/io/ioWriteGml.c +0 -121
  473. data/ext/abc/src/base/io/ioWriteList.c +0 -293
  474. data/ext/abc/src/base/io/ioWritePla.c +0 -460
  475. data/ext/abc/src/base/io/ioWriteSmv.c +0 -265
  476. data/ext/abc/src/base/io/ioWriteVerilog.c +0 -662
  477. data/ext/abc/src/base/io/module.make +0 -31
  478. data/ext/abc/src/base/main/abcapis.h +0 -106
  479. data/ext/abc/src/base/main/abcapis_old.h +0 -84
  480. data/ext/abc/src/base/main/libSupport.c +0 -211
  481. data/ext/abc/src/base/main/main.c +0 -12
  482. data/ext/abc/src/base/main/main.h +0 -171
  483. data/ext/abc/src/base/main/mainFrame.c +0 -742
  484. data/ext/abc/src/base/main/mainInit.c +0 -168
  485. data/ext/abc/src/base/main/mainInt.h +0 -207
  486. data/ext/abc/src/base/main/mainLib.c +0 -93
  487. data/ext/abc/src/base/main/mainMC.c +0 -203
  488. data/ext/abc/src/base/main/mainReal.c +0 -386
  489. data/ext/abc/src/base/main/mainUtils.c +0 -294
  490. data/ext/abc/src/base/main/module.make +0 -7
  491. data/ext/abc/src/base/pla/module.make +0 -7
  492. data/ext/abc/src/base/pla/pla.c +0 -52
  493. data/ext/abc/src/base/pla/pla.h +0 -297
  494. data/ext/abc/src/base/pla/plaCom.c +0 -507
  495. data/ext/abc/src/base/pla/plaFxch.c +0 -854
  496. data/ext/abc/src/base/pla/plaHash.c +0 -347
  497. data/ext/abc/src/base/pla/plaMan.c +0 -300
  498. data/ext/abc/src/base/pla/plaMerge.c +0 -55
  499. data/ext/abc/src/base/pla/plaRead.c +0 -224
  500. data/ext/abc/src/base/pla/plaSimple.c +0 -339
  501. data/ext/abc/src/base/pla/plaWrite.c +0 -112
  502. data/ext/abc/src/base/test/module.make +0 -1
  503. data/ext/abc/src/base/test/test.c +0 -70
  504. data/ext/abc/src/base/ver/module.make +0 -4
  505. data/ext/abc/src/base/ver/ver.h +0 -122
  506. data/ext/abc/src/base/ver/verCore.c +0 -3037
  507. data/ext/abc/src/base/ver/verFormula.c +0 -479
  508. data/ext/abc/src/base/ver/verParse.c +0 -131
  509. data/ext/abc/src/base/ver/verStream.c +0 -450
  510. data/ext/abc/src/base/ver/verWords.c +0 -53
  511. data/ext/abc/src/base/ver/ver_.c +0 -53
  512. data/ext/abc/src/base/wlc/module.make +0 -17
  513. data/ext/abc/src/base/wlc/wlc.c +0 -274
  514. data/ext/abc/src/base/wlc/wlc.h +0 -392
  515. data/ext/abc/src/base/wlc/wlcAbc.c +0 -275
  516. data/ext/abc/src/base/wlc/wlcAbs.c +0 -1912
  517. data/ext/abc/src/base/wlc/wlcAbs2.c +0 -410
  518. data/ext/abc/src/base/wlc/wlcBlast.c +0 -1692
  519. data/ext/abc/src/base/wlc/wlcCom.c +0 -1559
  520. data/ext/abc/src/base/wlc/wlcGraft.c +0 -573
  521. data/ext/abc/src/base/wlc/wlcJson.c +0 -54
  522. data/ext/abc/src/base/wlc/wlcNtk.c +0 -1268
  523. data/ext/abc/src/base/wlc/wlcPth.c +0 -173
  524. data/ext/abc/src/base/wlc/wlcReadSmt.c +0 -1784
  525. data/ext/abc/src/base/wlc/wlcReadVer.c +0 -1308
  526. data/ext/abc/src/base/wlc/wlcShow.c +0 -337
  527. data/ext/abc/src/base/wlc/wlcSim.c +0 -251
  528. data/ext/abc/src/base/wlc/wlcStdin.c +0 -255
  529. data/ext/abc/src/base/wlc/wlcUif.c +0 -290
  530. data/ext/abc/src/base/wlc/wlcWin.c +0 -166
  531. data/ext/abc/src/base/wlc/wlcWriteVer.c +0 -450
  532. data/ext/abc/src/bdd/bbr/bbr.h +0 -93
  533. data/ext/abc/src/bdd/bbr/bbrCex.c +0 -172
  534. data/ext/abc/src/bdd/bbr/bbrImage.c +0 -1327
  535. data/ext/abc/src/bdd/bbr/bbrNtbdd.c +0 -218
  536. data/ext/abc/src/bdd/bbr/bbrReach.c +0 -615
  537. data/ext/abc/src/bdd/bbr/bbr_.c +0 -52
  538. data/ext/abc/src/bdd/bbr/module.make +0 -4
  539. data/ext/abc/src/bdd/cas/cas.h +0 -66
  540. data/ext/abc/src/bdd/cas/casCore.c +0 -1265
  541. data/ext/abc/src/bdd/cas/casDec.c +0 -512
  542. data/ext/abc/src/bdd/cas/module.make +0 -3
  543. data/ext/abc/src/bdd/cudd/Makefile +0 -124
  544. data/ext/abc/src/bdd/cudd/cuBdd.make +0 -41
  545. data/ext/abc/src/bdd/cudd/cudd.h +0 -1054
  546. data/ext/abc/src/bdd/cudd/cudd.make +0 -42
  547. data/ext/abc/src/bdd/cudd/cuddAPI.c +0 -4444
  548. data/ext/abc/src/bdd/cudd/cuddAddAbs.c +0 -588
  549. data/ext/abc/src/bdd/cudd/cuddAddApply.c +0 -949
  550. data/ext/abc/src/bdd/cudd/cuddAddFind.c +0 -316
  551. data/ext/abc/src/bdd/cudd/cuddAddInv.c +0 -209
  552. data/ext/abc/src/bdd/cudd/cuddAddIte.c +0 -647
  553. data/ext/abc/src/bdd/cudd/cuddAddNeg.c +0 -296
  554. data/ext/abc/src/bdd/cudd/cuddAddWalsh.c +0 -399
  555. data/ext/abc/src/bdd/cudd/cuddAndAbs.c +0 -384
  556. data/ext/abc/src/bdd/cudd/cuddAnneal.c +0 -822
  557. data/ext/abc/src/bdd/cudd/cuddApa.c +0 -979
  558. data/ext/abc/src/bdd/cudd/cuddApprox.c +0 -2213
  559. data/ext/abc/src/bdd/cudd/cuddBddAbs.c +0 -725
  560. data/ext/abc/src/bdd/cudd/cuddBddCorr.c +0 -515
  561. data/ext/abc/src/bdd/cudd/cuddBddIte.c +0 -1328
  562. data/ext/abc/src/bdd/cudd/cuddBridge.c +0 -1021
  563. data/ext/abc/src/bdd/cudd/cuddCache.c +0 -1100
  564. data/ext/abc/src/bdd/cudd/cuddCheck.c +0 -887
  565. data/ext/abc/src/bdd/cudd/cuddClip.c +0 -566
  566. data/ext/abc/src/bdd/cudd/cuddCof.c +0 -335
  567. data/ext/abc/src/bdd/cudd/cuddCompose.c +0 -1760
  568. data/ext/abc/src/bdd/cudd/cuddDecomp.c +0 -2185
  569. data/ext/abc/src/bdd/cudd/cuddEssent.c +0 -1475
  570. data/ext/abc/src/bdd/cudd/cuddExact.c +0 -1028
  571. data/ext/abc/src/bdd/cudd/cuddExport.c +0 -1384
  572. data/ext/abc/src/bdd/cudd/cuddGenCof.c +0 -2175
  573. data/ext/abc/src/bdd/cudd/cuddGenetic.c +0 -957
  574. data/ext/abc/src/bdd/cudd/cuddGroup.c +0 -2173
  575. data/ext/abc/src/bdd/cudd/cuddHarwell.c +0 -576
  576. data/ext/abc/src/bdd/cudd/cuddInit.c +0 -319
  577. data/ext/abc/src/bdd/cudd/cuddInt.h +0 -1232
  578. data/ext/abc/src/bdd/cudd/cuddInteract.c +0 -437
  579. data/ext/abc/src/bdd/cudd/cuddLCache.c +0 -1465
  580. data/ext/abc/src/bdd/cudd/cuddLevelQ.c +0 -569
  581. data/ext/abc/src/bdd/cudd/cuddLinear.c +0 -1373
  582. data/ext/abc/src/bdd/cudd/cuddLiteral.c +0 -272
  583. data/ext/abc/src/bdd/cudd/cuddMatMult.c +0 -715
  584. data/ext/abc/src/bdd/cudd/cuddPriority.c +0 -2035
  585. data/ext/abc/src/bdd/cudd/cuddRead.c +0 -525
  586. data/ext/abc/src/bdd/cudd/cuddRef.c +0 -816
  587. data/ext/abc/src/bdd/cudd/cuddReorder.c +0 -2143
  588. data/ext/abc/src/bdd/cudd/cuddSat.c +0 -1338
  589. data/ext/abc/src/bdd/cudd/cuddSign.c +0 -326
  590. data/ext/abc/src/bdd/cudd/cuddSolve.c +0 -374
  591. data/ext/abc/src/bdd/cudd/cuddSplit.c +0 -694
  592. data/ext/abc/src/bdd/cudd/cuddSubsetHB.c +0 -1337
  593. data/ext/abc/src/bdd/cudd/cuddSubsetSP.c +0 -1657
  594. data/ext/abc/src/bdd/cudd/cuddSymmetry.c +0 -1706
  595. data/ext/abc/src/bdd/cudd/cuddTable.c +0 -3179
  596. data/ext/abc/src/bdd/cudd/cuddUtil.c +0 -3929
  597. data/ext/abc/src/bdd/cudd/cuddWindow.c +0 -1031
  598. data/ext/abc/src/bdd/cudd/cuddZddCount.c +0 -357
  599. data/ext/abc/src/bdd/cudd/cuddZddFuncs.c +0 -1638
  600. data/ext/abc/src/bdd/cudd/cuddZddGroup.c +0 -1344
  601. data/ext/abc/src/bdd/cudd/cuddZddIsop.c +0 -919
  602. data/ext/abc/src/bdd/cudd/cuddZddLin.c +0 -975
  603. data/ext/abc/src/bdd/cudd/cuddZddMisc.c +0 -286
  604. data/ext/abc/src/bdd/cudd/cuddZddPort.c +0 -389
  605. data/ext/abc/src/bdd/cudd/cuddZddReord.c +0 -1668
  606. data/ext/abc/src/bdd/cudd/cuddZddSetop.c +0 -1166
  607. data/ext/abc/src/bdd/cudd/cuddZddSymm.c +0 -1707
  608. data/ext/abc/src/bdd/cudd/cuddZddUtil.c +0 -1071
  609. data/ext/abc/src/bdd/cudd/license +0 -32
  610. data/ext/abc/src/bdd/cudd/module.make +0 -61
  611. data/ext/abc/src/bdd/cudd/r7x8.1.mat +0 -53
  612. data/ext/abc/src/bdd/cudd/r7x8.1.out +0 -377
  613. data/ext/abc/src/bdd/cudd/testcudd.c +0 -1073
  614. data/ext/abc/src/bdd/dsd/dsd.h +0 -134
  615. data/ext/abc/src/bdd/dsd/dsdApi.c +0 -102
  616. data/ext/abc/src/bdd/dsd/dsdCheck.c +0 -319
  617. data/ext/abc/src/bdd/dsd/dsdInt.h +0 -99
  618. data/ext/abc/src/bdd/dsd/dsdLocal.c +0 -342
  619. data/ext/abc/src/bdd/dsd/dsdMan.c +0 -119
  620. data/ext/abc/src/bdd/dsd/dsdProc.c +0 -1613
  621. data/ext/abc/src/bdd/dsd/dsdTree.c +0 -1181
  622. data/ext/abc/src/bdd/dsd/module.make +0 -6
  623. data/ext/abc/src/bdd/epd/epd.c +0 -1347
  624. data/ext/abc/src/bdd/epd/epd.h +0 -196
  625. data/ext/abc/src/bdd/epd/module.make +0 -1
  626. data/ext/abc/src/bdd/extrab/extraBdd.h +0 -317
  627. data/ext/abc/src/bdd/extrab/extraBddAuto.c +0 -1563
  628. data/ext/abc/src/bdd/extrab/extraBddCas.c +0 -1235
  629. data/ext/abc/src/bdd/extrab/extraBddImage.c +0 -1162
  630. data/ext/abc/src/bdd/extrab/extraBddKmap.c +0 -876
  631. data/ext/abc/src/bdd/extrab/extraBddMisc.c +0 -2591
  632. data/ext/abc/src/bdd/extrab/extraBddSymm.c +0 -1474
  633. data/ext/abc/src/bdd/extrab/extraBddThresh.c +0 -693
  634. data/ext/abc/src/bdd/extrab/extraBddTime.c +0 -660
  635. data/ext/abc/src/bdd/extrab/extraBddUnate.c +0 -646
  636. data/ext/abc/src/bdd/extrab/module.make +0 -9
  637. data/ext/abc/src/bdd/llb/llb.c +0 -52
  638. data/ext/abc/src/bdd/llb/llb.h +0 -96
  639. data/ext/abc/src/bdd/llb/llb1Cluster.c +0 -356
  640. data/ext/abc/src/bdd/llb/llb1Constr.c +0 -313
  641. data/ext/abc/src/bdd/llb/llb1Core.c +0 -222
  642. data/ext/abc/src/bdd/llb/llb1Group.c +0 -474
  643. data/ext/abc/src/bdd/llb/llb1Hint.c +0 -226
  644. data/ext/abc/src/bdd/llb/llb1Man.c +0 -218
  645. data/ext/abc/src/bdd/llb/llb1Matrix.c +0 -430
  646. data/ext/abc/src/bdd/llb/llb1Pivot.c +0 -254
  647. data/ext/abc/src/bdd/llb/llb1Reach.c +0 -904
  648. data/ext/abc/src/bdd/llb/llb1Sched.c +0 -257
  649. data/ext/abc/src/bdd/llb/llb2Bad.c +0 -138
  650. data/ext/abc/src/bdd/llb/llb2Core.c +0 -777
  651. data/ext/abc/src/bdd/llb/llb2Driver.c +0 -222
  652. data/ext/abc/src/bdd/llb/llb2Dump.c +0 -104
  653. data/ext/abc/src/bdd/llb/llb2Flow.c +0 -1376
  654. data/ext/abc/src/bdd/llb/llb2Image.c +0 -482
  655. data/ext/abc/src/bdd/llb/llb3Image.c +0 -1095
  656. data/ext/abc/src/bdd/llb/llb3Nonlin.c +0 -872
  657. data/ext/abc/src/bdd/llb/llb4Cex.c +0 -320
  658. data/ext/abc/src/bdd/llb/llb4Cluster.c +0 -452
  659. data/ext/abc/src/bdd/llb/llb4Image.c +0 -863
  660. data/ext/abc/src/bdd/llb/llb4Map.c +0 -123
  661. data/ext/abc/src/bdd/llb/llb4Nonlin.c +0 -1185
  662. data/ext/abc/src/bdd/llb/llb4Sweep.c +0 -589
  663. data/ext/abc/src/bdd/llb/llbInt.h +0 -212
  664. data/ext/abc/src/bdd/llb/module.make +0 -22
  665. data/ext/abc/src/bdd/mtr/module.make +0 -2
  666. data/ext/abc/src/bdd/mtr/mtr.h +0 -187
  667. data/ext/abc/src/bdd/mtr/mtrBasic.c +0 -453
  668. data/ext/abc/src/bdd/mtr/mtrGroup.c +0 -734
  669. data/ext/abc/src/bdd/mtr/mtrInt.h +0 -94
  670. data/ext/abc/src/bdd/reo/module.make +0 -8
  671. data/ext/abc/src/bdd/reo/reo.h +0 -234
  672. data/ext/abc/src/bdd/reo/reoApi.c +0 -294
  673. data/ext/abc/src/bdd/reo/reoCore.c +0 -441
  674. data/ext/abc/src/bdd/reo/reoProfile.c +0 -370
  675. data/ext/abc/src/bdd/reo/reoShuffle.c +0 -230
  676. data/ext/abc/src/bdd/reo/reoSift.c +0 -346
  677. data/ext/abc/src/bdd/reo/reoSwap.c +0 -905
  678. data/ext/abc/src/bdd/reo/reoTest.c +0 -256
  679. data/ext/abc/src/bdd/reo/reoTransfer.c +0 -206
  680. data/ext/abc/src/bdd/reo/reoUnits.c +0 -190
  681. data/ext/abc/src/bool/bdc/bdc.h +0 -98
  682. data/ext/abc/src/bool/bdc/bdcCore.c +0 -374
  683. data/ext/abc/src/bool/bdc/bdcDec.c +0 -751
  684. data/ext/abc/src/bool/bdc/bdcInt.h +0 -165
  685. data/ext/abc/src/bool/bdc/bdcSpfd.c +0 -1184
  686. data/ext/abc/src/bool/bdc/bdcTable.c +0 -134
  687. data/ext/abc/src/bool/bdc/bdc_.c +0 -54
  688. data/ext/abc/src/bool/bdc/module.make +0 -5
  689. data/ext/abc/src/bool/dec/dec.h +0 -725
  690. data/ext/abc/src/bool/dec/decAbc.c +0 -358
  691. data/ext/abc/src/bool/dec/decFactor.c +0 -403
  692. data/ext/abc/src/bool/dec/decMan.c +0 -88
  693. data/ext/abc/src/bool/dec/decPrint.c +0 -289
  694. data/ext/abc/src/bool/dec/decUtil.c +0 -148
  695. data/ext/abc/src/bool/dec/module.make +0 -5
  696. data/ext/abc/src/bool/deco/deco.h +0 -714
  697. data/ext/abc/src/bool/deco/module.make +0 -1
  698. data/ext/abc/src/bool/kit/cloud.c +0 -993
  699. data/ext/abc/src/bool/kit/cloud.h +0 -254
  700. data/ext/abc/src/bool/kit/kit.h +0 -655
  701. data/ext/abc/src/bool/kit/kitAig.c +0 -126
  702. data/ext/abc/src/bool/kit/kitBdd.c +0 -243
  703. data/ext/abc/src/bool/kit/kitCloud.c +0 -378
  704. data/ext/abc/src/bool/kit/kitDec.c +0 -343
  705. data/ext/abc/src/bool/kit/kitDsd.c +0 -3285
  706. data/ext/abc/src/bool/kit/kitFactor.c +0 -344
  707. data/ext/abc/src/bool/kit/kitGraph.c +0 -402
  708. data/ext/abc/src/bool/kit/kitHop.c +0 -200
  709. data/ext/abc/src/bool/kit/kitIsop.c +0 -365
  710. data/ext/abc/src/bool/kit/kitPerm.c +0 -357
  711. data/ext/abc/src/bool/kit/kitPla.c +0 -535
  712. data/ext/abc/src/bool/kit/kitSop.c +0 -579
  713. data/ext/abc/src/bool/kit/kitTruth.c +0 -2224
  714. data/ext/abc/src/bool/kit/kit_.c +0 -53
  715. data/ext/abc/src/bool/kit/module.make +0 -11
  716. data/ext/abc/src/bool/lucky/lucky.c +0 -705
  717. data/ext/abc/src/bool/lucky/lucky.h +0 -44
  718. data/ext/abc/src/bool/lucky/luckyFast16.c +0 -872
  719. data/ext/abc/src/bool/lucky/luckyFast6.c +0 -285
  720. data/ext/abc/src/bool/lucky/luckyInt.h +0 -136
  721. data/ext/abc/src/bool/lucky/luckyRead.c +0 -333
  722. data/ext/abc/src/bool/lucky/luckySimple.c +0 -307
  723. data/ext/abc/src/bool/lucky/luckySwap.c +0 -402
  724. data/ext/abc/src/bool/lucky/luckySwapIJ.c +0 -102
  725. data/ext/abc/src/bool/lucky/module.make +0 -7
  726. data/ext/abc/src/bool/rpo/literal.h +0 -297
  727. data/ext/abc/src/bool/rpo/module.make +0 -1
  728. data/ext/abc/src/bool/rpo/rpo.c +0 -383
  729. data/ext/abc/src/bool/rpo/rpo.h +0 -61
  730. data/ext/abc/src/bool/rsb/module.make +0 -2
  731. data/ext/abc/src/bool/rsb/rsb.h +0 -65
  732. data/ext/abc/src/bool/rsb/rsbDec6.c +0 -770
  733. data/ext/abc/src/bool/rsb/rsbInt.h +0 -84
  734. data/ext/abc/src/bool/rsb/rsbMan.c +0 -99
  735. data/ext/abc/src/demo.c +0 -181
  736. data/ext/abc/src/generic.c +0 -52
  737. data/ext/abc/src/generic.h +0 -63
  738. data/ext/abc/src/map/amap/amap.h +0 -97
  739. data/ext/abc/src/map/amap/amapCore.c +0 -110
  740. data/ext/abc/src/map/amap/amapGraph.c +0 -399
  741. data/ext/abc/src/map/amap/amapInt.h +0 -376
  742. data/ext/abc/src/map/amap/amapLib.c +0 -374
  743. data/ext/abc/src/map/amap/amapLiberty.c +0 -1103
  744. data/ext/abc/src/map/amap/amapMan.c +0 -104
  745. data/ext/abc/src/map/amap/amapMatch.c +0 -622
  746. data/ext/abc/src/map/amap/amapMerge.c +0 -541
  747. data/ext/abc/src/map/amap/amapOutput.c +0 -186
  748. data/ext/abc/src/map/amap/amapParse.c +0 -480
  749. data/ext/abc/src/map/amap/amapPerm.c +0 -380
  750. data/ext/abc/src/map/amap/amapRead.c +0 -494
  751. data/ext/abc/src/map/amap/amapRule.c +0 -462
  752. data/ext/abc/src/map/amap/amapUniq.c +0 -317
  753. data/ext/abc/src/map/amap/module.make +0 -13
  754. data/ext/abc/src/map/cov/cov.h +0 -109
  755. data/ext/abc/src/map/cov/covBuild.c +0 -544
  756. data/ext/abc/src/map/cov/covCore.c +0 -1030
  757. data/ext/abc/src/map/cov/covInt.h +0 -654
  758. data/ext/abc/src/map/cov/covMan.c +0 -149
  759. data/ext/abc/src/map/cov/covMinEsop.c +0 -304
  760. data/ext/abc/src/map/cov/covMinMan.c +0 -118
  761. data/ext/abc/src/map/cov/covMinSop.c +0 -620
  762. data/ext/abc/src/map/cov/covMinUtil.c +0 -343
  763. data/ext/abc/src/map/cov/covTest.c +0 -422
  764. data/ext/abc/src/map/cov/module.make +0 -7
  765. data/ext/abc/src/map/fpga/fpga.c +0 -288
  766. data/ext/abc/src/map/fpga/fpga.h +0 -175
  767. data/ext/abc/src/map/fpga/fpgaCore.c +0 -194
  768. data/ext/abc/src/map/fpga/fpgaCreate.c +0 -584
  769. data/ext/abc/src/map/fpga/fpgaCut.c +0 -1186
  770. data/ext/abc/src/map/fpga/fpgaCutUtils.c +0 -476
  771. data/ext/abc/src/map/fpga/fpgaFanout.c +0 -146
  772. data/ext/abc/src/map/fpga/fpgaGENERIC.c +0 -51
  773. data/ext/abc/src/map/fpga/fpgaInt.h +0 -389
  774. data/ext/abc/src/map/fpga/fpgaLib.c +0 -255
  775. data/ext/abc/src/map/fpga/fpgaMatch.c +0 -800
  776. data/ext/abc/src/map/fpga/fpgaSwitch.c +0 -156
  777. data/ext/abc/src/map/fpga/fpgaTime.c +0 -267
  778. data/ext/abc/src/map/fpga/fpgaTruth.c +0 -171
  779. data/ext/abc/src/map/fpga/fpgaUtils.c +0 -990
  780. data/ext/abc/src/map/fpga/fpgaVec.c +0 -413
  781. data/ext/abc/src/map/fpga/module.make +0 -13
  782. data/ext/abc/src/map/if/if.h +0 -689
  783. data/ext/abc/src/map/if/ifCache.c +0 -100
  784. data/ext/abc/src/map/if/ifCheck.c +0 -204
  785. data/ext/abc/src/map/if/ifCom.c +0 -372
  786. data/ext/abc/src/map/if/ifCore.c +0 -200
  787. data/ext/abc/src/map/if/ifCount.h +0 -521
  788. data/ext/abc/src/map/if/ifCut.c +0 -1479
  789. data/ext/abc/src/map/if/ifData2.c +0 -52
  790. data/ext/abc/src/map/if/ifDec07.c +0 -1125
  791. data/ext/abc/src/map/if/ifDec08.c +0 -507
  792. data/ext/abc/src/map/if/ifDec10.c +0 -506
  793. data/ext/abc/src/map/if/ifDec16.c +0 -2374
  794. data/ext/abc/src/map/if/ifDec75.c +0 -341
  795. data/ext/abc/src/map/if/ifDelay.c +0 -447
  796. data/ext/abc/src/map/if/ifDsd.c +0 -2838
  797. data/ext/abc/src/map/if/ifLibBox.c +0 -401
  798. data/ext/abc/src/map/if/ifLibLut.c +0 -505
  799. data/ext/abc/src/map/if/ifMan.c +0 -720
  800. data/ext/abc/src/map/if/ifMap.c +0 -680
  801. data/ext/abc/src/map/if/ifMatch2.c +0 -62
  802. data/ext/abc/src/map/if/ifReduce.c +0 -466
  803. data/ext/abc/src/map/if/ifSat.c +0 -548
  804. data/ext/abc/src/map/if/ifSelect.c +0 -601
  805. data/ext/abc/src/map/if/ifSeq.c +0 -397
  806. data/ext/abc/src/map/if/ifTest.c +0 -352
  807. data/ext/abc/src/map/if/ifTime.c +0 -525
  808. data/ext/abc/src/map/if/ifTruth.c +0 -339
  809. data/ext/abc/src/map/if/ifTune.c +0 -1452
  810. data/ext/abc/src/map/if/ifUtil.c +0 -632
  811. data/ext/abc/src/map/if/if_.c +0 -52
  812. data/ext/abc/src/map/if/module.make +0 -26
  813. data/ext/abc/src/map/mapper/mapper.c +0 -185
  814. data/ext/abc/src/map/mapper/mapper.h +0 -201
  815. data/ext/abc/src/map/mapper/mapperCanon.c +0 -277
  816. data/ext/abc/src/map/mapper/mapperCore.c +0 -231
  817. data/ext/abc/src/map/mapper/mapperCreate.c +0 -587
  818. data/ext/abc/src/map/mapper/mapperCut.c +0 -1178
  819. data/ext/abc/src/map/mapper/mapperCutUtils.c +0 -279
  820. data/ext/abc/src/map/mapper/mapperFanout.c +0 -146
  821. data/ext/abc/src/map/mapper/mapperInt.h +0 -469
  822. data/ext/abc/src/map/mapper/mapperLib.c +0 -258
  823. data/ext/abc/src/map/mapper/mapperMatch.c +0 -664
  824. data/ext/abc/src/map/mapper/mapperRefs.c +0 -540
  825. data/ext/abc/src/map/mapper/mapperSuper.c +0 -456
  826. data/ext/abc/src/map/mapper/mapperSwitch.c +0 -229
  827. data/ext/abc/src/map/mapper/mapperTable.c +0 -407
  828. data/ext/abc/src/map/mapper/mapperTime.c +0 -459
  829. data/ext/abc/src/map/mapper/mapperTree.c +0 -1042
  830. data/ext/abc/src/map/mapper/mapperTruth.c +0 -315
  831. data/ext/abc/src/map/mapper/mapperUtils.c +0 -898
  832. data/ext/abc/src/map/mapper/mapperVec.c +0 -344
  833. data/ext/abc/src/map/mapper/module.make +0 -17
  834. data/ext/abc/src/map/mio/exp.h +0 -343
  835. data/ext/abc/src/map/mio/mio.c +0 -728
  836. data/ext/abc/src/map/mio/mio.h +0 -242
  837. data/ext/abc/src/map/mio/mioApi.c +0 -254
  838. data/ext/abc/src/map/mio/mioForm.c +0 -307
  839. data/ext/abc/src/map/mio/mioFunc.c +0 -327
  840. data/ext/abc/src/map/mio/mioInt.h +0 -160
  841. data/ext/abc/src/map/mio/mioParse.c +0 -504
  842. data/ext/abc/src/map/mio/mioRead.c +0 -780
  843. data/ext/abc/src/map/mio/mioSop.c +0 -333
  844. data/ext/abc/src/map/mio/mioUtils.c +0 -1752
  845. data/ext/abc/src/map/mio/module.make +0 -7
  846. data/ext/abc/src/map/mpm/module.make +0 -11
  847. data/ext/abc/src/map/mpm/mpm.c +0 -55
  848. data/ext/abc/src/map/mpm/mpm.h +0 -98
  849. data/ext/abc/src/map/mpm/mpmAbc.c +0 -350
  850. data/ext/abc/src/map/mpm/mpmCore.c +0 -115
  851. data/ext/abc/src/map/mpm/mpmDsd.c +0 -1055
  852. data/ext/abc/src/map/mpm/mpmGates.c +0 -307
  853. data/ext/abc/src/map/mpm/mpmInt.h +0 -265
  854. data/ext/abc/src/map/mpm/mpmLib.c +0 -74
  855. data/ext/abc/src/map/mpm/mpmMan.c +0 -207
  856. data/ext/abc/src/map/mpm/mpmMap.c +0 -872
  857. data/ext/abc/src/map/mpm/mpmMig.c +0 -204
  858. data/ext/abc/src/map/mpm/mpmMig.h +0 -358
  859. data/ext/abc/src/map/mpm/mpmPre.c +0 -1029
  860. data/ext/abc/src/map/mpm/mpmTruth.c +0 -239
  861. data/ext/abc/src/map/mpm/mpmUtil.c +0 -52
  862. data/ext/abc/src/map/scl/module.make +0 -11
  863. data/ext/abc/src/map/scl/scl.c +0 -2042
  864. data/ext/abc/src/map/scl/scl.h +0 -58
  865. data/ext/abc/src/map/scl/sclBufSize.c +0 -518
  866. data/ext/abc/src/map/scl/sclBuffer.c +0 -1010
  867. data/ext/abc/src/map/scl/sclCon.h +0 -293
  868. data/ext/abc/src/map/scl/sclDnsize.c +0 -378
  869. data/ext/abc/src/map/scl/sclLib.h +0 -770
  870. data/ext/abc/src/map/scl/sclLibScl.c +0 -848
  871. data/ext/abc/src/map/scl/sclLibUtil.c +0 -1078
  872. data/ext/abc/src/map/scl/sclLiberty.c +0 -1697
  873. data/ext/abc/src/map/scl/sclLoad.c +0 -238
  874. data/ext/abc/src/map/scl/sclSize.c +0 -915
  875. data/ext/abc/src/map/scl/sclSize.h +0 -594
  876. data/ext/abc/src/map/scl/sclTime.h +0 -234
  877. data/ext/abc/src/map/scl/sclUpsize.c +0 -1045
  878. data/ext/abc/src/map/scl/sclUtil.c +0 -320
  879. data/ext/abc/src/map/super/module.make +0 -3
  880. data/ext/abc/src/map/super/super.c +0 -333
  881. data/ext/abc/src/map/super/super.h +0 -62
  882. data/ext/abc/src/map/super/superAnd.c +0 -701
  883. data/ext/abc/src/map/super/superGENERIC.c +0 -51
  884. data/ext/abc/src/map/super/superGate.c +0 -1473
  885. data/ext/abc/src/map/super/superInt.h +0 -64
  886. data/ext/abc/src/map/super/superWrite.c +0 -81
  887. data/ext/abc/src/misc/avl/avl.c +0 -621
  888. data/ext/abc/src/misc/avl/avl.doc +0 -166
  889. data/ext/abc/src/misc/avl/avl.h +0 -91
  890. data/ext/abc/src/misc/bar/bar.c +0 -193
  891. data/ext/abc/src/misc/bar/bar.h +0 -78
  892. data/ext/abc/src/misc/bar/module.make +0 -1
  893. data/ext/abc/src/misc/bbl/bblif.c +0 -1518
  894. data/ext/abc/src/misc/bbl/bblif.h +0 -285
  895. data/ext/abc/src/misc/bbl/module.make +0 -1
  896. data/ext/abc/src/misc/bzlib/CHANGES +0 -319
  897. data/ext/abc/src/misc/bzlib/LICENSE +0 -42
  898. data/ext/abc/src/misc/bzlib/blocksort.c +0 -1098
  899. data/ext/abc/src/misc/bzlib/bzip2.txt +0 -391
  900. data/ext/abc/src/misc/bzlib/bzlib.c +0 -1588
  901. data/ext/abc/src/misc/bzlib/bzlib.h +0 -287
  902. data/ext/abc/src/misc/bzlib/bzlib_private.h +0 -513
  903. data/ext/abc/src/misc/bzlib/compress.c +0 -677
  904. data/ext/abc/src/misc/bzlib/crctable.c +0 -109
  905. data/ext/abc/src/misc/bzlib/decompress.c +0 -631
  906. data/ext/abc/src/misc/bzlib/huffman.c +0 -210
  907. data/ext/abc/src/misc/bzlib/link.txt +0 -2
  908. data/ext/abc/src/misc/bzlib/manual.html +0 -2540
  909. data/ext/abc/src/misc/bzlib/module.make +0 -7
  910. data/ext/abc/src/misc/bzlib/randtable.c +0 -89
  911. data/ext/abc/src/misc/espresso/cofactor.c +0 -389
  912. data/ext/abc/src/misc/espresso/cols.c +0 -319
  913. data/ext/abc/src/misc/espresso/compl.c +0 -685
  914. data/ext/abc/src/misc/espresso/contain.c +0 -450
  915. data/ext/abc/src/misc/espresso/cubehack.c +0 -143
  916. data/ext/abc/src/misc/espresso/cubestr.c +0 -157
  917. data/ext/abc/src/misc/espresso/cvrin.c +0 -816
  918. data/ext/abc/src/misc/espresso/cvrm.c +0 -544
  919. data/ext/abc/src/misc/espresso/cvrmisc.c +0 -147
  920. data/ext/abc/src/misc/espresso/cvrout.c +0 -614
  921. data/ext/abc/src/misc/espresso/dominate.c +0 -103
  922. data/ext/abc/src/misc/espresso/equiv.c +0 -99
  923. data/ext/abc/src/misc/espresso/espresso.c +0 -144
  924. data/ext/abc/src/misc/espresso/espresso.h +0 -786
  925. data/ext/abc/src/misc/espresso/essen.c +0 -184
  926. data/ext/abc/src/misc/espresso/exact.c +0 -186
  927. data/ext/abc/src/misc/espresso/expand.c +0 -700
  928. data/ext/abc/src/misc/espresso/gasp.c +0 -233
  929. data/ext/abc/src/misc/espresso/gimpel.c +0 -112
  930. data/ext/abc/src/misc/espresso/globals.c +0 -81
  931. data/ext/abc/src/misc/espresso/hack.c +0 -646
  932. data/ext/abc/src/misc/espresso/indep.c +0 -139
  933. data/ext/abc/src/misc/espresso/irred.c +0 -445
  934. data/ext/abc/src/misc/espresso/main.c +0 -751
  935. data/ext/abc/src/misc/espresso/main.h +0 -122
  936. data/ext/abc/src/misc/espresso/map.c +0 -122
  937. data/ext/abc/src/misc/espresso/matrix.c +0 -579
  938. data/ext/abc/src/misc/espresso/mincov.c +0 -383
  939. data/ext/abc/src/misc/espresso/mincov.h +0 -11
  940. data/ext/abc/src/misc/espresso/mincov_int.h +0 -55
  941. data/ext/abc/src/misc/espresso/module.make +0 -39
  942. data/ext/abc/src/misc/espresso/opo.c +0 -629
  943. data/ext/abc/src/misc/espresso/pair.c +0 -685
  944. data/ext/abc/src/misc/espresso/part.c +0 -127
  945. data/ext/abc/src/misc/espresso/primes.c +0 -175
  946. data/ext/abc/src/misc/espresso/reduce.c +0 -263
  947. data/ext/abc/src/misc/espresso/rows.c +0 -319
  948. data/ext/abc/src/misc/espresso/set.c +0 -825
  949. data/ext/abc/src/misc/espresso/setc.c +0 -488
  950. data/ext/abc/src/misc/espresso/sharp.c +0 -252
  951. data/ext/abc/src/misc/espresso/sminterf.c +0 -49
  952. data/ext/abc/src/misc/espresso/solution.c +0 -119
  953. data/ext/abc/src/misc/espresso/sparse.c +0 -151
  954. data/ext/abc/src/misc/espresso/sparse.h +0 -143
  955. data/ext/abc/src/misc/espresso/sparse_int.h +0 -121
  956. data/ext/abc/src/misc/espresso/unate.c +0 -446
  957. data/ext/abc/src/misc/espresso/util_old.h +0 -309
  958. data/ext/abc/src/misc/espresso/verify.c +0 -198
  959. data/ext/abc/src/misc/extra/extra.h +0 -417
  960. data/ext/abc/src/misc/extra/extraUtilBitMatrix.c +0 -420
  961. data/ext/abc/src/misc/extra/extraUtilCanon.c +0 -691
  962. data/ext/abc/src/misc/extra/extraUtilCube.c +0 -279
  963. data/ext/abc/src/misc/extra/extraUtilDsd.c +0 -1271
  964. data/ext/abc/src/misc/extra/extraUtilEnum.c +0 -680
  965. data/ext/abc/src/misc/extra/extraUtilFile.c +0 -887
  966. data/ext/abc/src/misc/extra/extraUtilMemory.c +0 -628
  967. data/ext/abc/src/misc/extra/extraUtilMisc.c +0 -2580
  968. data/ext/abc/src/misc/extra/extraUtilPerm.c +0 -933
  969. data/ext/abc/src/misc/extra/extraUtilPrime.c +0 -602
  970. data/ext/abc/src/misc/extra/extraUtilProgress.c +0 -185
  971. data/ext/abc/src/misc/extra/extraUtilReader.c +0 -390
  972. data/ext/abc/src/misc/extra/extraUtilSupp.c +0 -532
  973. data/ext/abc/src/misc/extra/extraUtilTruth.c +0 -1153
  974. data/ext/abc/src/misc/extra/extraUtilUtil.c +0 -421
  975. data/ext/abc/src/misc/extra/extraZddTrunc.c +0 -338
  976. data/ext/abc/src/misc/extra/module.make +0 -14
  977. data/ext/abc/src/misc/hash/hash.h +0 -70
  978. data/ext/abc/src/misc/hash/hashFlt.h +0 -339
  979. data/ext/abc/src/misc/hash/hashGen.h +0 -367
  980. data/ext/abc/src/misc/hash/hashInt.h +0 -302
  981. data/ext/abc/src/misc/hash/hashPtr.h +0 -339
  982. data/ext/abc/src/misc/hash/module.make +0 -1
  983. data/ext/abc/src/misc/mem/mem.c +0 -605
  984. data/ext/abc/src/misc/mem/mem.h +0 -75
  985. data/ext/abc/src/misc/mem/mem2.h +0 -271
  986. data/ext/abc/src/misc/mem/module.make +0 -1
  987. data/ext/abc/src/misc/mvc/module.make +0 -15
  988. data/ext/abc/src/misc/mvc/mvc.c +0 -51
  989. data/ext/abc/src/misc/mvc/mvc.h +0 -739
  990. data/ext/abc/src/misc/mvc/mvcApi.c +0 -238
  991. data/ext/abc/src/misc/mvc/mvcCompare.c +0 -374
  992. data/ext/abc/src/misc/mvc/mvcContain.c +0 -178
  993. data/ext/abc/src/misc/mvc/mvcCover.c +0 -256
  994. data/ext/abc/src/misc/mvc/mvcCube.c +0 -180
  995. data/ext/abc/src/misc/mvc/mvcDivide.c +0 -442
  996. data/ext/abc/src/misc/mvc/mvcDivisor.c +0 -95
  997. data/ext/abc/src/misc/mvc/mvcList.c +0 -367
  998. data/ext/abc/src/misc/mvc/mvcLits.c +0 -350
  999. data/ext/abc/src/misc/mvc/mvcMan.c +0 -82
  1000. data/ext/abc/src/misc/mvc/mvcOpAlg.c +0 -168
  1001. data/ext/abc/src/misc/mvc/mvcOpBool.c +0 -156
  1002. data/ext/abc/src/misc/mvc/mvcPrint.c +0 -225
  1003. data/ext/abc/src/misc/mvc/mvcSort.c +0 -146
  1004. data/ext/abc/src/misc/mvc/mvcUtils.c +0 -873
  1005. data/ext/abc/src/misc/nm/module.make +0 -2
  1006. data/ext/abc/src/misc/nm/nm.h +0 -96
  1007. data/ext/abc/src/misc/nm/nmApi.c +0 -278
  1008. data/ext/abc/src/misc/nm/nmInt.h +0 -94
  1009. data/ext/abc/src/misc/nm/nmTable.c +0 -310
  1010. data/ext/abc/src/misc/parse/module.make +0 -2
  1011. data/ext/abc/src/misc/parse/parse.h +0 -62
  1012. data/ext/abc/src/misc/parse/parseCore.c +0 -536
  1013. data/ext/abc/src/misc/parse/parseEqn.c +0 -362
  1014. data/ext/abc/src/misc/parse/parseInt.h +0 -77
  1015. data/ext/abc/src/misc/parse/parseStack.c +0 -248
  1016. data/ext/abc/src/misc/st/module.make +0 -2
  1017. data/ext/abc/src/misc/st/st.c +0 -561
  1018. data/ext/abc/src/misc/st/st.h +0 -121
  1019. data/ext/abc/src/misc/st/stmm.c +0 -627
  1020. data/ext/abc/src/misc/st/stmm.h +0 -147
  1021. data/ext/abc/src/misc/tim/module.make +0 -5
  1022. data/ext/abc/src/misc/tim/tim.c +0 -39
  1023. data/ext/abc/src/misc/tim/tim.h +0 -184
  1024. data/ext/abc/src/misc/tim/timBox.c +0 -326
  1025. data/ext/abc/src/misc/tim/timDump.c +0 -201
  1026. data/ext/abc/src/misc/tim/timInt.h +0 -148
  1027. data/ext/abc/src/misc/tim/timMan.c +0 -807
  1028. data/ext/abc/src/misc/tim/timTime.c +0 -267
  1029. data/ext/abc/src/misc/tim/timTrav.c +0 -185
  1030. data/ext/abc/src/misc/util/abc_global.h +0 -416
  1031. data/ext/abc/src/misc/util/abc_namespaces.h +0 -58
  1032. data/ext/abc/src/misc/util/module.make +0 -8
  1033. data/ext/abc/src/misc/util/utilBridge.c +0 -564
  1034. data/ext/abc/src/misc/util/utilCex.c +0 -574
  1035. data/ext/abc/src/misc/util/utilCex.h +0 -84
  1036. data/ext/abc/src/misc/util/utilColor.c +0 -124
  1037. data/ext/abc/src/misc/util/utilDouble.h +0 -222
  1038. data/ext/abc/src/misc/util/utilFile.c +0 -221
  1039. data/ext/abc/src/misc/util/utilFloat.h +0 -226
  1040. data/ext/abc/src/misc/util/utilIsop.c +0 -1139
  1041. data/ext/abc/src/misc/util/utilMem.c +0 -341
  1042. data/ext/abc/src/misc/util/utilMem.h +0 -73
  1043. data/ext/abc/src/misc/util/utilNam.c +0 -622
  1044. data/ext/abc/src/misc/util/utilNam.h +0 -80
  1045. data/ext/abc/src/misc/util/utilSignal.c +0 -68
  1046. data/ext/abc/src/misc/util/utilSignal.h +0 -58
  1047. data/ext/abc/src/misc/util/utilSort.c +0 -789
  1048. data/ext/abc/src/misc/util/utilTruth.h +0 -3076
  1049. data/ext/abc/src/misc/util/util_hack.h +0 -46
  1050. data/ext/abc/src/misc/vec/module.make +0 -1
  1051. data/ext/abc/src/misc/vec/vec.h +0 -74
  1052. data/ext/abc/src/misc/vec/vecAtt.h +0 -298
  1053. data/ext/abc/src/misc/vec/vecBit.h +0 -636
  1054. data/ext/abc/src/misc/vec/vecFlt.h +0 -826
  1055. data/ext/abc/src/misc/vec/vecHash.h +0 -280
  1056. data/ext/abc/src/misc/vec/vecHsh.h +0 -590
  1057. data/ext/abc/src/misc/vec/vecInt.h +0 -2078
  1058. data/ext/abc/src/misc/vec/vecMem.h +0 -431
  1059. data/ext/abc/src/misc/vec/vecPtr.h +0 -1160
  1060. data/ext/abc/src/misc/vec/vecQue.h +0 -374
  1061. data/ext/abc/src/misc/vec/vecSet.h +0 -299
  1062. data/ext/abc/src/misc/vec/vecStr.h +0 -1072
  1063. data/ext/abc/src/misc/vec/vecVec.h +0 -646
  1064. data/ext/abc/src/misc/vec/vecWec.h +0 -738
  1065. data/ext/abc/src/misc/vec/vecWrd.h +0 -1205
  1066. data/ext/abc/src/misc/zlib/README +0 -115
  1067. data/ext/abc/src/misc/zlib/adler32.c +0 -168
  1068. data/ext/abc/src/misc/zlib/algorithm.txt +0 -209
  1069. data/ext/abc/src/misc/zlib/compress_.c +0 -76
  1070. data/ext/abc/src/misc/zlib/crc32.c +0 -433
  1071. data/ext/abc/src/misc/zlib/crc32.h +0 -445
  1072. data/ext/abc/src/misc/zlib/deflate.c +0 -1784
  1073. data/ext/abc/src/misc/zlib/deflate.h +0 -346
  1074. data/ext/abc/src/misc/zlib/gzclose.c +0 -33
  1075. data/ext/abc/src/misc/zlib/gzguts.h +0 -147
  1076. data/ext/abc/src/misc/zlib/gzlib.c +0 -517
  1077. data/ext/abc/src/misc/zlib/gzread.c +0 -641
  1078. data/ext/abc/src/misc/zlib/gzwrite.c +0 -520
  1079. data/ext/abc/src/misc/zlib/infback.c +0 -631
  1080. data/ext/abc/src/misc/zlib/inffast.c +0 -351
  1081. data/ext/abc/src/misc/zlib/inffast.h +0 -15
  1082. data/ext/abc/src/misc/zlib/inffixed.h +0 -98
  1083. data/ext/abc/src/misc/zlib/inflate.c +0 -1457
  1084. data/ext/abc/src/misc/zlib/inflate.h +0 -126
  1085. data/ext/abc/src/misc/zlib/inftrees.c +0 -337
  1086. data/ext/abc/src/misc/zlib/inftrees.h +0 -66
  1087. data/ext/abc/src/misc/zlib/license +0 -31
  1088. data/ext/abc/src/misc/zlib/link.txt +0 -1
  1089. data/ext/abc/src/misc/zlib/module.make +0 -15
  1090. data/ext/abc/src/misc/zlib/trees.c +0 -1216
  1091. data/ext/abc/src/misc/zlib/trees.h +0 -132
  1092. data/ext/abc/src/misc/zlib/uncompr.c +0 -67
  1093. data/ext/abc/src/misc/zlib/zconf.h +0 -432
  1094. data/ext/abc/src/misc/zlib/zlib.h +0 -1619
  1095. data/ext/abc/src/misc/zlib/zutil.c +0 -318
  1096. data/ext/abc/src/misc/zlib/zutil.h +0 -288
  1097. data/ext/abc/src/opt/cgt/cgt.h +0 -87
  1098. data/ext/abc/src/opt/cgt/cgtAig.c +0 -601
  1099. data/ext/abc/src/opt/cgt/cgtCore.c +0 -328
  1100. data/ext/abc/src/opt/cgt/cgtDecide.c +0 -300
  1101. data/ext/abc/src/opt/cgt/cgtInt.h +0 -123
  1102. data/ext/abc/src/opt/cgt/cgtMan.c +0 -179
  1103. data/ext/abc/src/opt/cgt/cgtSat.c +0 -98
  1104. data/ext/abc/src/opt/cgt/module.make +0 -5
  1105. data/ext/abc/src/opt/csw/csw.h +0 -69
  1106. data/ext/abc/src/opt/csw/cswCore.c +0 -100
  1107. data/ext/abc/src/opt/csw/cswCut.c +0 -608
  1108. data/ext/abc/src/opt/csw/cswInt.h +0 -160
  1109. data/ext/abc/src/opt/csw/cswMan.c +0 -130
  1110. data/ext/abc/src/opt/csw/cswTable.c +0 -166
  1111. data/ext/abc/src/opt/csw/csw_.c +0 -53
  1112. data/ext/abc/src/opt/csw/module.make +0 -4
  1113. data/ext/abc/src/opt/cut/abcCut.c +0 -498
  1114. data/ext/abc/src/opt/cut/cut.h +0 -172
  1115. data/ext/abc/src/opt/cut/cutApi.c +0 -202
  1116. data/ext/abc/src/opt/cut/cutCut.c +0 -364
  1117. data/ext/abc/src/opt/cut/cutExpand.c +0 -189
  1118. data/ext/abc/src/opt/cut/cutInt.h +0 -165
  1119. data/ext/abc/src/opt/cut/cutList.h +0 -215
  1120. data/ext/abc/src/opt/cut/cutMan.c +0 -320
  1121. data/ext/abc/src/opt/cut/cutMerge.c +0 -662
  1122. data/ext/abc/src/opt/cut/cutNode.c +0 -1004
  1123. data/ext/abc/src/opt/cut/cutOracle.c +0 -424
  1124. data/ext/abc/src/opt/cut/cutPre22.c +0 -994
  1125. data/ext/abc/src/opt/cut/cutSeq.c +0 -232
  1126. data/ext/abc/src/opt/cut/cutTruth.c +0 -232
  1127. data/ext/abc/src/opt/cut/module.make +0 -9
  1128. data/ext/abc/src/opt/dar/dar.h +0 -116
  1129. data/ext/abc/src/opt/dar/darBalance.c +0 -761
  1130. data/ext/abc/src/opt/dar/darCore.c +0 -348
  1131. data/ext/abc/src/opt/dar/darCut.c +0 -837
  1132. data/ext/abc/src/opt/dar/darData.c +0 -11294
  1133. data/ext/abc/src/opt/dar/darInt.h +0 -169
  1134. data/ext/abc/src/opt/dar/darLib.c +0 -1341
  1135. data/ext/abc/src/opt/dar/darMan.c +0 -174
  1136. data/ext/abc/src/opt/dar/darPrec.c +0 -394
  1137. data/ext/abc/src/opt/dar/darRefact.c +0 -639
  1138. data/ext/abc/src/opt/dar/darResub.c +0 -53
  1139. data/ext/abc/src/opt/dar/darScript.c +0 -911
  1140. data/ext/abc/src/opt/dar/dar_.c +0 -53
  1141. data/ext/abc/src/opt/dar/module.make +0 -9
  1142. data/ext/abc/src/opt/dau/dau.c +0 -53
  1143. data/ext/abc/src/opt/dau/dau.h +0 -125
  1144. data/ext/abc/src/opt/dau/dauArray.c +0 -257
  1145. data/ext/abc/src/opt/dau/dauCanon.c +0 -1202
  1146. data/ext/abc/src/opt/dau/dauCore.c +0 -112
  1147. data/ext/abc/src/opt/dau/dauDivs.c +0 -111
  1148. data/ext/abc/src/opt/dau/dauDsd.c +0 -2098
  1149. data/ext/abc/src/opt/dau/dauDsd2.c +0 -660
  1150. data/ext/abc/src/opt/dau/dauEnum.c +0 -253
  1151. data/ext/abc/src/opt/dau/dauGia.c +0 -573
  1152. data/ext/abc/src/opt/dau/dauInt.h +0 -70
  1153. data/ext/abc/src/opt/dau/dauMerge.c +0 -824
  1154. data/ext/abc/src/opt/dau/dauNonDsd.c +0 -903
  1155. data/ext/abc/src/opt/dau/dauTree.c +0 -2022
  1156. data/ext/abc/src/opt/dau/module.make +0 -9
  1157. data/ext/abc/src/opt/dsc/dsc.c +0 -525
  1158. data/ext/abc/src/opt/dsc/dsc.h +0 -91
  1159. data/ext/abc/src/opt/dsc/module.make +0 -1
  1160. data/ext/abc/src/opt/fret/fretFlow.c +0 -700
  1161. data/ext/abc/src/opt/fret/fretInit.c +0 -1343
  1162. data/ext/abc/src/opt/fret/fretMain.c +0 -1383
  1163. data/ext/abc/src/opt/fret/fretTime.c +0 -766
  1164. data/ext/abc/src/opt/fret/fretime.h +0 -212
  1165. data/ext/abc/src/opt/fret/module.make +0 -5
  1166. data/ext/abc/src/opt/fsim/fsim.h +0 -101
  1167. data/ext/abc/src/opt/fsim/fsimCore.c +0 -88
  1168. data/ext/abc/src/opt/fsim/fsimFront.c +0 -369
  1169. data/ext/abc/src/opt/fsim/fsimInt.h +0 -138
  1170. data/ext/abc/src/opt/fsim/fsimMan.c +0 -212
  1171. data/ext/abc/src/opt/fsim/fsimSim.c +0 -569
  1172. data/ext/abc/src/opt/fsim/fsimSwitch.c +0 -40
  1173. data/ext/abc/src/opt/fsim/fsimTsim.c +0 -416
  1174. data/ext/abc/src/opt/fsim/module.make +0 -6
  1175. data/ext/abc/src/opt/fxch/Fxch.c +0 -266
  1176. data/ext/abc/src/opt/fxch/Fxch.h +0 -229
  1177. data/ext/abc/src/opt/fxch/FxchDiv.c +0 -485
  1178. data/ext/abc/src/opt/fxch/FxchMan.c +0 -785
  1179. data/ext/abc/src/opt/fxch/FxchSCHashTable.c +0 -382
  1180. data/ext/abc/src/opt/fxch/module.make +0 -4
  1181. data/ext/abc/src/opt/fxu/fxu.c +0 -260
  1182. data/ext/abc/src/opt/fxu/fxu.h +0 -97
  1183. data/ext/abc/src/opt/fxu/fxuCreate.c +0 -447
  1184. data/ext/abc/src/opt/fxu/fxuHeapD.c +0 -450
  1185. data/ext/abc/src/opt/fxu/fxuHeapS.c +0 -449
  1186. data/ext/abc/src/opt/fxu/fxuInt.h +0 -545
  1187. data/ext/abc/src/opt/fxu/fxuList.c +0 -527
  1188. data/ext/abc/src/opt/fxu/fxuMatrix.c +0 -377
  1189. data/ext/abc/src/opt/fxu/fxuPair.c +0 -560
  1190. data/ext/abc/src/opt/fxu/fxuPrint.c +0 -202
  1191. data/ext/abc/src/opt/fxu/fxuReduce.c +0 -213
  1192. data/ext/abc/src/opt/fxu/fxuSelect.c +0 -608
  1193. data/ext/abc/src/opt/fxu/fxuSingle.c +0 -289
  1194. data/ext/abc/src/opt/fxu/fxuUpdate.c +0 -811
  1195. data/ext/abc/src/opt/fxu/module.make +0 -12
  1196. data/ext/abc/src/opt/lpk/lpk.h +0 -88
  1197. data/ext/abc/src/opt/lpk/lpkAbcDec.c +0 -294
  1198. data/ext/abc/src/opt/lpk/lpkAbcDsd.c +0 -617
  1199. data/ext/abc/src/opt/lpk/lpkAbcMux.c +0 -240
  1200. data/ext/abc/src/opt/lpk/lpkAbcUtil.c +0 -249
  1201. data/ext/abc/src/opt/lpk/lpkCore.c +0 -694
  1202. data/ext/abc/src/opt/lpk/lpkCut.c +0 -689
  1203. data/ext/abc/src/opt/lpk/lpkInt.h +0 -250
  1204. data/ext/abc/src/opt/lpk/lpkMan.c +0 -127
  1205. data/ext/abc/src/opt/lpk/lpkMap.c +0 -210
  1206. data/ext/abc/src/opt/lpk/lpkMulti.c +0 -513
  1207. data/ext/abc/src/opt/lpk/lpkMux.c +0 -252
  1208. data/ext/abc/src/opt/lpk/lpkSets.c +0 -445
  1209. data/ext/abc/src/opt/lpk/lpk_.c +0 -53
  1210. data/ext/abc/src/opt/lpk/module.make +0 -11
  1211. data/ext/abc/src/opt/mfs/mfs.h +0 -89
  1212. data/ext/abc/src/opt/mfs/mfsCore.c +0 -596
  1213. data/ext/abc/src/opt/mfs/mfsCore_.c +0 -394
  1214. data/ext/abc/src/opt/mfs/mfsDiv.c +0 -309
  1215. data/ext/abc/src/opt/mfs/mfsGia.c +0 -301
  1216. data/ext/abc/src/opt/mfs/mfsInt.h +0 -192
  1217. data/ext/abc/src/opt/mfs/mfsInter.c +0 -398
  1218. data/ext/abc/src/opt/mfs/mfsMan.c +0 -202
  1219. data/ext/abc/src/opt/mfs/mfsResub.c +0 -622
  1220. data/ext/abc/src/opt/mfs/mfsResub_.c +0 -567
  1221. data/ext/abc/src/opt/mfs/mfsSat.c +0 -182
  1222. data/ext/abc/src/opt/mfs/mfsStrash.c +0 -406
  1223. data/ext/abc/src/opt/mfs/mfsWin.c +0 -117
  1224. data/ext/abc/src/opt/mfs/mfs_.c +0 -52
  1225. data/ext/abc/src/opt/mfs/module.make +0 -8
  1226. data/ext/abc/src/opt/nwk/module.make +0 -14
  1227. data/ext/abc/src/opt/nwk/ntlnwk.h +0 -113
  1228. data/ext/abc/src/opt/nwk/nwk.h +0 -307
  1229. data/ext/abc/src/opt/nwk/nwkAig.c +0 -299
  1230. data/ext/abc/src/opt/nwk/nwkBidec.c +0 -177
  1231. data/ext/abc/src/opt/nwk/nwkCheck.c +0 -76
  1232. data/ext/abc/src/opt/nwk/nwkDfs.c +0 -664
  1233. data/ext/abc/src/opt/nwk/nwkFanio.c +0 -320
  1234. data/ext/abc/src/opt/nwk/nwkFlow.c +0 -606
  1235. data/ext/abc/src/opt/nwk/nwkFlow_depth.c +0 -631
  1236. data/ext/abc/src/opt/nwk/nwkMan.c +0 -278
  1237. data/ext/abc/src/opt/nwk/nwkMap.c +0 -396
  1238. data/ext/abc/src/opt/nwk/nwkMerge.c +0 -1046
  1239. data/ext/abc/src/opt/nwk/nwkMerge.h +0 -153
  1240. data/ext/abc/src/opt/nwk/nwkObj.c +0 -204
  1241. data/ext/abc/src/opt/nwk/nwkSpeedup.c +0 -382
  1242. data/ext/abc/src/opt/nwk/nwkStrash.c +0 -149
  1243. data/ext/abc/src/opt/nwk/nwkTiming.c +0 -894
  1244. data/ext/abc/src/opt/nwk/nwkUtil.c +0 -644
  1245. data/ext/abc/src/opt/nwk/nwk_.c +0 -52
  1246. data/ext/abc/src/opt/res/module.make +0 -7
  1247. data/ext/abc/src/opt/res/res.h +0 -79
  1248. data/ext/abc/src/opt/res/resCore.c +0 -427
  1249. data/ext/abc/src/opt/res/resDivs.c +0 -290
  1250. data/ext/abc/src/opt/res/resFilter.c +0 -439
  1251. data/ext/abc/src/opt/res/resInt.h +0 -141
  1252. data/ext/abc/src/opt/res/resSat.c +0 -414
  1253. data/ext/abc/src/opt/res/resSim.c +0 -795
  1254. data/ext/abc/src/opt/res/resSim_old.c +0 -526
  1255. data/ext/abc/src/opt/res/resStrash.c +0 -122
  1256. data/ext/abc/src/opt/res/resWin.c +0 -490
  1257. data/ext/abc/src/opt/res/res_.c +0 -55
  1258. data/ext/abc/src/opt/ret/module.make +0 -8
  1259. data/ext/abc/src/opt/ret/retArea.c +0 -554
  1260. data/ext/abc/src/opt/ret/retCore.c +0 -138
  1261. data/ext/abc/src/opt/ret/retDelay.c +0 -315
  1262. data/ext/abc/src/opt/ret/retFlow.c +0 -789
  1263. data/ext/abc/src/opt/ret/retIncrem.c +0 -480
  1264. data/ext/abc/src/opt/ret/retInit.c +0 -355
  1265. data/ext/abc/src/opt/ret/retInt.h +0 -88
  1266. data/ext/abc/src/opt/ret/retLvalue.c +0 -402
  1267. data/ext/abc/src/opt/ret/ret_.c +0 -53
  1268. data/ext/abc/src/opt/rwr/module.make +0 -7
  1269. data/ext/abc/src/opt/rwr/rwr.h +0 -173
  1270. data/ext/abc/src/opt/rwr/rwrDec.c +0 -155
  1271. data/ext/abc/src/opt/rwr/rwrEva.c +0 -599
  1272. data/ext/abc/src/opt/rwr/rwrExp.c +0 -336
  1273. data/ext/abc/src/opt/rwr/rwrLib.c +0 -367
  1274. data/ext/abc/src/opt/rwr/rwrMan.c +0 -323
  1275. data/ext/abc/src/opt/rwr/rwrPrint.c +0 -271
  1276. data/ext/abc/src/opt/rwr/rwrTemp.c +0 -126
  1277. data/ext/abc/src/opt/rwr/rwrUtil.c +0 -661
  1278. data/ext/abc/src/opt/rwt/module.make +0 -3
  1279. data/ext/abc/src/opt/rwt/rwt.h +0 -165
  1280. data/ext/abc/src/opt/rwt/rwtDec.c +0 -155
  1281. data/ext/abc/src/opt/rwt/rwtMan.c +0 -363
  1282. data/ext/abc/src/opt/rwt/rwtUtil.c +0 -663
  1283. data/ext/abc/src/opt/sbd/module.make +0 -9
  1284. data/ext/abc/src/opt/sbd/sbd.c +0 -122
  1285. data/ext/abc/src/opt/sbd/sbd.h +0 -82
  1286. data/ext/abc/src/opt/sbd/sbdCnf.c +0 -147
  1287. data/ext/abc/src/opt/sbd/sbdCore.c +0 -2229
  1288. data/ext/abc/src/opt/sbd/sbdCut.c +0 -872
  1289. data/ext/abc/src/opt/sbd/sbdCut2.c +0 -431
  1290. data/ext/abc/src/opt/sbd/sbdInt.h +0 -125
  1291. data/ext/abc/src/opt/sbd/sbdLut.c +0 -311
  1292. data/ext/abc/src/opt/sbd/sbdPath.c +0 -197
  1293. data/ext/abc/src/opt/sbd/sbdSat.c +0 -793
  1294. data/ext/abc/src/opt/sbd/sbdSim.c +0 -310
  1295. data/ext/abc/src/opt/sbd/sbdWin.c +0 -464
  1296. data/ext/abc/src/opt/sfm/module.make +0 -10
  1297. data/ext/abc/src/opt/sfm/sfm.h +0 -107
  1298. data/ext/abc/src/opt/sfm/sfmArea.c +0 -380
  1299. data/ext/abc/src/opt/sfm/sfmCnf.c +0 -179
  1300. data/ext/abc/src/opt/sfm/sfmCore.c +0 -306
  1301. data/ext/abc/src/opt/sfm/sfmDec.c +0 -2168
  1302. data/ext/abc/src/opt/sfm/sfmInt.h +0 -254
  1303. data/ext/abc/src/opt/sfm/sfmLib.c +0 -766
  1304. data/ext/abc/src/opt/sfm/sfmMit.c +0 -73
  1305. data/ext/abc/src/opt/sfm/sfmNtk.c +0 -381
  1306. data/ext/abc/src/opt/sfm/sfmSat.c +0 -273
  1307. data/ext/abc/src/opt/sfm/sfmTim.c +0 -458
  1308. data/ext/abc/src/opt/sfm/sfmWin.c +0 -481
  1309. data/ext/abc/src/opt/sim/module.make +0 -9
  1310. data/ext/abc/src/opt/sim/sim.h +0 -237
  1311. data/ext/abc/src/opt/sim/simMan.c +0 -293
  1312. data/ext/abc/src/opt/sim/simSat.c +0 -53
  1313. data/ext/abc/src/opt/sim/simSeq.c +0 -176
  1314. data/ext/abc/src/opt/sim/simSupp.c +0 -603
  1315. data/ext/abc/src/opt/sim/simSwitch.c +0 -112
  1316. data/ext/abc/src/opt/sim/simSym.c +0 -148
  1317. data/ext/abc/src/opt/sim/simSymSat.c +0 -205
  1318. data/ext/abc/src/opt/sim/simSymSim.c +0 -178
  1319. data/ext/abc/src/opt/sim/simSymStr.c +0 -493
  1320. data/ext/abc/src/opt/sim/simUtils.c +0 -718
  1321. data/ext/abc/src/phys/place/Makefile +0 -30
  1322. data/ext/abc/src/phys/place/README +0 -50
  1323. data/ext/abc/src/phys/place/hpwl +0 -57
  1324. data/ext/abc/src/phys/place/libhmetis.h +0 -39
  1325. data/ext/abc/src/phys/place/module.make +0 -10
  1326. data/ext/abc/src/phys/place/place_base.c +0 -350
  1327. data/ext/abc/src/phys/place/place_base.h +0 -145
  1328. data/ext/abc/src/phys/place/place_bin.c +0 -282
  1329. data/ext/abc/src/phys/place/place_genqp.c +0 -314
  1330. data/ext/abc/src/phys/place/place_gordian.c +0 -165
  1331. data/ext/abc/src/phys/place/place_gordian.h +0 -86
  1332. data/ext/abc/src/phys/place/place_inc.c +0 -111
  1333. data/ext/abc/src/phys/place/place_io.c +0 -99
  1334. data/ext/abc/src/phys/place/place_legalize.c +0 -28
  1335. data/ext/abc/src/phys/place/place_pads.c +0 -146
  1336. data/ext/abc/src/phys/place/place_partition.c +0 -1140
  1337. data/ext/abc/src/phys/place/place_qpsolver.c +0 -1275
  1338. data/ext/abc/src/phys/place/place_qpsolver.h +0 -139
  1339. data/ext/abc/src/phys/place/place_test.c +0 -365
  1340. data/ext/abc/src/proof/abs/abs.c +0 -52
  1341. data/ext/abc/src/proof/abs/abs.h +0 -177
  1342. data/ext/abc/src/proof/abs/absDup.c +0 -445
  1343. data/ext/abc/src/proof/abs/absGla.c +0 -1901
  1344. data/ext/abc/src/proof/abs/absGlaOld.c +0 -1956
  1345. data/ext/abc/src/proof/abs/absIter.c +0 -148
  1346. data/ext/abc/src/proof/abs/absOldCex.c +0 -873
  1347. data/ext/abc/src/proof/abs/absOldRef.c +0 -474
  1348. data/ext/abc/src/proof/abs/absOldSat.c +0 -986
  1349. data/ext/abc/src/proof/abs/absOldSim.c +0 -477
  1350. data/ext/abc/src/proof/abs/absOut.c +0 -458
  1351. data/ext/abc/src/proof/abs/absPth.c +0 -205
  1352. data/ext/abc/src/proof/abs/absRef.c +0 -751
  1353. data/ext/abc/src/proof/abs/absRef.h +0 -129
  1354. data/ext/abc/src/proof/abs/absRefJ.c +0 -916
  1355. data/ext/abc/src/proof/abs/absRefJ.h +0 -67
  1356. data/ext/abc/src/proof/abs/absRefSelect.c +0 -309
  1357. data/ext/abc/src/proof/abs/absRpm.c +0 -874
  1358. data/ext/abc/src/proof/abs/absRpmOld.c +0 -201
  1359. data/ext/abc/src/proof/abs/absUtil.c +0 -257
  1360. data/ext/abc/src/proof/abs/absVta.c +0 -1764
  1361. data/ext/abc/src/proof/abs/module.make +0 -16
  1362. data/ext/abc/src/proof/acec/acec.c +0 -52
  1363. data/ext/abc/src/proof/acec/acec.h +0 -98
  1364. data/ext/abc/src/proof/acec/acec2Mult.c +0 -1211
  1365. data/ext/abc/src/proof/acec/acecBo.c +0 -216
  1366. data/ext/abc/src/proof/acec/acecCl.c +0 -445
  1367. data/ext/abc/src/proof/acec/acecCo.c +0 -429
  1368. data/ext/abc/src/proof/acec/acecCore.c +0 -553
  1369. data/ext/abc/src/proof/acec/acecCover.c +0 -263
  1370. data/ext/abc/src/proof/acec/acecFadds.c +0 -1247
  1371. data/ext/abc/src/proof/acec/acecInt.h +0 -105
  1372. data/ext/abc/src/proof/acec/acecMult.c +0 -623
  1373. data/ext/abc/src/proof/acec/acecNorm.c +0 -226
  1374. data/ext/abc/src/proof/acec/acecOrder.c +0 -254
  1375. data/ext/abc/src/proof/acec/acecPa.c +0 -277
  1376. data/ext/abc/src/proof/acec/acecPo.c +0 -655
  1377. data/ext/abc/src/proof/acec/acecPolyn.c +0 -445
  1378. data/ext/abc/src/proof/acec/acecPool.c +0 -428
  1379. data/ext/abc/src/proof/acec/acecRe.c +0 -602
  1380. data/ext/abc/src/proof/acec/acecSt.c +0 -422
  1381. data/ext/abc/src/proof/acec/acecStruct.c +0 -271
  1382. data/ext/abc/src/proof/acec/acecTree.c +0 -783
  1383. data/ext/abc/src/proof/acec/acecUtil.c +0 -122
  1384. data/ext/abc/src/proof/acec/acecXor.c +0 -434
  1385. data/ext/abc/src/proof/acec/module.make +0 -19
  1386. data/ext/abc/src/proof/cec/cec.c +0 -53
  1387. data/ext/abc/src/proof/cec/cec.h +0 -240
  1388. data/ext/abc/src/proof/cec/cecCec.c +0 -580
  1389. data/ext/abc/src/proof/cec/cecChoice.c +0 -410
  1390. data/ext/abc/src/proof/cec/cecClass.c +0 -931
  1391. data/ext/abc/src/proof/cec/cecCore.c +0 -554
  1392. data/ext/abc/src/proof/cec/cecCorr.c +0 -1229
  1393. data/ext/abc/src/proof/cec/cecInt.h +0 -227
  1394. data/ext/abc/src/proof/cec/cecIso.c +0 -375
  1395. data/ext/abc/src/proof/cec/cecMan.c +0 -297
  1396. data/ext/abc/src/proof/cec/cecPat.c +0 -578
  1397. data/ext/abc/src/proof/cec/cecSat.c +0 -1040
  1398. data/ext/abc/src/proof/cec/cecSatG.c +0 -1048
  1399. data/ext/abc/src/proof/cec/cecSeq.c +0 -449
  1400. data/ext/abc/src/proof/cec/cecSim.c +0 -53
  1401. data/ext/abc/src/proof/cec/cecSimBack.c +0 -194
  1402. data/ext/abc/src/proof/cec/cecSolve.c +0 -1107
  1403. data/ext/abc/src/proof/cec/cecSplit.c +0 -849
  1404. data/ext/abc/src/proof/cec/cecSweep.c +0 -301
  1405. data/ext/abc/src/proof/cec/cecSynth.c +0 -433
  1406. data/ext/abc/src/proof/cec/module.make +0 -15
  1407. data/ext/abc/src/proof/dch/dch.h +0 -91
  1408. data/ext/abc/src/proof/dch/dchAig.c +0 -119
  1409. data/ext/abc/src/proof/dch/dchChoice.c +0 -552
  1410. data/ext/abc/src/proof/dch/dchClass.c +0 -611
  1411. data/ext/abc/src/proof/dch/dchCnf.c +0 -334
  1412. data/ext/abc/src/proof/dch/dchCore.c +0 -161
  1413. data/ext/abc/src/proof/dch/dchInt.h +0 -170
  1414. data/ext/abc/src/proof/dch/dchMan.c +0 -191
  1415. data/ext/abc/src/proof/dch/dchSat.c +0 -167
  1416. data/ext/abc/src/proof/dch/dchSim.c +0 -297
  1417. data/ext/abc/src/proof/dch/dchSimSat.c +0 -260
  1418. data/ext/abc/src/proof/dch/dchSweep.c +0 -146
  1419. data/ext/abc/src/proof/dch/module.make +0 -10
  1420. data/ext/abc/src/proof/fra/fra.h +0 -389
  1421. data/ext/abc/src/proof/fra/fraBmc.c +0 -453
  1422. data/ext/abc/src/proof/fra/fraCec.c +0 -574
  1423. data/ext/abc/src/proof/fra/fraClass.c +0 -862
  1424. data/ext/abc/src/proof/fra/fraClau.c +0 -745
  1425. data/ext/abc/src/proof/fra/fraClaus.c +0 -1877
  1426. data/ext/abc/src/proof/fra/fraCnf.c +0 -289
  1427. data/ext/abc/src/proof/fra/fraCore.c +0 -490
  1428. data/ext/abc/src/proof/fra/fraHot.c +0 -476
  1429. data/ext/abc/src/proof/fra/fraImp.c +0 -732
  1430. data/ext/abc/src/proof/fra/fraInd.c +0 -712
  1431. data/ext/abc/src/proof/fra/fraIndVer.c +0 -166
  1432. data/ext/abc/src/proof/fra/fraLcr.c +0 -708
  1433. data/ext/abc/src/proof/fra/fraMan.c +0 -314
  1434. data/ext/abc/src/proof/fra/fraPart.c +0 -269
  1435. data/ext/abc/src/proof/fra/fraSat.c +0 -571
  1436. data/ext/abc/src/proof/fra/fraSec.c +0 -693
  1437. data/ext/abc/src/proof/fra/fraSim.c +0 -1173
  1438. data/ext/abc/src/proof/fra/fra_.c +0 -53
  1439. data/ext/abc/src/proof/fra/module.make +0 -17
  1440. data/ext/abc/src/proof/fraig/fraig.h +0 -257
  1441. data/ext/abc/src/proof/fraig/fraigApi.c +0 -299
  1442. data/ext/abc/src/proof/fraig/fraigCanon.c +0 -223
  1443. data/ext/abc/src/proof/fraig/fraigChoice.c +0 -246
  1444. data/ext/abc/src/proof/fraig/fraigFanout.c +0 -180
  1445. data/ext/abc/src/proof/fraig/fraigFeed.c +0 -914
  1446. data/ext/abc/src/proof/fraig/fraigInt.h +0 -436
  1447. data/ext/abc/src/proof/fraig/fraigMan.c +0 -546
  1448. data/ext/abc/src/proof/fraig/fraigMem.c +0 -251
  1449. data/ext/abc/src/proof/fraig/fraigNode.c +0 -319
  1450. data/ext/abc/src/proof/fraig/fraigPrime.c +0 -113
  1451. data/ext/abc/src/proof/fraig/fraigSat.c +0 -1463
  1452. data/ext/abc/src/proof/fraig/fraigTable.c +0 -664
  1453. data/ext/abc/src/proof/fraig/fraigUtil.c +0 -1039
  1454. data/ext/abc/src/proof/fraig/fraigVec.c +0 -550
  1455. data/ext/abc/src/proof/fraig/module.make +0 -12
  1456. data/ext/abc/src/proof/int/int.h +0 -96
  1457. data/ext/abc/src/proof/int/intCheck.c +0 -305
  1458. data/ext/abc/src/proof/int/intContain.c +0 -341
  1459. data/ext/abc/src/proof/int/intCore.c +0 -412
  1460. data/ext/abc/src/proof/int/intCtrex.c +0 -168
  1461. data/ext/abc/src/proof/int/intDup.c +0 -184
  1462. data/ext/abc/src/proof/int/intFrames.c +0 -124
  1463. data/ext/abc/src/proof/int/intInt.h +0 -143
  1464. data/ext/abc/src/proof/int/intInter.c +0 -145
  1465. data/ext/abc/src/proof/int/intM114.c +0 -323
  1466. data/ext/abc/src/proof/int/intM114p.c +0 -443
  1467. data/ext/abc/src/proof/int/intMan.c +0 -165
  1468. data/ext/abc/src/proof/int/intUtil.c +0 -108
  1469. data/ext/abc/src/proof/int/module.make +0 -10
  1470. data/ext/abc/src/proof/int2/int2.h +0 -90
  1471. data/ext/abc/src/proof/int2/int2Bmc.c +0 -355
  1472. data/ext/abc/src/proof/int2/int2Core.c +0 -335
  1473. data/ext/abc/src/proof/int2/int2Int.h +0 -164
  1474. data/ext/abc/src/proof/int2/int2Refine.c +0 -154
  1475. data/ext/abc/src/proof/int2/int2Util.c +0 -152
  1476. data/ext/abc/src/proof/int2/module.make +0 -4
  1477. data/ext/abc/src/proof/live/arenaViolation.c +0 -549
  1478. data/ext/abc/src/proof/live/combination.c +0 -463
  1479. data/ext/abc/src/proof/live/disjunctiveMonotone.c +0 -757
  1480. data/ext/abc/src/proof/live/kLiveConstraints.c +0 -177
  1481. data/ext/abc/src/proof/live/kliveness.c +0 -816
  1482. data/ext/abc/src/proof/live/liveness.c +0 -2575
  1483. data/ext/abc/src/proof/live/liveness_sim.c +0 -849
  1484. data/ext/abc/src/proof/live/ltl_parser.c +0 -839
  1485. data/ext/abc/src/proof/live/module.make +0 -9
  1486. data/ext/abc/src/proof/live/monotone.c +0 -507
  1487. data/ext/abc/src/proof/pdr/module.make +0 -10
  1488. data/ext/abc/src/proof/pdr/pdr.c +0 -53
  1489. data/ext/abc/src/proof/pdr/pdr.h +0 -109
  1490. data/ext/abc/src/proof/pdr/pdrClass.c +0 -223
  1491. data/ext/abc/src/proof/pdr/pdrCnf.c +0 -455
  1492. data/ext/abc/src/proof/pdr/pdrCore.c +0 -1451
  1493. data/ext/abc/src/proof/pdr/pdrIncr.c +0 -1046
  1494. data/ext/abc/src/proof/pdr/pdrInt.h +0 -275
  1495. data/ext/abc/src/proof/pdr/pdrInv.c +0 -985
  1496. data/ext/abc/src/proof/pdr/pdrMan.c +0 -549
  1497. data/ext/abc/src/proof/pdr/pdrSat.c +0 -395
  1498. data/ext/abc/src/proof/pdr/pdrTsim.c +0 -502
  1499. data/ext/abc/src/proof/pdr/pdrTsim2.c +0 -550
  1500. data/ext/abc/src/proof/pdr/pdrTsim3.c +0 -361
  1501. data/ext/abc/src/proof/pdr/pdrUtil.c +0 -800
  1502. data/ext/abc/src/proof/ssc/module.make +0 -5
  1503. data/ext/abc/src/proof/ssc/ssc.h +0 -78
  1504. data/ext/abc/src/proof/ssc/sscClass.c +0 -326
  1505. data/ext/abc/src/proof/ssc/sscCore.c +0 -469
  1506. data/ext/abc/src/proof/ssc/sscInt.h +0 -135
  1507. data/ext/abc/src/proof/ssc/sscSat.c +0 -430
  1508. data/ext/abc/src/proof/ssc/sscSim.c +0 -364
  1509. data/ext/abc/src/proof/ssc/sscUtil.c +0 -173
  1510. data/ext/abc/src/proof/ssw/module.make +0 -20
  1511. data/ext/abc/src/proof/ssw/ssw.h +0 -170
  1512. data/ext/abc/src/proof/ssw/sswAig.c +0 -258
  1513. data/ext/abc/src/proof/ssw/sswBmc.c +0 -224
  1514. data/ext/abc/src/proof/ssw/sswClass.c +0 -1170
  1515. data/ext/abc/src/proof/ssw/sswCnf.c +0 -427
  1516. data/ext/abc/src/proof/ssw/sswConstr.c +0 -718
  1517. data/ext/abc/src/proof/ssw/sswCore.c +0 -539
  1518. data/ext/abc/src/proof/ssw/sswDyn.c +0 -491
  1519. data/ext/abc/src/proof/ssw/sswFilter.c +0 -493
  1520. data/ext/abc/src/proof/ssw/sswInt.h +0 -302
  1521. data/ext/abc/src/proof/ssw/sswIslands.c +0 -598
  1522. data/ext/abc/src/proof/ssw/sswLcorr.c +0 -337
  1523. data/ext/abc/src/proof/ssw/sswMan.c +0 -217
  1524. data/ext/abc/src/proof/ssw/sswPairs.c +0 -480
  1525. data/ext/abc/src/proof/ssw/sswPart.c +0 -140
  1526. data/ext/abc/src/proof/ssw/sswRarity.c +0 -1385
  1527. data/ext/abc/src/proof/ssw/sswRarity2.c +0 -518
  1528. data/ext/abc/src/proof/ssw/sswSat.c +0 -307
  1529. data/ext/abc/src/proof/ssw/sswSemi.c +0 -323
  1530. data/ext/abc/src/proof/ssw/sswSim.c +0 -1406
  1531. data/ext/abc/src/proof/ssw/sswSimSat.c +0 -124
  1532. data/ext/abc/src/proof/ssw/sswSweep.c +0 -440
  1533. data/ext/abc/src/proof/ssw/sswUnique.c +0 -196
  1534. data/ext/abc/src/sat/bmc/bmc.c +0 -52
  1535. data/ext/abc/src/sat/bmc/bmc.h +0 -205
  1536. data/ext/abc/src/sat/bmc/bmcBCore.c +0 -273
  1537. data/ext/abc/src/sat/bmc/bmcBmc.c +0 -377
  1538. data/ext/abc/src/sat/bmc/bmcBmc2.c +0 -944
  1539. data/ext/abc/src/sat/bmc/bmcBmc3.c +0 -1893
  1540. data/ext/abc/src/sat/bmc/bmcBmcAnd.c +0 -1100
  1541. data/ext/abc/src/sat/bmc/bmcBmcG.c +0 -455
  1542. data/ext/abc/src/sat/bmc/bmcBmcS.c +0 -940
  1543. data/ext/abc/src/sat/bmc/bmcBmci.c +0 -344
  1544. data/ext/abc/src/sat/bmc/bmcCexCare.c +0 -476
  1545. data/ext/abc/src/sat/bmc/bmcCexCut.c +0 -537
  1546. data/ext/abc/src/sat/bmc/bmcCexDepth.c +0 -373
  1547. data/ext/abc/src/sat/bmc/bmcCexMin1.c +0 -578
  1548. data/ext/abc/src/sat/bmc/bmcCexMin2.c +0 -363
  1549. data/ext/abc/src/sat/bmc/bmcCexTools.c +0 -852
  1550. data/ext/abc/src/sat/bmc/bmcChain.c +0 -396
  1551. data/ext/abc/src/sat/bmc/bmcClp.c +0 -1548
  1552. data/ext/abc/src/sat/bmc/bmcEco.c +0 -312
  1553. data/ext/abc/src/sat/bmc/bmcEnum.c +0 -223
  1554. data/ext/abc/src/sat/bmc/bmcExpand.c +0 -172
  1555. data/ext/abc/src/sat/bmc/bmcFault.c +0 -1710
  1556. data/ext/abc/src/sat/bmc/bmcFx.c +0 -725
  1557. data/ext/abc/src/sat/bmc/bmcGen.c +0 -193
  1558. data/ext/abc/src/sat/bmc/bmcICheck.c +0 -540
  1559. data/ext/abc/src/sat/bmc/bmcInse.c +0 -345
  1560. data/ext/abc/src/sat/bmc/bmcLoad.c +0 -212
  1561. data/ext/abc/src/sat/bmc/bmcMaj.c +0 -745
  1562. data/ext/abc/src/sat/bmc/bmcMaj2.c +0 -852
  1563. data/ext/abc/src/sat/bmc/bmcMaxi.c +0 -282
  1564. data/ext/abc/src/sat/bmc/bmcMesh.c +0 -433
  1565. data/ext/abc/src/sat/bmc/bmcMesh2.c +0 -449
  1566. data/ext/abc/src/sat/bmc/bmcMulti.c +0 -296
  1567. data/ext/abc/src/sat/bmc/bmcUnroll.c +0 -505
  1568. data/ext/abc/src/sat/bmc/module.make +0 -31
  1569. data/ext/abc/src/sat/bsat/license +0 -21
  1570. data/ext/abc/src/sat/bsat/module.make +0 -14
  1571. data/ext/abc/src/sat/bsat/satChecker.c +0 -193
  1572. data/ext/abc/src/sat/bsat/satClause.h +0 -476
  1573. data/ext/abc/src/sat/bsat/satInter.c +0 -1077
  1574. data/ext/abc/src/sat/bsat/satInterA.c +0 -1090
  1575. data/ext/abc/src/sat/bsat/satInterB.c +0 -1115
  1576. data/ext/abc/src/sat/bsat/satInterP.c +0 -1096
  1577. data/ext/abc/src/sat/bsat/satMem.c +0 -583
  1578. data/ext/abc/src/sat/bsat/satMem.h +0 -85
  1579. data/ext/abc/src/sat/bsat/satProof.c +0 -934
  1580. data/ext/abc/src/sat/bsat/satProof2.h +0 -327
  1581. data/ext/abc/src/sat/bsat/satSolver.c +0 -2417
  1582. data/ext/abc/src/sat/bsat/satSolver.h +0 -639
  1583. data/ext/abc/src/sat/bsat/satSolver2.c +0 -1998
  1584. data/ext/abc/src/sat/bsat/satSolver2.h +0 -377
  1585. data/ext/abc/src/sat/bsat/satSolver2i.c +0 -242
  1586. data/ext/abc/src/sat/bsat/satSolver3.c +0 -2299
  1587. data/ext/abc/src/sat/bsat/satSolver3.h +0 -622
  1588. data/ext/abc/src/sat/bsat/satStore.c +0 -469
  1589. data/ext/abc/src/sat/bsat/satStore.h +0 -158
  1590. data/ext/abc/src/sat/bsat/satTrace.c +0 -112
  1591. data/ext/abc/src/sat/bsat/satTruth.c +0 -299
  1592. data/ext/abc/src/sat/bsat/satTruth.h +0 -89
  1593. data/ext/abc/src/sat/bsat/satUtil.c +0 -358
  1594. data/ext/abc/src/sat/bsat/satVec.h +0 -161
  1595. data/ext/abc/src/sat/bsat2/AbcApi.cpp +0 -59
  1596. data/ext/abc/src/sat/bsat2/Alg.h +0 -84
  1597. data/ext/abc/src/sat/bsat2/Alloc.h +0 -131
  1598. data/ext/abc/src/sat/bsat2/Dimacs.h +0 -89
  1599. data/ext/abc/src/sat/bsat2/Heap.h +0 -149
  1600. data/ext/abc/src/sat/bsat2/IntTypes.h +0 -47
  1601. data/ext/abc/src/sat/bsat2/LICENSE +0 -21
  1602. data/ext/abc/src/sat/bsat2/MainSat.cpp +0 -197
  1603. data/ext/abc/src/sat/bsat2/MainSimp.cpp +0 -206
  1604. data/ext/abc/src/sat/bsat2/Map.h +0 -193
  1605. data/ext/abc/src/sat/bsat2/Options.cpp +0 -93
  1606. data/ext/abc/src/sat/bsat2/Options.h +0 -387
  1607. data/ext/abc/src/sat/bsat2/ParseUtils.h +0 -122
  1608. data/ext/abc/src/sat/bsat2/Queue.h +0 -69
  1609. data/ext/abc/src/sat/bsat2/README +0 -24
  1610. data/ext/abc/src/sat/bsat2/ReleaseNotes-2.2.0.txt +0 -79
  1611. data/ext/abc/src/sat/bsat2/SimpSolver.cpp +0 -720
  1612. data/ext/abc/src/sat/bsat2/SimpSolver.h +0 -197
  1613. data/ext/abc/src/sat/bsat2/Solver.cpp +0 -924
  1614. data/ext/abc/src/sat/bsat2/Solver.h +0 -373
  1615. data/ext/abc/src/sat/bsat2/SolverTypes.h +0 -407
  1616. data/ext/abc/src/sat/bsat2/Sort.h +0 -98
  1617. data/ext/abc/src/sat/bsat2/System.cpp +0 -95
  1618. data/ext/abc/src/sat/bsat2/System.h +0 -60
  1619. data/ext/abc/src/sat/bsat2/Vec.h +0 -130
  1620. data/ext/abc/src/sat/bsat2/XAlloc.h +0 -45
  1621. data/ext/abc/src/sat/bsat2/module.make +0 -7
  1622. data/ext/abc/src/sat/bsat2/pstdint.h +0 -813
  1623. data/ext/abc/src/sat/cnf/cnf.h +0 -202
  1624. data/ext/abc/src/sat/cnf/cnfCore.c +0 -290
  1625. data/ext/abc/src/sat/cnf/cnfCut.c +0 -376
  1626. data/ext/abc/src/sat/cnf/cnfData.c +0 -4789
  1627. data/ext/abc/src/sat/cnf/cnfFast.c +0 -697
  1628. data/ext/abc/src/sat/cnf/cnfMan.c +0 -726
  1629. data/ext/abc/src/sat/cnf/cnfMap.c +0 -362
  1630. data/ext/abc/src/sat/cnf/cnfPost.c +0 -238
  1631. data/ext/abc/src/sat/cnf/cnfUtil.c +0 -479
  1632. data/ext/abc/src/sat/cnf/cnfWrite.c +0 -806
  1633. data/ext/abc/src/sat/cnf/cnf_.c +0 -53
  1634. data/ext/abc/src/sat/cnf/module.make +0 -9
  1635. data/ext/abc/src/sat/csat/csat_apis.c +0 -778
  1636. data/ext/abc/src/sat/csat/csat_apis.h +0 -226
  1637. data/ext/abc/src/sat/csat/module.make +0 -1
  1638. data/ext/abc/src/sat/glucose/AbcGlucose.cpp +0 -1372
  1639. data/ext/abc/src/sat/glucose/AbcGlucose.h +0 -110
  1640. data/ext/abc/src/sat/glucose/AbcGlucoseCmd.cpp +0 -144
  1641. data/ext/abc/src/sat/glucose/Alg.h +0 -84
  1642. data/ext/abc/src/sat/glucose/Alloc.h +0 -132
  1643. data/ext/abc/src/sat/glucose/BoundedQueue.h +0 -110
  1644. data/ext/abc/src/sat/glucose/Constants.h +0 -33
  1645. data/ext/abc/src/sat/glucose/Dimacs.h +0 -89
  1646. data/ext/abc/src/sat/glucose/Glucose.cpp +0 -1493
  1647. data/ext/abc/src/sat/glucose/Heap.h +0 -150
  1648. data/ext/abc/src/sat/glucose/IntTypes.h +0 -47
  1649. data/ext/abc/src/sat/glucose/Map.h +0 -193
  1650. data/ext/abc/src/sat/glucose/Options.cpp +0 -92
  1651. data/ext/abc/src/sat/glucose/Options.h +0 -388
  1652. data/ext/abc/src/sat/glucose/ParseUtils.h +0 -151
  1653. data/ext/abc/src/sat/glucose/Queue.h +0 -69
  1654. data/ext/abc/src/sat/glucose/SimpSolver.cpp +0 -774
  1655. data/ext/abc/src/sat/glucose/SimpSolver.h +0 -204
  1656. data/ext/abc/src/sat/glucose/Solver.h +0 -491
  1657. data/ext/abc/src/sat/glucose/SolverTypes.h +0 -434
  1658. data/ext/abc/src/sat/glucose/Sort.h +0 -98
  1659. data/ext/abc/src/sat/glucose/System.cpp +0 -95
  1660. data/ext/abc/src/sat/glucose/System.h +0 -60
  1661. data/ext/abc/src/sat/glucose/Vec.h +0 -130
  1662. data/ext/abc/src/sat/glucose/XAlloc.h +0 -47
  1663. data/ext/abc/src/sat/glucose/module.make +0 -6
  1664. data/ext/abc/src/sat/glucose/pstdint.h +0 -919
  1665. data/ext/abc/src/sat/glucose/stdint.h +0 -1628
  1666. data/ext/abc/src/sat/lsat/solver.h +0 -132
  1667. data/ext/abc/src/sat/msat/module.make +0 -13
  1668. data/ext/abc/src/sat/msat/msat.h +0 -168
  1669. data/ext/abc/src/sat/msat/msatActivity.c +0 -165
  1670. data/ext/abc/src/sat/msat/msatClause.c +0 -537
  1671. data/ext/abc/src/sat/msat/msatClauseVec.c +0 -237
  1672. data/ext/abc/src/sat/msat/msatInt.h +0 -295
  1673. data/ext/abc/src/sat/msat/msatMem.c +0 -534
  1674. data/ext/abc/src/sat/msat/msatOrderH.c +0 -415
  1675. data/ext/abc/src/sat/msat/msatOrderJ.c +0 -477
  1676. data/ext/abc/src/sat/msat/msatQueue.c +0 -162
  1677. data/ext/abc/src/sat/msat/msatRead.c +0 -274
  1678. data/ext/abc/src/sat/msat/msatSolverApi.c +0 -505
  1679. data/ext/abc/src/sat/msat/msatSolverCore.c +0 -215
  1680. data/ext/abc/src/sat/msat/msatSolverIo.c +0 -182
  1681. data/ext/abc/src/sat/msat/msatSolverSearch.c +0 -634
  1682. data/ext/abc/src/sat/msat/msatSort.c +0 -178
  1683. data/ext/abc/src/sat/msat/msatVec.c +0 -500
  1684. data/ext/abc/src/sat/proof/pr.c +0 -1264
  1685. data/ext/abc/src/sat/proof/pr.h +0 -69
  1686. data/ext/abc/src/sat/proof/stats.txt +0 -66
  1687. data/ext/abc/src/sat/psat/m114p.h +0 -47
  1688. data/ext/abc/src/sat/psat/m114p_types.h +0 -13
  1689. data/ext/abc/src/sat/psat/module.make +0 -1
  1690. data/ext/abc/src/sat/satoko/LICENSE +0 -22
  1691. data/ext/abc/src/sat/satoko/act_clause.h +0 -43
  1692. data/ext/abc/src/sat/satoko/act_var.h +0 -53
  1693. data/ext/abc/src/sat/satoko/cdb.h +0 -106
  1694. data/ext/abc/src/sat/satoko/clause.h +0 -77
  1695. data/ext/abc/src/sat/satoko/cnf_reader.c +0 -157
  1696. data/ext/abc/src/sat/satoko/module.make +0 -3
  1697. data/ext/abc/src/sat/satoko/satoko.h +0 -147
  1698. data/ext/abc/src/sat/satoko/solver.c +0 -771
  1699. data/ext/abc/src/sat/satoko/solver.h +0 -260
  1700. data/ext/abc/src/sat/satoko/solver_api.c +0 -669
  1701. data/ext/abc/src/sat/satoko/types.h +0 -39
  1702. data/ext/abc/src/sat/satoko/utils/b_queue.h +0 -81
  1703. data/ext/abc/src/sat/satoko/utils/heap.h +0 -178
  1704. data/ext/abc/src/sat/satoko/utils/mem.h +0 -23
  1705. data/ext/abc/src/sat/satoko/utils/misc.h +0 -35
  1706. data/ext/abc/src/sat/satoko/utils/sdbl.h +0 -133
  1707. data/ext/abc/src/sat/satoko/utils/sort.h +0 -65
  1708. data/ext/abc/src/sat/satoko/utils/vec/vec_char.h +0 -260
  1709. data/ext/abc/src/sat/satoko/utils/vec/vec_flt.h +0 -246
  1710. data/ext/abc/src/sat/satoko/utils/vec/vec_int.h +0 -240
  1711. data/ext/abc/src/sat/satoko/utils/vec/vec_sdbl.h +0 -253
  1712. data/ext/abc/src/sat/satoko/utils/vec/vec_uint.h +0 -268
  1713. data/ext/abc/src/sat/satoko/watch_list.h +0 -203
  1714. data/ext/abc/src/sat/xsat/license +0 -39
  1715. data/ext/abc/src/sat/xsat/module.make +0 -3
  1716. data/ext/abc/src/sat/xsat/xsat.h +0 -59
  1717. data/ext/abc/src/sat/xsat/xsatBQueue.h +0 -190
  1718. data/ext/abc/src/sat/xsat/xsatClause.h +0 -109
  1719. data/ext/abc/src/sat/xsat/xsatCnfReader.c +0 -236
  1720. data/ext/abc/src/sat/xsat/xsatHeap.h +0 -330
  1721. data/ext/abc/src/sat/xsat/xsatMemory.h +0 -222
  1722. data/ext/abc/src/sat/xsat/xsatSolver.c +0 -1003
  1723. data/ext/abc/src/sat/xsat/xsatSolver.h +0 -248
  1724. data/ext/abc/src/sat/xsat/xsatSolverAPI.c +0 -346
  1725. data/ext/abc/src/sat/xsat/xsatUtils.h +0 -106
  1726. data/ext/abc/src/sat/xsat/xsatWatchList.h +0 -269
  1727. data/ext/abc/src/starter.c +0 -190
  1728. data/ext/abc/src/template.c +0 -111
  1729. data/ext/extconf.rb +0 -14
  1730. data/ext/ruby_abc_wrapper.h +0 -13
@@ -1,1784 +0,0 @@
1
- /* deflate.c -- compress data using the deflation algorithm
2
- * Copyright (C) 1995-2010 Jean-loup Gailly and Mark Adler
3
- * For conditions of distribution and use, see copyright notice in zlib.h
4
- */
5
-
6
- /*
7
- * ALGORITHM
8
- *
9
- * The "deflation" process depends on being able to identify portions
10
- * of the input text which are identical to earlier input (within a
11
- * sliding window trailing behind the input currently being processed).
12
- *
13
- * The most straightforward technique turns out to be the fastest for
14
- * most input files: try all possible matches and select the longest.
15
- * The key feature of this algorithm is that insertions into the string
16
- * dictionary are very simple and thus fast, and deletions are avoided
17
- * completely. Insertions are performed at each input character, whereas
18
- * string matches are performed only when the previous match ends. So it
19
- * is preferable to spend more time in matches to allow very fast string
20
- * insertions and avoid deletions. The matching algorithm for small
21
- * strings is inspired from that of Rabin & Karp. A brute force approach
22
- * is used to find longer strings when a small match has been found.
23
- * A similar algorithm is used in comic (by Jan-Mark Wams) and freeze
24
- * (by Leonid Broukhis).
25
- * A previous version of this file used a more sophisticated algorithm
26
- * (by Fiala and Greene) which is guaranteed to run in linear amortized
27
- * time, but has a larger average cost, uses more memory and is patented.
28
- * However the F&G algorithm may be faster for some highly redundant
29
- * files if the parameter max_chain_length (described below) is too large.
30
- *
31
- * ACKNOWLEDGEMENTS
32
- *
33
- * The idea of lazy evaluation of matches is due to Jan-Mark Wams, and
34
- * I found it in 'freeze' written by Leonid Broukhis.
35
- * Thanks to many people for bug reports and testing.
36
- *
37
- * REFERENCES
38
- *
39
- * Deutsch, L.P.,"DEFLATE Compressed Data Format Specification".
40
- * Available in http://www.ietf.org/rfc/rfc1951.txt
41
- *
42
- * A description of the Rabin and Karp algorithm is given in the book
43
- * "Algorithms" by R. Sedgewick, Addison-Wesley, p252.
44
- *
45
- * Fiala,E.R., and Greene,D.H.
46
- * Data Compression with Finite Windows, Comm.ACM, 32,4 (1989) 490-595
47
- *
48
- */
49
-
50
- /* @(#) $Id$ */
51
-
52
- #include <stdio.h>
53
- #include <stdlib.h>
54
- #include <string.h>
55
- #include "misc/util/abc_global.h"
56
-
57
- #include "deflate.h"
58
-
59
- ABC_NAMESPACE_IMPL_START
60
-
61
- const char deflate_copyright[] =
62
- " deflate 1.2.5 Copyright 1995-2010 Jean-loup Gailly and Mark Adler ";
63
- /*
64
- If you use the zlib library in a product, an acknowledgment is welcome
65
- in the documentation of your product. If for some reason you cannot
66
- include such an acknowledgment, I would appreciate that you keep this
67
- copyright string in the executable of your product.
68
- */
69
-
70
- /* ===========================================================================
71
- * Function prototypes.
72
- */
73
- typedef enum {
74
- need_more, /* block not completed, need more input or more output */
75
- block_done, /* block flush performed */
76
- finish_started, /* finish started, need only more output at next deflate */
77
- finish_done /* finish done, accept no more input or output */
78
- } block_state;
79
-
80
- typedef block_state (*compress_func) OF((deflate_state *s, int flush));
81
- /* Compression function. Returns the block state after the call. */
82
-
83
- local void fill_window OF((deflate_state *s));
84
- local block_state deflate_stored OF((deflate_state *s, int flush));
85
- local block_state deflate_fast OF((deflate_state *s, int flush));
86
- #ifndef FASTEST
87
- local block_state deflate_slow OF((deflate_state *s, int flush));
88
- #endif
89
- local block_state deflate_rle OF((deflate_state *s, int flush));
90
- local block_state deflate_huff OF((deflate_state *s, int flush));
91
- local void lm_init OF((deflate_state *s));
92
- local void putShortMSB OF((deflate_state *s, uInt b));
93
- local void flush_pending OF((z_streamp strm));
94
- local int read_buf OF((z_streamp strm, Bytef *buf, unsigned size));
95
- #ifdef ASMV
96
- void match_init OF((void)); /* asm code initialization */
97
- uInt longest_match OF((deflate_state *s, IPos cur_match));
98
- #else
99
- local uInt longest_match OF((deflate_state *s, IPos cur_match));
100
- #endif
101
-
102
- #ifdef DEBUG
103
- local void check_match OF((deflate_state *s, IPos start, IPos match,
104
- int length));
105
- #endif
106
-
107
- /* ===========================================================================
108
- * Local data
109
- */
110
-
111
- #define NIL 0
112
- /* Tail of hash chains */
113
-
114
- #ifndef TOO_FAR
115
- # define TOO_FAR 4096
116
- #endif
117
- /* Matches of length 3 are discarded if their distance exceeds TOO_FAR */
118
-
119
- /* Values for max_lazy_match, good_match and max_chain_length, depending on
120
- * the desired pack level (0..9). The values given below have been tuned to
121
- * exclude worst case performance for pathological files. Better values may be
122
- * found for specific files.
123
- */
124
- typedef struct config_s {
125
- ush good_length; /* reduce lazy search above this match length */
126
- ush max_lazy; /* do not perform lazy search above this match length */
127
- ush nice_length; /* quit search above this match length */
128
- ush max_chain;
129
- compress_func func;
130
- } config;
131
-
132
- #ifdef FASTEST
133
- local const config configuration_table[2] = {
134
- /* good lazy nice chain */
135
- /* 0 */ {0, 0, 0, 0, deflate_stored}, /* store only */
136
- /* 1 */ {4, 4, 8, 4, deflate_fast}}; /* max speed, no lazy matches */
137
- #else
138
- local const config configuration_table[10] = {
139
- /* good lazy nice chain */
140
- /* 0 */ {0, 0, 0, 0, deflate_stored}, /* store only */
141
- /* 1 */ {4, 4, 8, 4, deflate_fast}, /* max speed, no lazy matches */
142
- /* 2 */ {4, 5, 16, 8, deflate_fast},
143
- /* 3 */ {4, 6, 32, 32, deflate_fast},
144
-
145
- /* 4 */ {4, 4, 16, 16, deflate_slow}, /* lazy matches */
146
- /* 5 */ {8, 16, 32, 32, deflate_slow},
147
- /* 6 */ {8, 16, 128, 128, deflate_slow},
148
- /* 7 */ {8, 32, 128, 256, deflate_slow},
149
- /* 8 */ {32, 128, 258, 1024, deflate_slow},
150
- /* 9 */ {32, 258, 258, 4096, deflate_slow}}; /* max compression */
151
- #endif
152
-
153
- /* Note: the deflate() code requires max_lazy >= MIN_MATCH and max_chain >= 4
154
- * For deflate_fast() (levels <= 3) good is ignored and lazy has a different
155
- * meaning.
156
- */
157
-
158
- #define EQUAL 0
159
- /* result of memcmp for equal strings */
160
-
161
- #ifndef NO_DUMMY_DECL
162
- struct static_tree_desc_s {int dummy;}; /* for buggy compilers */
163
- #endif
164
-
165
- /* ===========================================================================
166
- * Update a hash value with the given input byte
167
- * IN assertion: all calls to to UPDATE_HASH are made with consecutive
168
- * input characters, so that a running hash key can be computed from the
169
- * previous key instead of complete recalculation each time.
170
- */
171
- #define UPDATE_HASH(s,h,c) (h = (((h)<<s->hash_shift) ^ (c)) & s->hash_mask)
172
-
173
-
174
- /* ===========================================================================
175
- * Insert string str in the dictionary and set match_head to the previous head
176
- * of the hash chain (the most recent string with same hash key). Return
177
- * the previous length of the hash chain.
178
- * If this file is compiled with -DFASTEST, the compression level is forced
179
- * to 1, and no hash chains are maintained.
180
- * IN assertion: all calls to to INSERT_STRING are made with consecutive
181
- * input characters and the first MIN_MATCH bytes of str are valid
182
- * (except for the last MIN_MATCH-1 bytes of the input file).
183
- */
184
- #ifdef FASTEST
185
- #define INSERT_STRING(s, str, match_head) \
186
- (UPDATE_HASH(s, s->ins_h, s->window[(str) + (MIN_MATCH-1)]), \
187
- match_head = s->head[s->ins_h], \
188
- s->head[s->ins_h] = (Pos)(str))
189
- #else
190
- #define INSERT_STRING(s, str, match_head) \
191
- (UPDATE_HASH(s, s->ins_h, s->window[(str) + (MIN_MATCH-1)]), \
192
- match_head = s->prev[(str) & s->w_mask] = s->head[s->ins_h], \
193
- s->head[s->ins_h] = (Pos)(str))
194
- #endif
195
-
196
- /* ===========================================================================
197
- * Initialize the hash table (avoiding 64K overflow for 16 bit systems).
198
- * prev[] will be initialized on the fly.
199
- */
200
- #define CLEAR_HASH(s) \
201
- s->head[s->hash_size-1] = NIL; \
202
- zmemzero((Bytef *)s->head, (unsigned)(s->hash_size-1)*sizeof(*s->head));
203
-
204
- /* ========================================================================= */
205
- int ZEXPORT deflateInit_(z_streamp strm, int level, const char *version, int stream_size)
206
- {
207
- return deflateInit2_(strm, level, Z_DEFLATED, MAX_WBITS, DEF_MEM_LEVEL,
208
- Z_DEFAULT_STRATEGY, version, stream_size);
209
- /* To do: ignore strm->next_in if we use it as window */
210
- }
211
-
212
- /* ========================================================================= */
213
- int ZEXPORT deflateInit2_(z_streamp strm, int level, int method, int windowBits, int memLevel, int strategy,
214
- const char *version, int stream_size)
215
- {
216
- deflate_state *s;
217
- int wrap = 1;
218
- static const char my_version[] = ZLIB_VERSION;
219
-
220
- ushf *overlay;
221
- /* We overlay pending_buf and d_buf+l_buf. This works since the average
222
- * output size for (length,distance) codes is <= 24 bits.
223
- */
224
-
225
- if (version == Z_NULL || version[0] != my_version[0] ||
226
- stream_size != sizeof(z_stream)) {
227
- return Z_VERSION_ERROR;
228
- }
229
- if (strm == Z_NULL) return Z_STREAM_ERROR;
230
-
231
- strm->msg = Z_NULL;
232
- if (strm->zalloc == (alloc_func)0) {
233
- strm->zalloc = zcalloc;
234
- strm->opaque = (voidpf)0;
235
- }
236
- if (strm->zfree == (free_func)0) strm->zfree = zcfree;
237
-
238
- #ifdef FASTEST
239
- if (level != 0) level = 1;
240
- #else
241
- if (level == Z_DEFAULT_COMPRESSION) level = 6;
242
- #endif
243
-
244
- if (windowBits < 0) { /* suppress zlib wrapper */
245
- wrap = 0;
246
- windowBits = -windowBits;
247
- }
248
- #ifdef GZIP
249
- else if (windowBits > 15) {
250
- wrap = 2; /* write gzip wrapper instead */
251
- windowBits -= 16;
252
- }
253
- #endif
254
- if (memLevel < 1 || memLevel > MAX_MEM_LEVEL || method != Z_DEFLATED ||
255
- windowBits < 8 || windowBits > 15 || level < 0 || level > 9 ||
256
- strategy < 0 || strategy > Z_FIXED) {
257
- return Z_STREAM_ERROR;
258
- }
259
- if (windowBits == 8) windowBits = 9; /* until 256-byte window bug fixed */
260
- s = (deflate_state *) ZALLOC(strm, 1, sizeof(deflate_state));
261
- if (s == Z_NULL) return Z_MEM_ERROR;
262
- strm->state = (struct internal_state FAR *)s;
263
- s->strm = strm;
264
-
265
- s->wrap = wrap;
266
- s->gzhead = Z_NULL;
267
- s->w_bits = windowBits;
268
- s->w_size = 1 << s->w_bits;
269
- s->w_mask = s->w_size - 1;
270
-
271
- s->hash_bits = memLevel + 7;
272
- s->hash_size = 1 << s->hash_bits;
273
- s->hash_mask = s->hash_size - 1;
274
- s->hash_shift = ((s->hash_bits+MIN_MATCH-1)/MIN_MATCH);
275
-
276
- s->window = (Bytef *) ZALLOC(strm, s->w_size, 2*sizeof(Byte));
277
- s->prev = (Posf *) ZALLOC(strm, s->w_size, sizeof(Pos));
278
- s->head = (Posf *) ZALLOC(strm, s->hash_size, sizeof(Pos));
279
-
280
- s->high_water = 0; /* nothing written to s->window yet */
281
-
282
- s->lit_bufsize = 1 << (memLevel + 6); /* 16K elements by default */
283
-
284
- overlay = (ushf *) ZALLOC(strm, s->lit_bufsize, sizeof(ush)+2);
285
- s->pending_buf = (uchf *) overlay;
286
- s->pending_buf_size = (ulg)s->lit_bufsize * (sizeof(ush)+2L);
287
-
288
- if (s->window == Z_NULL || s->prev == Z_NULL || s->head == Z_NULL ||
289
- s->pending_buf == Z_NULL) {
290
- s->status = FINISH_STATE;
291
- strm->msg = (char*)ERR_MSG(Z_MEM_ERROR);
292
- deflateEnd (strm);
293
- return Z_MEM_ERROR;
294
- }
295
- s->d_buf = overlay + s->lit_bufsize/sizeof(ush);
296
- s->l_buf = s->pending_buf + (1+sizeof(ush))*s->lit_bufsize;
297
-
298
- s->level = level;
299
- s->strategy = strategy;
300
- s->method = (Byte)method;
301
-
302
- return deflateReset(strm);
303
- }
304
-
305
- /* ========================================================================= */
306
- int ZEXPORT deflateSetDictionary (z_streamp strm, const Bytef *dictionary, uInt dictLength)
307
- {
308
- deflate_state *s;
309
- uInt length = dictLength;
310
- uInt n;
311
- IPos hash_head = 0;
312
-
313
- if (strm == Z_NULL || strm->state == Z_NULL || dictionary == Z_NULL ||
314
- strm->state->wrap == 2 ||
315
- (strm->state->wrap == 1 && strm->state->status != INIT_STATE))
316
- return Z_STREAM_ERROR;
317
-
318
- s = strm->state;
319
- if (s->wrap)
320
- strm->adler = adler32(strm->adler, dictionary, dictLength);
321
-
322
- if (length < MIN_MATCH) return Z_OK;
323
- if (length > s->w_size) {
324
- length = s->w_size;
325
- dictionary += dictLength - length; /* use the tail of the dictionary */
326
- }
327
- zmemcpy(s->window, dictionary, length);
328
- s->strstart = length;
329
- s->block_start = (long)length;
330
-
331
- /* Insert all strings in the hash table (except for the last two bytes).
332
- * s->lookahead stays null, so s->ins_h will be recomputed at the next
333
- * call of fill_window.
334
- */
335
- s->ins_h = s->window[0];
336
- UPDATE_HASH(s, s->ins_h, s->window[1]);
337
- for (n = 0; n <= length - MIN_MATCH; n++) {
338
- INSERT_STRING(s, n, hash_head);
339
- }
340
- if (hash_head) hash_head = 0; /* to make compiler happy */
341
- return Z_OK;
342
- }
343
-
344
- /* ========================================================================= */
345
- int ZEXPORT deflateReset (z_streamp strm)
346
- {
347
- deflate_state *s;
348
-
349
- if (strm == Z_NULL || strm->state == Z_NULL ||
350
- strm->zalloc == (alloc_func)0 || strm->zfree == (free_func)0) {
351
- return Z_STREAM_ERROR;
352
- }
353
-
354
- strm->total_in = strm->total_out = 0;
355
- strm->msg = Z_NULL; /* use zfree if we ever allocate msg dynamically */
356
- strm->data_type = Z_UNKNOWN;
357
-
358
- s = (deflate_state *)strm->state;
359
- s->pending = 0;
360
- s->pending_out = s->pending_buf;
361
-
362
- if (s->wrap < 0) {
363
- s->wrap = -s->wrap; /* was made negative by deflate(..., Z_FINISH); */
364
- }
365
- s->status = s->wrap ? INIT_STATE : BUSY_STATE;
366
- strm->adler =
367
- #ifdef GZIP
368
- s->wrap == 2 ? crc32(0L, Z_NULL, 0) :
369
- #endif
370
- adler32(0L, Z_NULL, 0);
371
- s->last_flush = Z_NO_FLUSH;
372
-
373
- _tr_init(s);
374
- lm_init(s);
375
-
376
- return Z_OK;
377
- }
378
-
379
- /* ========================================================================= */
380
- int ZEXPORT deflateSetHeader (z_streamp strm, gz_headerp head)
381
- {
382
- if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
383
- if (strm->state->wrap != 2) return Z_STREAM_ERROR;
384
- strm->state->gzhead = head;
385
- return Z_OK;
386
- }
387
-
388
- /* ========================================================================= */
389
- int ZEXPORT deflatePrime (z_streamp strm, int bits, int value)
390
- {
391
- if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
392
- strm->state->bi_valid = bits;
393
- strm->state->bi_buf = (ush)(value & ((1 << bits) - 1));
394
- return Z_OK;
395
- }
396
-
397
- /* ========================================================================= */
398
- int ZEXPORT deflateParams(z_streamp strm, int level, int strategy)
399
- {
400
- deflate_state *s;
401
- compress_func func;
402
- int err = Z_OK;
403
-
404
- if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
405
- s = strm->state;
406
-
407
- #ifdef FASTEST
408
- if (level != 0) level = 1;
409
- #else
410
- if (level == Z_DEFAULT_COMPRESSION) level = 6;
411
- #endif
412
- if (level < 0 || level > 9 || strategy < 0 || strategy > Z_FIXED) {
413
- return Z_STREAM_ERROR;
414
- }
415
- func = configuration_table[s->level].func;
416
-
417
- if ((strategy != s->strategy || func != configuration_table[level].func) &&
418
- strm->total_in != 0) {
419
- /* Flush the last buffer: */
420
- err = deflate(strm, Z_BLOCK);
421
- }
422
- if (s->level != level) {
423
- s->level = level;
424
- s->max_lazy_match = configuration_table[level].max_lazy;
425
- s->good_match = configuration_table[level].good_length;
426
- s->nice_match = configuration_table[level].nice_length;
427
- s->max_chain_length = configuration_table[level].max_chain;
428
- }
429
- s->strategy = strategy;
430
- return err;
431
- }
432
-
433
- /* ========================================================================= */
434
- int ZEXPORT deflateTune(z_streamp strm, int good_length, int max_lazy, int nice_length, int max_chain)
435
- {
436
- deflate_state *s;
437
-
438
- if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
439
- s = strm->state;
440
- s->good_match = good_length;
441
- s->max_lazy_match = max_lazy;
442
- s->nice_match = nice_length;
443
- s->max_chain_length = max_chain;
444
- return Z_OK;
445
- }
446
-
447
- /* =========================================================================
448
- * For the default windowBits of 15 and memLevel of 8, this function returns
449
- * a close to exact, as well as small, upper bound on the compressed size.
450
- * They are coded as constants here for a reason--if the #define's are
451
- * changed, then this function needs to be changed as well. The return
452
- * value for 15 and 8 only works for those exact settings.
453
- *
454
- * For any setting other than those defaults for windowBits and memLevel,
455
- * the value returned is a conservative worst case for the maximum expansion
456
- * resulting from using fixed blocks instead of stored blocks, which deflate
457
- * can emit on compressed data for some combinations of the parameters.
458
- *
459
- * This function could be more sophisticated to provide closer upper bounds for
460
- * every combination of windowBits and memLevel. But even the conservative
461
- * upper bound of about 14% expansion does not seem onerous for output buffer
462
- * allocation.
463
- */
464
- uLong ZEXPORT deflateBound(z_streamp strm, uLong sourceLen)
465
- {
466
- deflate_state *s;
467
- uLong complen, wraplen;
468
- Bytef *str;
469
-
470
- /* conservative upper bound for compressed data */
471
- complen = sourceLen +
472
- ((sourceLen + 7) >> 3) + ((sourceLen + 63) >> 6) + 5;
473
-
474
- /* if can't get parameters, return conservative bound plus zlib wrapper */
475
- if (strm == Z_NULL || strm->state == Z_NULL)
476
- return complen + 6;
477
-
478
- /* compute wrapper length */
479
- s = strm->state;
480
- switch (s->wrap) {
481
- case 0: /* raw deflate */
482
- wraplen = 0;
483
- break;
484
- case 1: /* zlib wrapper */
485
- wraplen = 6 + (s->strstart ? 4 : 0);
486
- break;
487
- case 2: /* gzip wrapper */
488
- wraplen = 18;
489
- if (s->gzhead != Z_NULL) { /* user-supplied gzip header */
490
- if (s->gzhead->extra != Z_NULL)
491
- wraplen += 2 + s->gzhead->extra_len;
492
- str = s->gzhead->name;
493
- if (str != Z_NULL)
494
- do {
495
- wraplen++;
496
- } while (*str++);
497
- str = s->gzhead->comment;
498
- if (str != Z_NULL)
499
- do {
500
- wraplen++;
501
- } while (*str++);
502
- if (s->gzhead->hcrc)
503
- wraplen += 2;
504
- }
505
- break;
506
- default: /* for compiler happiness */
507
- wraplen = 6;
508
- }
509
-
510
- /* if not default parameters, return conservative bound */
511
- if (s->w_bits != 15 || s->hash_bits != 8 + 7)
512
- return complen + wraplen;
513
-
514
- /* default settings: return tight bound for that case */
515
- return sourceLen + (sourceLen >> 12) + (sourceLen >> 14) +
516
- (sourceLen >> 25) + 13 - 6 + wraplen;
517
- }
518
-
519
- /* =========================================================================
520
- * Put a short in the pending buffer. The 16-bit value is put in MSB order.
521
- * IN assertion: the stream state is correct and there is enough room in
522
- * pending_buf.
523
- */
524
- local void putShortMSB (deflate_state *s, uInt b)
525
- {
526
- put_byte(s, (Byte)(b >> 8));
527
- put_byte(s, (Byte)(b & 0xff));
528
- }
529
-
530
- /* =========================================================================
531
- * Flush as much pending output as possible. All deflate() output goes
532
- * through this function so some applications may wish to modify it
533
- * to avoid allocating a large strm->next_out buffer and copying into it.
534
- * (See also read_buf()).
535
- */
536
- local void flush_pending(z_streamp strm)
537
- {
538
- unsigned len = strm->state->pending;
539
-
540
- if (len > strm->avail_out) len = strm->avail_out;
541
- if (len == 0) return;
542
-
543
- zmemcpy(strm->next_out, strm->state->pending_out, len);
544
- strm->next_out += len;
545
- strm->state->pending_out += len;
546
- strm->total_out += len;
547
- strm->avail_out -= len;
548
- strm->state->pending -= len;
549
- if (strm->state->pending == 0) {
550
- strm->state->pending_out = strm->state->pending_buf;
551
- }
552
- }
553
-
554
- /* ========================================================================= */
555
- int ZEXPORT deflate (z_streamp strm, int flush)
556
- {
557
- int old_flush; /* value of flush param for previous deflate call */
558
- deflate_state *s;
559
-
560
- if (strm == Z_NULL || strm->state == Z_NULL ||
561
- flush > Z_BLOCK || flush < 0) {
562
- return Z_STREAM_ERROR;
563
- }
564
- s = strm->state;
565
-
566
- if (strm->next_out == Z_NULL ||
567
- (strm->next_in == Z_NULL && strm->avail_in != 0) ||
568
- (s->status == FINISH_STATE && flush != Z_FINISH)) {
569
- ERR_RETURN(strm, Z_STREAM_ERROR);
570
- }
571
- if (strm->avail_out == 0) ERR_RETURN(strm, Z_BUF_ERROR);
572
-
573
- s->strm = strm; /* just in case */
574
- old_flush = s->last_flush;
575
- s->last_flush = flush;
576
-
577
- /* Write the header */
578
- if (s->status == INIT_STATE) {
579
- #ifdef GZIP
580
- if (s->wrap == 2) {
581
- strm->adler = crc32(0L, Z_NULL, 0);
582
- put_byte(s, 31);
583
- put_byte(s, 139);
584
- put_byte(s, 8);
585
- if (s->gzhead == Z_NULL) {
586
- put_byte(s, 0);
587
- put_byte(s, 0);
588
- put_byte(s, 0);
589
- put_byte(s, 0);
590
- put_byte(s, 0);
591
- put_byte(s, s->level == 9 ? 2 :
592
- (s->strategy >= Z_HUFFMAN_ONLY || s->level < 2 ?
593
- 4 : 0));
594
- put_byte(s, OS_CODE);
595
- s->status = BUSY_STATE;
596
- }
597
- else {
598
- put_byte(s, (s->gzhead->text ? 1 : 0) +
599
- (s->gzhead->hcrc ? 2 : 0) +
600
- (s->gzhead->extra == Z_NULL ? 0 : 4) +
601
- (s->gzhead->name == Z_NULL ? 0 : 8) +
602
- (s->gzhead->comment == Z_NULL ? 0 : 16)
603
- );
604
- put_byte(s, (Byte)(s->gzhead->time & 0xff));
605
- put_byte(s, (Byte)((s->gzhead->time >> 8) & 0xff));
606
- put_byte(s, (Byte)((s->gzhead->time >> 16) & 0xff));
607
- put_byte(s, (Byte)((s->gzhead->time >> 24) & 0xff));
608
- put_byte(s, s->level == 9 ? 2 :
609
- (s->strategy >= Z_HUFFMAN_ONLY || s->level < 2 ?
610
- 4 : 0));
611
- put_byte(s, s->gzhead->os & 0xff);
612
- if (s->gzhead->extra != Z_NULL) {
613
- put_byte(s, s->gzhead->extra_len & 0xff);
614
- put_byte(s, (s->gzhead->extra_len >> 8) & 0xff);
615
- }
616
- if (s->gzhead->hcrc)
617
- strm->adler = crc32(strm->adler, s->pending_buf,
618
- s->pending);
619
- s->gzindex = 0;
620
- s->status = EXTRA_STATE;
621
- }
622
- }
623
- else
624
- #endif
625
- {
626
- uInt header = (Z_DEFLATED + ((s->w_bits-8)<<4)) << 8;
627
- uInt level_flags;
628
-
629
- if (s->strategy >= Z_HUFFMAN_ONLY || s->level < 2)
630
- level_flags = 0;
631
- else if (s->level < 6)
632
- level_flags = 1;
633
- else if (s->level == 6)
634
- level_flags = 2;
635
- else
636
- level_flags = 3;
637
- header |= (level_flags << 6);
638
- if (s->strstart != 0) header |= PRESET_DICT;
639
- header += 31 - (header % 31);
640
-
641
- s->status = BUSY_STATE;
642
- putShortMSB(s, header);
643
-
644
- /* Save the adler32 of the preset dictionary: */
645
- if (s->strstart != 0) {
646
- putShortMSB(s, (uInt)(strm->adler >> 16));
647
- putShortMSB(s, (uInt)(strm->adler & 0xffff));
648
- }
649
- strm->adler = adler32(0L, Z_NULL, 0);
650
- }
651
- }
652
- #ifdef GZIP
653
- if (s->status == EXTRA_STATE) {
654
- if (s->gzhead->extra != Z_NULL) {
655
- uInt beg = s->pending; /* start of bytes to update crc */
656
-
657
- while (s->gzindex < (s->gzhead->extra_len & 0xffff)) {
658
- if (s->pending == s->pending_buf_size) {
659
- if (s->gzhead->hcrc && s->pending > beg)
660
- strm->adler = crc32(strm->adler, s->pending_buf + beg,
661
- s->pending - beg);
662
- flush_pending(strm);
663
- beg = s->pending;
664
- if (s->pending == s->pending_buf_size)
665
- break;
666
- }
667
- put_byte(s, s->gzhead->extra[s->gzindex]);
668
- s->gzindex++;
669
- }
670
- if (s->gzhead->hcrc && s->pending > beg)
671
- strm->adler = crc32(strm->adler, s->pending_buf + beg,
672
- s->pending - beg);
673
- if (s->gzindex == s->gzhead->extra_len) {
674
- s->gzindex = 0;
675
- s->status = NAME_STATE;
676
- }
677
- }
678
- else
679
- s->status = NAME_STATE;
680
- }
681
- if (s->status == NAME_STATE) {
682
- if (s->gzhead->name != Z_NULL) {
683
- uInt beg = s->pending; /* start of bytes to update crc */
684
- int val;
685
-
686
- do {
687
- if (s->pending == s->pending_buf_size) {
688
- if (s->gzhead->hcrc && s->pending > beg)
689
- strm->adler = crc32(strm->adler, s->pending_buf + beg,
690
- s->pending - beg);
691
- flush_pending(strm);
692
- beg = s->pending;
693
- if (s->pending == s->pending_buf_size) {
694
- val = 1;
695
- break;
696
- }
697
- }
698
- val = s->gzhead->name[s->gzindex++];
699
- put_byte(s, val);
700
- } while (val != 0);
701
- if (s->gzhead->hcrc && s->pending > beg)
702
- strm->adler = crc32(strm->adler, s->pending_buf + beg,
703
- s->pending - beg);
704
- if (val == 0) {
705
- s->gzindex = 0;
706
- s->status = COMMENT_STATE;
707
- }
708
- }
709
- else
710
- s->status = COMMENT_STATE;
711
- }
712
- if (s->status == COMMENT_STATE) {
713
- if (s->gzhead->comment != Z_NULL) {
714
- uInt beg = s->pending; /* start of bytes to update crc */
715
- int val;
716
-
717
- do {
718
- if (s->pending == s->pending_buf_size) {
719
- if (s->gzhead->hcrc && s->pending > beg)
720
- strm->adler = crc32(strm->adler, s->pending_buf + beg,
721
- s->pending - beg);
722
- flush_pending(strm);
723
- beg = s->pending;
724
- if (s->pending == s->pending_buf_size) {
725
- val = 1;
726
- break;
727
- }
728
- }
729
- val = s->gzhead->comment[s->gzindex++];
730
- put_byte(s, val);
731
- } while (val != 0);
732
- if (s->gzhead->hcrc && s->pending > beg)
733
- strm->adler = crc32(strm->adler, s->pending_buf + beg,
734
- s->pending - beg);
735
- if (val == 0)
736
- s->status = HCRC_STATE;
737
- }
738
- else
739
- s->status = HCRC_STATE;
740
- }
741
- if (s->status == HCRC_STATE) {
742
- if (s->gzhead->hcrc) {
743
- if (s->pending + 2 > s->pending_buf_size)
744
- flush_pending(strm);
745
- if (s->pending + 2 <= s->pending_buf_size) {
746
- put_byte(s, (Byte)(strm->adler & 0xff));
747
- put_byte(s, (Byte)((strm->adler >> 8) & 0xff));
748
- strm->adler = crc32(0L, Z_NULL, 0);
749
- s->status = BUSY_STATE;
750
- }
751
- }
752
- else
753
- s->status = BUSY_STATE;
754
- }
755
- #endif
756
-
757
- /* Flush as much pending output as possible */
758
- if (s->pending != 0) {
759
- flush_pending(strm);
760
- if (strm->avail_out == 0) {
761
- /* Since avail_out is 0, deflate will be called again with
762
- * more output space, but possibly with both pending and
763
- * avail_in equal to zero. There won't be anything to do,
764
- * but this is not an error situation so make sure we
765
- * return OK instead of BUF_ERROR at next call of deflate:
766
- */
767
- s->last_flush = -1;
768
- return Z_OK;
769
- }
770
-
771
- /* Make sure there is something to do and avoid duplicate consecutive
772
- * flushes. For repeated and useless calls with Z_FINISH, we keep
773
- * returning Z_STREAM_END instead of Z_BUF_ERROR.
774
- */
775
- } else if (strm->avail_in == 0 && flush <= old_flush &&
776
- flush != Z_FINISH) {
777
- ERR_RETURN(strm, Z_BUF_ERROR);
778
- }
779
-
780
- /* User must not provide more input after the first FINISH: */
781
- if (s->status == FINISH_STATE && strm->avail_in != 0) {
782
- ERR_RETURN(strm, Z_BUF_ERROR);
783
- }
784
-
785
- /* Start a new block or continue the current one.
786
- */
787
- if (strm->avail_in != 0 || s->lookahead != 0 ||
788
- (flush != Z_NO_FLUSH && s->status != FINISH_STATE)) {
789
- block_state bstate;
790
-
791
- bstate = s->strategy == Z_HUFFMAN_ONLY ? deflate_huff(s, flush) :
792
- (s->strategy == Z_RLE ? deflate_rle(s, flush) :
793
- (*(configuration_table[s->level].func))(s, flush));
794
-
795
- if (bstate == finish_started || bstate == finish_done) {
796
- s->status = FINISH_STATE;
797
- }
798
- if (bstate == need_more || bstate == finish_started) {
799
- if (strm->avail_out == 0) {
800
- s->last_flush = -1; /* avoid BUF_ERROR next call, see above */
801
- }
802
- return Z_OK;
803
- /* If flush != Z_NO_FLUSH && avail_out == 0, the next call
804
- * of deflate should use the same flush parameter to make sure
805
- * that the flush is complete. So we don't have to output an
806
- * empty block here, this will be done at next call. This also
807
- * ensures that for a very small output buffer, we emit at most
808
- * one empty block.
809
- */
810
- }
811
- if (bstate == block_done) {
812
- if (flush == Z_PARTIAL_FLUSH) {
813
- _tr_align(s);
814
- } else if (flush != Z_BLOCK) { /* FULL_FLUSH or SYNC_FLUSH */
815
- _tr_stored_block(s, (char*)0, 0L, 0);
816
- /* For a full flush, this empty block will be recognized
817
- * as a special marker by inflate_sync().
818
- */
819
- if (flush == Z_FULL_FLUSH) {
820
- CLEAR_HASH(s); /* forget history */
821
- if (s->lookahead == 0) {
822
- s->strstart = 0;
823
- s->block_start = 0L;
824
- }
825
- }
826
- }
827
- flush_pending(strm);
828
- if (strm->avail_out == 0) {
829
- s->last_flush = -1; /* avoid BUF_ERROR at next call, see above */
830
- return Z_OK;
831
- }
832
- }
833
- }
834
- Assert(strm->avail_out > 0, "bug2");
835
-
836
- if (flush != Z_FINISH) return Z_OK;
837
- if (s->wrap <= 0) return Z_STREAM_END;
838
-
839
- /* Write the trailer */
840
- #ifdef GZIP
841
- if (s->wrap == 2) {
842
- put_byte(s, (Byte)(strm->adler & 0xff));
843
- put_byte(s, (Byte)((strm->adler >> 8) & 0xff));
844
- put_byte(s, (Byte)((strm->adler >> 16) & 0xff));
845
- put_byte(s, (Byte)((strm->adler >> 24) & 0xff));
846
- put_byte(s, (Byte)(strm->total_in & 0xff));
847
- put_byte(s, (Byte)((strm->total_in >> 8) & 0xff));
848
- put_byte(s, (Byte)((strm->total_in >> 16) & 0xff));
849
- put_byte(s, (Byte)((strm->total_in >> 24) & 0xff));
850
- }
851
- else
852
- #endif
853
- {
854
- putShortMSB(s, (uInt)(strm->adler >> 16));
855
- putShortMSB(s, (uInt)(strm->adler & 0xffff));
856
- }
857
- flush_pending(strm);
858
- /* If avail_out is zero, the application will call deflate again
859
- * to flush the rest.
860
- */
861
- if (s->wrap > 0) s->wrap = -s->wrap; /* write the trailer only once! */
862
- return s->pending != 0 ? Z_OK : Z_STREAM_END;
863
- }
864
-
865
- /* ========================================================================= */
866
- int ZEXPORT deflateEnd (z_streamp strm)
867
- {
868
- int status;
869
-
870
- if (strm == Z_NULL || strm->state == Z_NULL) return Z_STREAM_ERROR;
871
-
872
- status = strm->state->status;
873
- if (status != INIT_STATE &&
874
- status != EXTRA_STATE &&
875
- status != NAME_STATE &&
876
- status != COMMENT_STATE &&
877
- status != HCRC_STATE &&
878
- status != BUSY_STATE &&
879
- status != FINISH_STATE) {
880
- return Z_STREAM_ERROR;
881
- }
882
-
883
- /* Deallocate in reverse order of allocations: */
884
- TRY_FREE(strm, strm->state->pending_buf);
885
- TRY_FREE(strm, strm->state->head);
886
- TRY_FREE(strm, strm->state->prev);
887
- TRY_FREE(strm, strm->state->window);
888
-
889
- ZFREE(strm, strm->state);
890
- strm->state = Z_NULL;
891
-
892
- return status == BUSY_STATE ? Z_DATA_ERROR : Z_OK;
893
- }
894
-
895
- /* =========================================================================
896
- * Copy the source state to the destination state.
897
- * To simplify the source, this is not supported for 16-bit MSDOS (which
898
- * doesn't have enough memory anyway to duplicate compression states).
899
- */
900
- int ZEXPORT deflateCopy (z_streamp dest, z_streamp source)
901
- {
902
- #ifdef MAXSEG_64K
903
- return Z_STREAM_ERROR;
904
- #else
905
- deflate_state *ds;
906
- deflate_state *ss;
907
- ushf *overlay;
908
-
909
-
910
- if (source == Z_NULL || dest == Z_NULL || source->state == Z_NULL) {
911
- return Z_STREAM_ERROR;
912
- }
913
-
914
- ss = source->state;
915
-
916
- zmemcpy(dest, source, sizeof(z_stream));
917
-
918
- ds = (deflate_state *) ZALLOC(dest, 1, sizeof(deflate_state));
919
- if (ds == Z_NULL) return Z_MEM_ERROR;
920
- dest->state = (struct internal_state FAR *) ds;
921
- zmemcpy(ds, ss, sizeof(deflate_state));
922
- ds->strm = dest;
923
-
924
- ds->window = (Bytef *) ZALLOC(dest, ds->w_size, 2*sizeof(Byte));
925
- ds->prev = (Posf *) ZALLOC(dest, ds->w_size, sizeof(Pos));
926
- ds->head = (Posf *) ZALLOC(dest, ds->hash_size, sizeof(Pos));
927
- overlay = (ushf *) ZALLOC(dest, ds->lit_bufsize, sizeof(ush)+2);
928
- ds->pending_buf = (uchf *) overlay;
929
-
930
- if (ds->window == Z_NULL || ds->prev == Z_NULL || ds->head == Z_NULL ||
931
- ds->pending_buf == Z_NULL) {
932
- deflateEnd (dest);
933
- return Z_MEM_ERROR;
934
- }
935
- /* following zmemcpy do not work for 16-bit MSDOS */
936
- zmemcpy(ds->window, ss->window, ds->w_size * 2 * sizeof(Byte));
937
- zmemcpy(ds->prev, ss->prev, ds->w_size * sizeof(Pos));
938
- zmemcpy(ds->head, ss->head, ds->hash_size * sizeof(Pos));
939
- zmemcpy(ds->pending_buf, ss->pending_buf, (uInt)ds->pending_buf_size);
940
-
941
- ds->pending_out = ds->pending_buf + (ss->pending_out - ss->pending_buf);
942
- ds->d_buf = overlay + ds->lit_bufsize/sizeof(ush);
943
- ds->l_buf = ds->pending_buf + (1+sizeof(ush))*ds->lit_bufsize;
944
-
945
- ds->l_desc.dyn_tree = ds->dyn_ltree;
946
- ds->d_desc.dyn_tree = ds->dyn_dtree;
947
- ds->bl_desc.dyn_tree = ds->bl_tree;
948
-
949
- return Z_OK;
950
- #endif /* MAXSEG_64K */
951
- }
952
-
953
- /* ===========================================================================
954
- * Read a new buffer from the current input stream, update the adler32
955
- * and total number of bytes read. All deflate() input goes through
956
- * this function so some applications may wish to modify it to avoid
957
- * allocating a large strm->next_in buffer and copying from it.
958
- * (See also flush_pending()).
959
- */
960
- local int read_buf(z_streamp strm, Bytef *buf, unsigned size)
961
- {
962
- unsigned len = strm->avail_in;
963
-
964
- if (len > size) len = size;
965
- if (len == 0) return 0;
966
-
967
- strm->avail_in -= len;
968
-
969
- if (strm->state->wrap == 1) {
970
- strm->adler = adler32(strm->adler, strm->next_in, len);
971
- }
972
- #ifdef GZIP
973
- else if (strm->state->wrap == 2) {
974
- strm->adler = crc32(strm->adler, strm->next_in, len);
975
- }
976
- #endif
977
- zmemcpy(buf, strm->next_in, len);
978
- strm->next_in += len;
979
- strm->total_in += len;
980
-
981
- return (int)len;
982
- }
983
-
984
- /* ===========================================================================
985
- * Initialize the "longest match" routines for a new zlib stream
986
- */
987
- local void lm_init (deflate_state *s)
988
- {
989
- s->window_size = (ulg)2L*s->w_size;
990
-
991
- CLEAR_HASH(s);
992
-
993
- /* Set the default configuration parameters:
994
- */
995
- s->max_lazy_match = configuration_table[s->level].max_lazy;
996
- s->good_match = configuration_table[s->level].good_length;
997
- s->nice_match = configuration_table[s->level].nice_length;
998
- s->max_chain_length = configuration_table[s->level].max_chain;
999
-
1000
- s->strstart = 0;
1001
- s->block_start = 0L;
1002
- s->lookahead = 0;
1003
- s->match_length = s->prev_length = MIN_MATCH-1;
1004
- s->match_available = 0;
1005
- s->ins_h = 0;
1006
- #ifndef FASTEST
1007
- #ifdef ASMV
1008
- match_init(); /* initialize the asm code */
1009
- #endif
1010
- #endif
1011
- }
1012
-
1013
- #ifndef FASTEST
1014
- /* ===========================================================================
1015
- * Set match_start to the longest match starting at the given string and
1016
- * return its length. Matches shorter or equal to prev_length are discarded,
1017
- * in which case the result is equal to prev_length and match_start is
1018
- * garbage.
1019
- * IN assertions: cur_match is the head of the hash chain for the current
1020
- * string (strstart) and its distance is <= MAX_DIST, and prev_length >= 1
1021
- * OUT assertion: the match length is not greater than s->lookahead.
1022
- */
1023
- #ifndef ASMV
1024
- /* For 80x86 and 680x0, an optimized version will be provided in match.asm or
1025
- * match.S. The code will be functionally equivalent.
1026
- */
1027
- local uInt longest_match(deflate_state *s, IPos cur_match)
1028
- {
1029
- unsigned chain_length = s->max_chain_length;/* max hash chain length */
1030
- register Bytef *scan = s->window + s->strstart; /* current string */
1031
- register Bytef *match; /* matched string */
1032
- register int len; /* length of current match */
1033
- int best_len = s->prev_length; /* best match length so far */
1034
- int nice_match = s->nice_match; /* stop if match long enough */
1035
- IPos limit = s->strstart > (IPos)MAX_DIST(s) ?
1036
- s->strstart - (IPos)MAX_DIST(s) : NIL;
1037
- /* Stop when cur_match becomes <= limit. To simplify the code,
1038
- * we prevent matches with the string of window index 0.
1039
- */
1040
- Posf *prev = s->prev;
1041
- uInt wmask = s->w_mask;
1042
-
1043
- #ifdef UNALIGNED_OK
1044
- /* Compare two bytes at a time. Note: this is not always beneficial.
1045
- * Try with and without -DUNALIGNED_OK to check.
1046
- */
1047
- register Bytef *strend = s->window + s->strstart + MAX_MATCH - 1;
1048
- register ush scan_start = *(ushf*)scan;
1049
- register ush scan_end = *(ushf*)(scan+best_len-1);
1050
- #else
1051
- register Bytef *strend = s->window + s->strstart + MAX_MATCH;
1052
- register Byte scan_end1 = scan[best_len-1];
1053
- register Byte scan_end = scan[best_len];
1054
- #endif
1055
-
1056
- /* The code is optimized for HASH_BITS >= 8 and MAX_MATCH-2 multiple of 16.
1057
- * It is easy to get rid of this optimization if necessary.
1058
- */
1059
- Assert(s->hash_bits >= 8 && MAX_MATCH == 258, "Code too clever");
1060
-
1061
- /* Do not waste too much time if we already have a good match: */
1062
- if (s->prev_length >= s->good_match) {
1063
- chain_length >>= 2;
1064
- }
1065
- /* Do not look for matches beyond the end of the input. This is necessary
1066
- * to make deflate deterministic.
1067
- */
1068
- if ((uInt)nice_match > s->lookahead) nice_match = s->lookahead;
1069
-
1070
- Assert((ulg)s->strstart <= s->window_size-MIN_LOOKAHEAD, "need lookahead");
1071
-
1072
- do {
1073
- Assert(cur_match < s->strstart, "no future");
1074
- match = s->window + cur_match;
1075
-
1076
- /* Skip to next match if the match length cannot increase
1077
- * or if the match length is less than 2. Note that the checks below
1078
- * for insufficient lookahead only occur occasionally for performance
1079
- * reasons. Therefore uninitialized memory will be accessed, and
1080
- * conditional jumps will be made that depend on those values.
1081
- * However the length of the match is limited to the lookahead, so
1082
- * the output of deflate is not affected by the uninitialized values.
1083
- */
1084
- #if (defined(UNALIGNED_OK) && MAX_MATCH == 258)
1085
- /* This code assumes sizeof(unsigned short) == 2. Do not use
1086
- * UNALIGNED_OK if your compiler uses a different size.
1087
- */
1088
- if (*(ushf*)(match+best_len-1) != scan_end ||
1089
- *(ushf*)match != scan_start) continue;
1090
-
1091
- /* It is not necessary to compare scan[2] and match[2] since they are
1092
- * always equal when the other bytes match, given that the hash keys
1093
- * are equal and that HASH_BITS >= 8. Compare 2 bytes at a time at
1094
- * strstart+3, +5, ... up to strstart+257. We check for insufficient
1095
- * lookahead only every 4th comparison; the 128th check will be made
1096
- * at strstart+257. If MAX_MATCH-2 is not a multiple of 8, it is
1097
- * necessary to put more guard bytes at the end of the window, or
1098
- * to check more often for insufficient lookahead.
1099
- */
1100
- Assert(scan[2] == match[2], "scan[2]?");
1101
- scan++, match++;
1102
- do {
1103
- } while (*(ushf*)(scan+=2) == *(ushf*)(match+=2) &&
1104
- *(ushf*)(scan+=2) == *(ushf*)(match+=2) &&
1105
- *(ushf*)(scan+=2) == *(ushf*)(match+=2) &&
1106
- *(ushf*)(scan+=2) == *(ushf*)(match+=2) &&
1107
- scan < strend);
1108
- /* The funny "do {}" generates better code on most compilers */
1109
-
1110
- /* Here, scan <= window+strstart+257 */
1111
- Assert(scan <= s->window+(unsigned)(s->window_size-1), "wild scan");
1112
- if (*scan == *match) scan++;
1113
-
1114
- len = (MAX_MATCH - 1) - (int)(strend-scan);
1115
- scan = strend - (MAX_MATCH-1);
1116
-
1117
- #else /* UNALIGNED_OK */
1118
-
1119
- if (match[best_len] != scan_end ||
1120
- match[best_len-1] != scan_end1 ||
1121
- *match != *scan ||
1122
- *++match != scan[1]) continue;
1123
-
1124
- /* The check at best_len-1 can be removed because it will be made
1125
- * again later. (This heuristic is not always a win.)
1126
- * It is not necessary to compare scan[2] and match[2] since they
1127
- * are always equal when the other bytes match, given that
1128
- * the hash keys are equal and that HASH_BITS >= 8.
1129
- */
1130
- scan += 2, match++;
1131
- Assert(*scan == *match, "match[2]?");
1132
-
1133
- /* We check for insufficient lookahead only every 8th comparison;
1134
- * the 256th check will be made at strstart+258.
1135
- */
1136
- do {
1137
- } while (*++scan == *++match && *++scan == *++match &&
1138
- *++scan == *++match && *++scan == *++match &&
1139
- *++scan == *++match && *++scan == *++match &&
1140
- *++scan == *++match && *++scan == *++match &&
1141
- scan < strend);
1142
-
1143
- Assert(scan <= s->window+(unsigned)(s->window_size-1), "wild scan");
1144
-
1145
- len = MAX_MATCH - (int)(strend - scan);
1146
- scan = strend - MAX_MATCH;
1147
-
1148
- #endif /* UNALIGNED_OK */
1149
-
1150
- if (len > best_len) {
1151
- s->match_start = cur_match;
1152
- best_len = len;
1153
- if (len >= nice_match) break;
1154
- #ifdef UNALIGNED_OK
1155
- scan_end = *(ushf*)(scan+best_len-1);
1156
- #else
1157
- scan_end1 = scan[best_len-1];
1158
- scan_end = scan[best_len];
1159
- #endif
1160
- }
1161
- } while ((cur_match = prev[cur_match & wmask]) > limit
1162
- && --chain_length != 0);
1163
-
1164
- if ((uInt)best_len <= s->lookahead) return (uInt)best_len;
1165
- return s->lookahead;
1166
- }
1167
- #endif /* ASMV */
1168
-
1169
- #else /* FASTEST */
1170
-
1171
- /* ---------------------------------------------------------------------------
1172
- * Optimized version for FASTEST only
1173
- */
1174
- local uInt longest_match(deflate_state *s, IPos cur_match)
1175
- {
1176
- register Bytef *scan = s->window + s->strstart; /* current string */
1177
- register Bytef *match; /* matched string */
1178
- register int len; /* length of current match */
1179
- register Bytef *strend = s->window + s->strstart + MAX_MATCH;
1180
-
1181
- /* The code is optimized for HASH_BITS >= 8 and MAX_MATCH-2 multiple of 16.
1182
- * It is easy to get rid of this optimization if necessary.
1183
- */
1184
- Assert(s->hash_bits >= 8 && MAX_MATCH == 258, "Code too clever");
1185
-
1186
- Assert((ulg)s->strstart <= s->window_size-MIN_LOOKAHEAD, "need lookahead");
1187
-
1188
- Assert(cur_match < s->strstart, "no future");
1189
-
1190
- match = s->window + cur_match;
1191
-
1192
- /* Return failure if the match length is less than 2:
1193
- */
1194
- if (match[0] != scan[0] || match[1] != scan[1]) return MIN_MATCH-1;
1195
-
1196
- /* The check at best_len-1 can be removed because it will be made
1197
- * again later. (This heuristic is not always a win.)
1198
- * It is not necessary to compare scan[2] and match[2] since they
1199
- * are always equal when the other bytes match, given that
1200
- * the hash keys are equal and that HASH_BITS >= 8.
1201
- */
1202
- scan += 2, match += 2;
1203
- Assert(*scan == *match, "match[2]?");
1204
-
1205
- /* We check for insufficient lookahead only every 8th comparison;
1206
- * the 256th check will be made at strstart+258.
1207
- */
1208
- do {
1209
- } while (*++scan == *++match && *++scan == *++match &&
1210
- *++scan == *++match && *++scan == *++match &&
1211
- *++scan == *++match && *++scan == *++match &&
1212
- *++scan == *++match && *++scan == *++match &&
1213
- scan < strend);
1214
-
1215
- Assert(scan <= s->window+(unsigned)(s->window_size-1), "wild scan");
1216
-
1217
- len = MAX_MATCH - (int)(strend - scan);
1218
-
1219
- if (len < MIN_MATCH) return MIN_MATCH - 1;
1220
-
1221
- s->match_start = cur_match;
1222
- return (uInt)len <= s->lookahead ? (uInt)len : s->lookahead;
1223
- }
1224
-
1225
- #endif /* FASTEST */
1226
-
1227
- #ifdef DEBUG
1228
- /* ===========================================================================
1229
- * Check that the match at match_start is indeed a match.
1230
- */
1231
- local void check_match(deflate_state *s, IPos start, IPos match, int length)
1232
- {
1233
- /* check that the match is indeed a match */
1234
- if (zmemcmp(s->window + match,
1235
- s->window + start, length) != EQUAL) {
1236
- fprintf(stderr, " start %u, match %u, length %d\n",
1237
- start, match, length);
1238
- do {
1239
- fprintf(stderr, "%c%c", s->window[match++], s->window[start++]);
1240
- } while (--length != 0);
1241
- z_error("invalid match");
1242
- }
1243
- if (z_verbose > 1) {
1244
- fprintf(stderr,"\\[%d,%d]", start-match, length);
1245
- do { putc(s->window[start++], stderr); } while (--length != 0);
1246
- }
1247
- }
1248
- #else
1249
- # define check_match(s, start, match, length)
1250
- #endif /* DEBUG */
1251
-
1252
- /* ===========================================================================
1253
- * Fill the window when the lookahead becomes insufficient.
1254
- * Updates strstart and lookahead.
1255
- *
1256
- * IN assertion: lookahead < MIN_LOOKAHEAD
1257
- * OUT assertions: strstart <= window_size-MIN_LOOKAHEAD
1258
- * At least one byte has been read, or avail_in == 0; reads are
1259
- * performed for at least two bytes (required for the zip translate_eol
1260
- * option -- not supported here).
1261
- */
1262
- local void fill_window(deflate_state *s)
1263
- {
1264
- register unsigned n, m;
1265
- register Posf *p;
1266
- unsigned more; /* Amount of free space at the end of the window. */
1267
- uInt wsize = s->w_size;
1268
-
1269
- do {
1270
- more = (unsigned)(s->window_size -(ulg)s->lookahead -(ulg)s->strstart);
1271
-
1272
- /* Deal with !@#$% 64K limit: */
1273
- if (sizeof(int) <= 2) {
1274
- if (more == 0 && s->strstart == 0 && s->lookahead == 0) {
1275
- more = wsize;
1276
-
1277
- } else if (more == (unsigned)(-1)) {
1278
- /* Very unlikely, but possible on 16 bit machine if
1279
- * strstart == 0 && lookahead == 1 (input done a byte at time)
1280
- */
1281
- more--;
1282
- }
1283
- }
1284
-
1285
- /* If the window is almost full and there is insufficient lookahead,
1286
- * move the upper half to the lower one to make room in the upper half.
1287
- */
1288
- if (s->strstart >= wsize+MAX_DIST(s)) {
1289
-
1290
- zmemcpy(s->window, s->window+wsize, (unsigned)wsize);
1291
- s->match_start -= wsize;
1292
- s->strstart -= wsize; /* we now have strstart >= MAX_DIST */
1293
- s->block_start -= (long) wsize;
1294
-
1295
- /* Slide the hash table (could be avoided with 32 bit values
1296
- at the expense of memory usage). We slide even when level == 0
1297
- to keep the hash table consistent if we switch back to level > 0
1298
- later. (Using level 0 permanently is not an optimal usage of
1299
- zlib, so we don't care about this pathological case.)
1300
- */
1301
- n = s->hash_size;
1302
- p = &s->head[n];
1303
- do {
1304
- m = *--p;
1305
- *p = (Pos)(m >= wsize ? m-wsize : NIL);
1306
- } while (--n);
1307
-
1308
- n = wsize;
1309
- #ifndef FASTEST
1310
- p = &s->prev[n];
1311
- do {
1312
- m = *--p;
1313
- *p = (Pos)(m >= wsize ? m-wsize : NIL);
1314
- /* If n is not on any hash chain, prev[n] is garbage but
1315
- * its value will never be used.
1316
- */
1317
- } while (--n);
1318
- #endif
1319
- more += wsize;
1320
- }
1321
- if (s->strm->avail_in == 0) return;
1322
-
1323
- /* If there was no sliding:
1324
- * strstart <= WSIZE+MAX_DIST-1 && lookahead <= MIN_LOOKAHEAD - 1 &&
1325
- * more == window_size - lookahead - strstart
1326
- * => more >= window_size - (MIN_LOOKAHEAD-1 + WSIZE + MAX_DIST-1)
1327
- * => more >= window_size - 2*WSIZE + 2
1328
- * In the BIG_MEM or MMAP case (not yet supported),
1329
- * window_size == input_size + MIN_LOOKAHEAD &&
1330
- * strstart + s->lookahead <= input_size => more >= MIN_LOOKAHEAD.
1331
- * Otherwise, window_size == 2*WSIZE so more >= 2.
1332
- * If there was sliding, more >= WSIZE. So in all cases, more >= 2.
1333
- */
1334
- Assert(more >= 2, "more < 2");
1335
-
1336
- n = read_buf(s->strm, s->window + s->strstart + s->lookahead, more);
1337
- s->lookahead += n;
1338
-
1339
- /* Initialize the hash value now that we have some input: */
1340
- if (s->lookahead >= MIN_MATCH) {
1341
- s->ins_h = s->window[s->strstart];
1342
- UPDATE_HASH(s, s->ins_h, s->window[s->strstart+1]);
1343
- #if MIN_MATCH != 3
1344
- Call UPDATE_HASH() MIN_MATCH-3 more times
1345
- #endif
1346
- }
1347
- /* If the whole input has less than MIN_MATCH bytes, ins_h is garbage,
1348
- * but this is not important since only literal bytes will be emitted.
1349
- */
1350
-
1351
- } while (s->lookahead < MIN_LOOKAHEAD && s->strm->avail_in != 0);
1352
-
1353
- /* If the WIN_INIT bytes after the end of the current data have never been
1354
- * written, then zero those bytes in order to avoid memory check reports of
1355
- * the use of uninitialized (or uninitialised as Julian writes) bytes by
1356
- * the longest match routines. Update the high water mark for the next
1357
- * time through here. WIN_INIT is set to MAX_MATCH since the longest match
1358
- * routines allow scanning to strstart + MAX_MATCH, ignoring lookahead.
1359
- */
1360
- if (s->high_water < s->window_size) {
1361
- ulg curr = s->strstart + (ulg)(s->lookahead);
1362
- ulg init;
1363
-
1364
- if (s->high_water < curr) {
1365
- /* Previous high water mark below current data -- zero WIN_INIT
1366
- * bytes or up to end of window, whichever is less.
1367
- */
1368
- init = s->window_size - curr;
1369
- if (init > WIN_INIT)
1370
- init = WIN_INIT;
1371
- zmemzero(s->window + curr, (unsigned)init);
1372
- s->high_water = curr + init;
1373
- }
1374
- else if (s->high_water < (ulg)curr + WIN_INIT) {
1375
- /* High water mark at or above current data, but below current data
1376
- * plus WIN_INIT -- zero out to current data plus WIN_INIT, or up
1377
- * to end of window, whichever is less.
1378
- */
1379
- init = (ulg)curr + WIN_INIT - s->high_water;
1380
- if (init > s->window_size - s->high_water)
1381
- init = s->window_size - s->high_water;
1382
- zmemzero(s->window + s->high_water, (unsigned)init);
1383
- s->high_water += init;
1384
- }
1385
- }
1386
- }
1387
-
1388
- /* ===========================================================================
1389
- * Flush the current block, with given end-of-file flag.
1390
- * IN assertion: strstart is set to the end of the current match.
1391
- */
1392
- #define FLUSH_BLOCK_ONLY(s, last) { \
1393
- _tr_flush_block(s, (s->block_start >= 0L ? \
1394
- (charf *)&s->window[(unsigned)s->block_start] : \
1395
- (charf *)Z_NULL), \
1396
- (ulg)((long)s->strstart - s->block_start), \
1397
- (last)); \
1398
- s->block_start = s->strstart; \
1399
- flush_pending(s->strm); \
1400
- Tracev((stderr,"[FLUSH]")); \
1401
- }
1402
-
1403
- /* Same but force premature exit if necessary. */
1404
- #define FLUSH_BLOCK(s, last) { \
1405
- FLUSH_BLOCK_ONLY(s, last); \
1406
- if (s->strm->avail_out == 0) return (last) ? finish_started : need_more; \
1407
- }
1408
-
1409
- /* ===========================================================================
1410
- * Copy without compression as much as possible from the input stream, return
1411
- * the current block state.
1412
- * This function does not insert new strings in the dictionary since
1413
- * uncompressible data is probably not useful. This function is used
1414
- * only for the level=0 compression option.
1415
- * NOTE: this function should be optimized to avoid extra copying from
1416
- * window to pending_buf.
1417
- */
1418
- local block_state deflate_stored(deflate_state *s, int flush)
1419
- {
1420
- /* Stored blocks are limited to 0xffff bytes, pending_buf is limited
1421
- * to pending_buf_size, and each stored block has a 5 byte header:
1422
- */
1423
- ulg max_block_size = 0xffff;
1424
- ulg max_start;
1425
-
1426
- if (max_block_size > s->pending_buf_size - 5) {
1427
- max_block_size = s->pending_buf_size - 5;
1428
- }
1429
-
1430
- /* Copy as much as possible from input to output: */
1431
- for (;;) {
1432
- /* Fill the window as much as possible: */
1433
- if (s->lookahead <= 1) {
1434
-
1435
- Assert(s->strstart < s->w_size+MAX_DIST(s) ||
1436
- s->block_start >= (long)s->w_size, "slide too late");
1437
-
1438
- fill_window(s);
1439
- if (s->lookahead == 0 && flush == Z_NO_FLUSH) return need_more;
1440
-
1441
- if (s->lookahead == 0) break; /* flush the current block */
1442
- }
1443
- Assert(s->block_start >= 0L, "block gone");
1444
-
1445
- s->strstart += s->lookahead;
1446
- s->lookahead = 0;
1447
-
1448
- /* Emit a stored block if pending_buf will be full: */
1449
- max_start = s->block_start + max_block_size;
1450
- if (s->strstart == 0 || (ulg)s->strstart >= max_start) {
1451
- /* strstart == 0 is possible when wraparound on 16-bit machine */
1452
- s->lookahead = (uInt)(s->strstart - max_start);
1453
- s->strstart = (uInt)max_start;
1454
- FLUSH_BLOCK(s, 0);
1455
- }
1456
- /* Flush if we may have to slide, otherwise block_start may become
1457
- * negative and the data will be gone:
1458
- */
1459
- if (s->strstart - (uInt)s->block_start >= MAX_DIST(s)) {
1460
- FLUSH_BLOCK(s, 0);
1461
- }
1462
- }
1463
- FLUSH_BLOCK(s, flush == Z_FINISH);
1464
- return flush == Z_FINISH ? finish_done : block_done;
1465
- }
1466
-
1467
- /* ===========================================================================
1468
- * Compress as much as possible from the input stream, return the current
1469
- * block state.
1470
- * This function does not perform lazy evaluation of matches and inserts
1471
- * new strings in the dictionary only for unmatched strings or for short
1472
- * matches. It is used only for the fast compression options.
1473
- */
1474
- local block_state deflate_fast(deflate_state *s, int flush)
1475
- {
1476
- IPos hash_head; /* head of the hash chain */
1477
- int bflush; /* set if current block must be flushed */
1478
-
1479
- for (;;) {
1480
- /* Make sure that we always have enough lookahead, except
1481
- * at the end of the input file. We need MAX_MATCH bytes
1482
- * for the next match, plus MIN_MATCH bytes to insert the
1483
- * string following the next match.
1484
- */
1485
- if (s->lookahead < MIN_LOOKAHEAD) {
1486
- fill_window(s);
1487
- if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) {
1488
- return need_more;
1489
- }
1490
- if (s->lookahead == 0) break; /* flush the current block */
1491
- }
1492
-
1493
- /* Insert the string window[strstart .. strstart+2] in the
1494
- * dictionary, and set hash_head to the head of the hash chain:
1495
- */
1496
- hash_head = NIL;
1497
- if (s->lookahead >= MIN_MATCH) {
1498
- INSERT_STRING(s, s->strstart, hash_head);
1499
- }
1500
-
1501
- /* Find the longest match, discarding those <= prev_length.
1502
- * At this point we have always match_length < MIN_MATCH
1503
- */
1504
- if (hash_head != NIL && s->strstart - hash_head <= MAX_DIST(s)) {
1505
- /* To simplify the code, we prevent matches with the string
1506
- * of window index 0 (in particular we have to avoid a match
1507
- * of the string with itself at the start of the input file).
1508
- */
1509
- s->match_length = longest_match (s, hash_head);
1510
- /* longest_match() sets match_start */
1511
- }
1512
- if (s->match_length >= MIN_MATCH) {
1513
- check_match(s, s->strstart, s->match_start, s->match_length);
1514
-
1515
- _tr_tally_dist(s, s->strstart - s->match_start,
1516
- s->match_length - MIN_MATCH, bflush);
1517
-
1518
- s->lookahead -= s->match_length;
1519
-
1520
- /* Insert new strings in the hash table only if the match length
1521
- * is not too large. This saves time but degrades compression.
1522
- */
1523
- #ifndef FASTEST
1524
- if (s->match_length <= s->max_insert_length &&
1525
- s->lookahead >= MIN_MATCH) {
1526
- s->match_length--; /* string at strstart already in table */
1527
- do {
1528
- s->strstart++;
1529
- INSERT_STRING(s, s->strstart, hash_head);
1530
- /* strstart never exceeds WSIZE-MAX_MATCH, so there are
1531
- * always MIN_MATCH bytes ahead.
1532
- */
1533
- } while (--s->match_length != 0);
1534
- s->strstart++;
1535
- } else
1536
- #endif
1537
- {
1538
- s->strstart += s->match_length;
1539
- s->match_length = 0;
1540
- s->ins_h = s->window[s->strstart];
1541
- UPDATE_HASH(s, s->ins_h, s->window[s->strstart+1]);
1542
- #if MIN_MATCH != 3
1543
- Call UPDATE_HASH() MIN_MATCH-3 more times
1544
- #endif
1545
- /* If lookahead < MIN_MATCH, ins_h is garbage, but it does not
1546
- * matter since it will be recomputed at next deflate call.
1547
- */
1548
- }
1549
- } else {
1550
- /* No match, output a literal byte */
1551
- Tracevv((stderr,"%c", s->window[s->strstart]));
1552
- _tr_tally_lit (s, s->window[s->strstart], bflush);
1553
- s->lookahead--;
1554
- s->strstart++;
1555
- }
1556
- if (bflush) FLUSH_BLOCK(s, 0);
1557
- }
1558
- FLUSH_BLOCK(s, flush == Z_FINISH);
1559
- return flush == Z_FINISH ? finish_done : block_done;
1560
- }
1561
-
1562
- #ifndef FASTEST
1563
- /* ===========================================================================
1564
- * Same as above, but achieves better compression. We use a lazy
1565
- * evaluation for matches: a match is finally adopted only if there is
1566
- * no better match at the next window position.
1567
- */
1568
- local block_state deflate_slow(deflate_state *s, int flush)
1569
- {
1570
- IPos hash_head; /* head of hash chain */
1571
- int bflush; /* set if current block must be flushed */
1572
-
1573
- /* Process the input block. */
1574
- for (;;) {
1575
- /* Make sure that we always have enough lookahead, except
1576
- * at the end of the input file. We need MAX_MATCH bytes
1577
- * for the next match, plus MIN_MATCH bytes to insert the
1578
- * string following the next match.
1579
- */
1580
- if (s->lookahead < MIN_LOOKAHEAD) {
1581
- fill_window(s);
1582
- if (s->lookahead < MIN_LOOKAHEAD && flush == Z_NO_FLUSH) {
1583
- return need_more;
1584
- }
1585
- if (s->lookahead == 0) break; /* flush the current block */
1586
- }
1587
-
1588
- /* Insert the string window[strstart .. strstart+2] in the
1589
- * dictionary, and set hash_head to the head of the hash chain:
1590
- */
1591
- hash_head = NIL;
1592
- if (s->lookahead >= MIN_MATCH) {
1593
- INSERT_STRING(s, s->strstart, hash_head);
1594
- }
1595
-
1596
- /* Find the longest match, discarding those <= prev_length.
1597
- */
1598
- s->prev_length = s->match_length, s->prev_match = s->match_start;
1599
- s->match_length = MIN_MATCH-1;
1600
-
1601
- if (hash_head != NIL && s->prev_length < s->max_lazy_match &&
1602
- s->strstart - hash_head <= MAX_DIST(s)) {
1603
- /* To simplify the code, we prevent matches with the string
1604
- * of window index 0 (in particular we have to avoid a match
1605
- * of the string with itself at the start of the input file).
1606
- */
1607
- s->match_length = longest_match (s, hash_head);
1608
- /* longest_match() sets match_start */
1609
-
1610
- if (s->match_length <= 5 && (s->strategy == Z_FILTERED
1611
- #if TOO_FAR <= 32767
1612
- || (s->match_length == MIN_MATCH &&
1613
- s->strstart - s->match_start > TOO_FAR)
1614
- #endif
1615
- )) {
1616
-
1617
- /* If prev_match is also MIN_MATCH, match_start is garbage
1618
- * but we will ignore the current match anyway.
1619
- */
1620
- s->match_length = MIN_MATCH-1;
1621
- }
1622
- }
1623
- /* If there was a match at the previous step and the current
1624
- * match is not better, output the previous match:
1625
- */
1626
- if (s->prev_length >= MIN_MATCH && s->match_length <= s->prev_length) {
1627
- uInt max_insert = s->strstart + s->lookahead - MIN_MATCH;
1628
- /* Do not insert strings in hash table beyond this. */
1629
-
1630
- check_match(s, s->strstart-1, s->prev_match, s->prev_length);
1631
-
1632
- _tr_tally_dist(s, s->strstart -1 - s->prev_match,
1633
- s->prev_length - MIN_MATCH, bflush);
1634
-
1635
- /* Insert in hash table all strings up to the end of the match.
1636
- * strstart-1 and strstart are already inserted. If there is not
1637
- * enough lookahead, the last two strings are not inserted in
1638
- * the hash table.
1639
- */
1640
- s->lookahead -= s->prev_length-1;
1641
- s->prev_length -= 2;
1642
- do {
1643
- if (++s->strstart <= max_insert) {
1644
- INSERT_STRING(s, s->strstart, hash_head);
1645
- }
1646
- } while (--s->prev_length != 0);
1647
- s->match_available = 0;
1648
- s->match_length = MIN_MATCH-1;
1649
- s->strstart++;
1650
-
1651
- if (bflush) FLUSH_BLOCK(s, 0);
1652
-
1653
- } else if (s->match_available) {
1654
- /* If there was no match at the previous position, output a
1655
- * single literal. If there was a match but the current match
1656
- * is longer, truncate the previous match to a single literal.
1657
- */
1658
- Tracevv((stderr,"%c", s->window[s->strstart-1]));
1659
- _tr_tally_lit(s, s->window[s->strstart-1], bflush);
1660
- if (bflush) {
1661
- FLUSH_BLOCK_ONLY(s, 0);
1662
- }
1663
- s->strstart++;
1664
- s->lookahead--;
1665
- if (s->strm->avail_out == 0) return need_more;
1666
- } else {
1667
- /* There is no previous match to compare with, wait for
1668
- * the next step to decide.
1669
- */
1670
- s->match_available = 1;
1671
- s->strstart++;
1672
- s->lookahead--;
1673
- }
1674
- }
1675
- Assert (flush != Z_NO_FLUSH, "no flush?");
1676
- if (s->match_available) {
1677
- Tracevv((stderr,"%c", s->window[s->strstart-1]));
1678
- _tr_tally_lit(s, s->window[s->strstart-1], bflush);
1679
- s->match_available = 0;
1680
- }
1681
- FLUSH_BLOCK(s, flush == Z_FINISH);
1682
- return flush == Z_FINISH ? finish_done : block_done;
1683
- }
1684
- #endif /* FASTEST */
1685
-
1686
- /* ===========================================================================
1687
- * For Z_RLE, simply look for runs of bytes, generate matches only of distance
1688
- * one. Do not maintain a hash table. (It will be regenerated if this run of
1689
- * deflate switches away from Z_RLE.)
1690
- */
1691
- local block_state deflate_rle(deflate_state *s, int flush)
1692
- {
1693
- int bflush; /* set if current block must be flushed */
1694
- uInt prev; /* byte at distance one to match */
1695
- Bytef *scan, *strend; /* scan goes up to strend for length of run */
1696
-
1697
- for (;;) {
1698
- /* Make sure that we always have enough lookahead, except
1699
- * at the end of the input file. We need MAX_MATCH bytes
1700
- * for the longest encodable run.
1701
- */
1702
- if (s->lookahead < MAX_MATCH) {
1703
- fill_window(s);
1704
- if (s->lookahead < MAX_MATCH && flush == Z_NO_FLUSH) {
1705
- return need_more;
1706
- }
1707
- if (s->lookahead == 0) break; /* flush the current block */
1708
- }
1709
-
1710
- /* See how many times the previous byte repeats */
1711
- s->match_length = 0;
1712
- if (s->lookahead >= MIN_MATCH && s->strstart > 0) {
1713
- scan = s->window + s->strstart - 1;
1714
- prev = *scan;
1715
- if (prev == *++scan && prev == *++scan && prev == *++scan) {
1716
- strend = s->window + s->strstart + MAX_MATCH;
1717
- do {
1718
- } while (prev == *++scan && prev == *++scan &&
1719
- prev == *++scan && prev == *++scan &&
1720
- prev == *++scan && prev == *++scan &&
1721
- prev == *++scan && prev == *++scan &&
1722
- scan < strend);
1723
- s->match_length = MAX_MATCH - (int)(strend - scan);
1724
- if (s->match_length > s->lookahead)
1725
- s->match_length = s->lookahead;
1726
- }
1727
- }
1728
-
1729
- /* Emit match if have run of MIN_MATCH or longer, else emit literal */
1730
- if (s->match_length >= MIN_MATCH) {
1731
- check_match(s, s->strstart, s->strstart - 1, s->match_length);
1732
-
1733
- _tr_tally_dist(s, 1, s->match_length - MIN_MATCH, bflush);
1734
-
1735
- s->lookahead -= s->match_length;
1736
- s->strstart += s->match_length;
1737
- s->match_length = 0;
1738
- } else {
1739
- /* No match, output a literal byte */
1740
- Tracevv((stderr,"%c", s->window[s->strstart]));
1741
- _tr_tally_lit (s, s->window[s->strstart], bflush);
1742
- s->lookahead--;
1743
- s->strstart++;
1744
- }
1745
- if (bflush) FLUSH_BLOCK(s, 0);
1746
- }
1747
- FLUSH_BLOCK(s, flush == Z_FINISH);
1748
- return flush == Z_FINISH ? finish_done : block_done;
1749
- }
1750
-
1751
- /* ===========================================================================
1752
- * For Z_HUFFMAN_ONLY, do not look for matches. Do not maintain a hash table.
1753
- * (It will be regenerated if this run of deflate switches away from Huffman.)
1754
- */
1755
- local block_state deflate_huff(deflate_state *s, int flush)
1756
- {
1757
- int bflush; /* set if current block must be flushed */
1758
-
1759
- for (;;) {
1760
- /* Make sure that we have a literal to write. */
1761
- if (s->lookahead == 0) {
1762
- fill_window(s);
1763
- if (s->lookahead == 0) {
1764
- if (flush == Z_NO_FLUSH)
1765
- return need_more;
1766
- break; /* flush the current block */
1767
- }
1768
- }
1769
-
1770
- /* Output a literal byte */
1771
- s->match_length = 0;
1772
- Tracevv((stderr,"%c", s->window[s->strstart]));
1773
- _tr_tally_lit (s, s->window[s->strstart], bflush);
1774
- s->lookahead--;
1775
- s->strstart++;
1776
- if (bflush) FLUSH_BLOCK(s, 0);
1777
- }
1778
- FLUSH_BLOCK(s, flush == Z_FINISH);
1779
- return flush == Z_FINISH ? finish_done : block_done;
1780
- }
1781
-
1782
-
1783
- ABC_NAMESPACE_IMPL_END
1784
-