ruby_abc 0.0.3 → 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 (1732) hide show
  1. checksums.yaml +5 -5
  2. data/.yardopts +7 -0
  3. data/LICENSE +51 -52
  4. data/README.md +96 -37
  5. data/bin/ruby_abc +103 -0
  6. data/ext/ruby_abc/extconf.rb +58 -0
  7. data/ext/{ruby_abc.c → ruby_abc/ruby_abc.c} +45 -72
  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 -225
  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. data/test/test_ruby_abc.rb +1 -1
  17. metadata +19 -1727
  18. data/Rakefile +0 -83
  19. data/bin/rubyabc_synthesis +0 -71
  20. data/ext/abc/CMakeLists.txt +0 -103
  21. data/ext/abc/Makefile +0 -213
  22. data/ext/abc/abc.rc +0 -146
  23. data/ext/abc/abcexe.dsp +0 -103
  24. data/ext/abc/abclib.dsp +0 -5948
  25. data/ext/abc/abcspace.dsw +0 -44
  26. data/ext/abc/arch_flags.c +0 -17
  27. data/ext/abc/copyright.txt +0 -23
  28. data/ext/abc/depends.sh +0 -13
  29. data/ext/abc/i10.aig +0 -752
  30. data/ext/abc/lib/pthread.h +0 -1369
  31. data/ext/abc/lib/sched.h +0 -178
  32. data/ext/abc/lib/semaphore.h +0 -166
  33. data/ext/abc/lib/x64/pthreadVC2.dll +0 -0
  34. data/ext/abc/lib/x64/pthreadVC2.lib +0 -0
  35. data/ext/abc/lib/x86/pthreadVC2.dll +0 -0
  36. data/ext/abc/lib/x86/pthreadVC2.lib +0 -0
  37. data/ext/abc/readme.md +0 -111
  38. data/ext/abc/readmeaig +0 -47
  39. data/ext/abc/src/aig/aig/aig.h +0 -713
  40. data/ext/abc/src/aig/aig/aigCanon.c +0 -701
  41. data/ext/abc/src/aig/aig/aigCheck.c +0 -168
  42. data/ext/abc/src/aig/aig/aigCuts.c +0 -673
  43. data/ext/abc/src/aig/aig/aigDfs.c +0 -1136
  44. data/ext/abc/src/aig/aig/aigDoms.c +0 -1154
  45. data/ext/abc/src/aig/aig/aigDup.c +0 -1335
  46. data/ext/abc/src/aig/aig/aigFact.c +0 -734
  47. data/ext/abc/src/aig/aig/aigFanout.c +0 -194
  48. data/ext/abc/src/aig/aig/aigFrames.c +0 -140
  49. data/ext/abc/src/aig/aig/aigInter.c +0 -301
  50. data/ext/abc/src/aig/aig/aigJust.c +0 -316
  51. data/ext/abc/src/aig/aig/aigMan.c +0 -486
  52. data/ext/abc/src/aig/aig/aigMem.c +0 -610
  53. data/ext/abc/src/aig/aig/aigMffc.c +0 -316
  54. data/ext/abc/src/aig/aig/aigObj.c +0 -536
  55. data/ext/abc/src/aig/aig/aigOper.c +0 -606
  56. data/ext/abc/src/aig/aig/aigOrder.c +0 -176
  57. data/ext/abc/src/aig/aig/aigPack.c +0 -404
  58. data/ext/abc/src/aig/aig/aigPart.c +0 -1613
  59. data/ext/abc/src/aig/aig/aigPartReg.c +0 -629
  60. data/ext/abc/src/aig/aig/aigPartSat.c +0 -618
  61. data/ext/abc/src/aig/aig/aigRepar.c +0 -403
  62. data/ext/abc/src/aig/aig/aigRepr.c +0 -559
  63. data/ext/abc/src/aig/aig/aigRet.c +0 -975
  64. data/ext/abc/src/aig/aig/aigRetF.c +0 -214
  65. data/ext/abc/src/aig/aig/aigScl.c +0 -708
  66. data/ext/abc/src/aig/aig/aigShow.c +0 -368
  67. data/ext/abc/src/aig/aig/aigSplit.c +0 -330
  68. data/ext/abc/src/aig/aig/aigTable.c +0 -277
  69. data/ext/abc/src/aig/aig/aigTest.c +0 -39
  70. data/ext/abc/src/aig/aig/aigTiming.c +0 -356
  71. data/ext/abc/src/aig/aig/aigTruth.c +0 -103
  72. data/ext/abc/src/aig/aig/aigTsim.c +0 -526
  73. data/ext/abc/src/aig/aig/aigUtil.c +0 -1575
  74. data/ext/abc/src/aig/aig/aigWin.c +0 -189
  75. data/ext/abc/src/aig/aig/aig_.c +0 -53
  76. data/ext/abc/src/aig/aig/module.make +0 -31
  77. data/ext/abc/src/aig/gia/gia.c +0 -52
  78. data/ext/abc/src/aig/gia/gia.h +0 -1667
  79. data/ext/abc/src/aig/gia/giaAgi.c +0 -238
  80. data/ext/abc/src/aig/gia/giaAig.c +0 -676
  81. data/ext/abc/src/aig/gia/giaAig.h +0 -78
  82. data/ext/abc/src/aig/gia/giaAiger.c +0 -1479
  83. data/ext/abc/src/aig/gia/giaAigerExt.c +0 -326
  84. data/ext/abc/src/aig/gia/giaBalAig.c +0 -1095
  85. data/ext/abc/src/aig/gia/giaBalLut.c +0 -982
  86. data/ext/abc/src/aig/gia/giaBalMap.c +0 -326
  87. data/ext/abc/src/aig/gia/giaBidec.c +0 -305
  88. data/ext/abc/src/aig/gia/giaCCof.c +0 -349
  89. data/ext/abc/src/aig/gia/giaCSat.c +0 -1105
  90. data/ext/abc/src/aig/gia/giaCSatOld.c +0 -804
  91. data/ext/abc/src/aig/gia/giaCTas.c +0 -1790
  92. data/ext/abc/src/aig/gia/giaCTas2.c +0 -208
  93. data/ext/abc/src/aig/gia/giaCex.c +0 -392
  94. data/ext/abc/src/aig/gia/giaClp.c +0 -422
  95. data/ext/abc/src/aig/gia/giaCof.c +0 -1002
  96. data/ext/abc/src/aig/gia/giaCone.c +0 -590
  97. data/ext/abc/src/aig/gia/giaConstr.c +0 -52
  98. data/ext/abc/src/aig/gia/giaCut.c +0 -646
  99. data/ext/abc/src/aig/gia/giaDfs.c +0 -582
  100. data/ext/abc/src/aig/gia/giaDup.c +0 -4791
  101. data/ext/abc/src/aig/gia/giaEdge.c +0 -1000
  102. data/ext/abc/src/aig/gia/giaEmbed.c +0 -1876
  103. data/ext/abc/src/aig/gia/giaEnable.c +0 -650
  104. data/ext/abc/src/aig/gia/giaEquiv.c +0 -2416
  105. data/ext/abc/src/aig/gia/giaEra.c +0 -602
  106. data/ext/abc/src/aig/gia/giaEra2.c +0 -1963
  107. data/ext/abc/src/aig/gia/giaEsop.c +0 -541
  108. data/ext/abc/src/aig/gia/giaFalse.c +0 -552
  109. data/ext/abc/src/aig/gia/giaFanout.c +0 -338
  110. data/ext/abc/src/aig/gia/giaForce.c +0 -1106
  111. data/ext/abc/src/aig/gia/giaFrames.c +0 -996
  112. data/ext/abc/src/aig/gia/giaFront.c +0 -295
  113. data/ext/abc/src/aig/gia/giaFx.c +0 -487
  114. data/ext/abc/src/aig/gia/giaGiarf.c +0 -1079
  115. data/ext/abc/src/aig/gia/giaGig.c +0 -506
  116. data/ext/abc/src/aig/gia/giaGlitch.c +0 -786
  117. data/ext/abc/src/aig/gia/giaHash.c +0 -816
  118. data/ext/abc/src/aig/gia/giaHcd.c +0 -689
  119. data/ext/abc/src/aig/gia/giaIf.c +0 -2536
  120. data/ext/abc/src/aig/gia/giaIff.c +0 -444
  121. data/ext/abc/src/aig/gia/giaIiff.c +0 -62
  122. data/ext/abc/src/aig/gia/giaIiff.h +0 -54
  123. data/ext/abc/src/aig/gia/giaIso.c +0 -1331
  124. data/ext/abc/src/aig/gia/giaIso2.c +0 -776
  125. data/ext/abc/src/aig/gia/giaIso3.c +0 -167
  126. data/ext/abc/src/aig/gia/giaJf.c +0 -1805
  127. data/ext/abc/src/aig/gia/giaKf.c +0 -1341
  128. data/ext/abc/src/aig/gia/giaLf.c +0 -2301
  129. data/ext/abc/src/aig/gia/giaMan.c +0 -1126
  130. data/ext/abc/src/aig/gia/giaMem.c +0 -598
  131. data/ext/abc/src/aig/gia/giaMf.c +0 -1741
  132. data/ext/abc/src/aig/gia/giaMffc.c +0 -313
  133. data/ext/abc/src/aig/gia/giaMfs.c +0 -477
  134. data/ext/abc/src/aig/gia/giaMini.c +0 -574
  135. data/ext/abc/src/aig/gia/giaMuxes.c +0 -915
  136. data/ext/abc/src/aig/gia/giaNf.c +0 -2420
  137. data/ext/abc/src/aig/gia/giaOf.c +0 -1866
  138. data/ext/abc/src/aig/gia/giaPack.c +0 -207
  139. data/ext/abc/src/aig/gia/giaPat.c +0 -135
  140. data/ext/abc/src/aig/gia/giaPf.c +0 -1354
  141. data/ext/abc/src/aig/gia/giaProp.c +0 -176
  142. data/ext/abc/src/aig/gia/giaQbf.c +0 -701
  143. data/ext/abc/src/aig/gia/giaResub.c +0 -292
  144. data/ext/abc/src/aig/gia/giaRetime.c +0 -304
  145. data/ext/abc/src/aig/gia/giaRex.c +0 -545
  146. data/ext/abc/src/aig/gia/giaSat.c +0 -427
  147. data/ext/abc/src/aig/gia/giaSat3.c +0 -136
  148. data/ext/abc/src/aig/gia/giaSatEdge.c +0 -537
  149. data/ext/abc/src/aig/gia/giaSatLE.c +0 -1083
  150. data/ext/abc/src/aig/gia/giaSatLut.c +0 -1225
  151. data/ext/abc/src/aig/gia/giaSatMap.c +0 -554
  152. data/ext/abc/src/aig/gia/giaSatoko.c +0 -274
  153. data/ext/abc/src/aig/gia/giaScl.c +0 -300
  154. data/ext/abc/src/aig/gia/giaScript.c +0 -783
  155. data/ext/abc/src/aig/gia/giaShow.c +0 -1164
  156. data/ext/abc/src/aig/gia/giaShrink.c +0 -154
  157. data/ext/abc/src/aig/gia/giaShrink6.c +0 -492
  158. data/ext/abc/src/aig/gia/giaShrink7.c +0 -373
  159. data/ext/abc/src/aig/gia/giaSim.c +0 -905
  160. data/ext/abc/src/aig/gia/giaSim2.c +0 -706
  161. data/ext/abc/src/aig/gia/giaSort.c +0 -273
  162. data/ext/abc/src/aig/gia/giaSpeedup.c +0 -805
  163. data/ext/abc/src/aig/gia/giaSplit.c +0 -578
  164. data/ext/abc/src/aig/gia/giaStg.c +0 -528
  165. data/ext/abc/src/aig/gia/giaStr.c +0 -1865
  166. data/ext/abc/src/aig/gia/giaSupMin.c +0 -165
  167. data/ext/abc/src/aig/gia/giaSupp.c +0 -886
  168. data/ext/abc/src/aig/gia/giaSweep.c +0 -777
  169. data/ext/abc/src/aig/gia/giaSweeper.c +0 -1185
  170. data/ext/abc/src/aig/gia/giaSwitch.c +0 -829
  171. data/ext/abc/src/aig/gia/giaTim.c +0 -1017
  172. data/ext/abc/src/aig/gia/giaTis.c +0 -213
  173. data/ext/abc/src/aig/gia/giaTruth.c +0 -639
  174. data/ext/abc/src/aig/gia/giaTsim.c +0 -757
  175. data/ext/abc/src/aig/gia/giaUnate.c +0 -255
  176. data/ext/abc/src/aig/gia/giaUtil.c +0 -2136
  177. data/ext/abc/src/aig/gia/module.make +0 -89
  178. data/ext/abc/src/aig/hop/cudd2.c +0 -360
  179. data/ext/abc/src/aig/hop/cudd2.h +0 -86
  180. data/ext/abc/src/aig/hop/hop.h +0 -356
  181. data/ext/abc/src/aig/hop/hopBalance.c +0 -401
  182. data/ext/abc/src/aig/hop/hopCheck.c +0 -115
  183. data/ext/abc/src/aig/hop/hopDfs.c +0 -591
  184. data/ext/abc/src/aig/hop/hopMan.c +0 -169
  185. data/ext/abc/src/aig/hop/hopMem.c +0 -120
  186. data/ext/abc/src/aig/hop/hopObj.c +0 -277
  187. data/ext/abc/src/aig/hop/hopOper.c +0 -378
  188. data/ext/abc/src/aig/hop/hopTable.c +0 -232
  189. data/ext/abc/src/aig/hop/hopTruth.c +0 -274
  190. data/ext/abc/src/aig/hop/hopUtil.c +0 -578
  191. data/ext/abc/src/aig/hop/hop_.c +0 -53
  192. data/ext/abc/src/aig/hop/module.make +0 -10
  193. data/ext/abc/src/aig/ioa/ioa.h +0 -87
  194. data/ext/abc/src/aig/ioa/ioaReadAig.c +0 -465
  195. data/ext/abc/src/aig/ioa/ioaUtil.c +0 -146
  196. data/ext/abc/src/aig/ioa/ioaWriteAig.c +0 -599
  197. data/ext/abc/src/aig/ioa/module.make +0 -3
  198. data/ext/abc/src/aig/ivy/attr.h +0 -418
  199. data/ext/abc/src/aig/ivy/ivy.h +0 -562
  200. data/ext/abc/src/aig/ivy/ivyBalance.c +0 -414
  201. data/ext/abc/src/aig/ivy/ivyCanon.c +0 -149
  202. data/ext/abc/src/aig/ivy/ivyCheck.c +0 -278
  203. data/ext/abc/src/aig/ivy/ivyCut.c +0 -995
  204. data/ext/abc/src/aig/ivy/ivyCutTrav.c +0 -478
  205. data/ext/abc/src/aig/ivy/ivyDfs.c +0 -498
  206. data/ext/abc/src/aig/ivy/ivyDsd.c +0 -831
  207. data/ext/abc/src/aig/ivy/ivyFanout.c +0 -314
  208. data/ext/abc/src/aig/ivy/ivyFastMap.c +0 -1569
  209. data/ext/abc/src/aig/ivy/ivyFraig.c +0 -2972
  210. data/ext/abc/src/aig/ivy/ivyHaig.c +0 -535
  211. data/ext/abc/src/aig/ivy/ivyMan.c +0 -552
  212. data/ext/abc/src/aig/ivy/ivyMem.c +0 -121
  213. data/ext/abc/src/aig/ivy/ivyMulti.c +0 -312
  214. data/ext/abc/src/aig/ivy/ivyMulti8.c +0 -432
  215. data/ext/abc/src/aig/ivy/ivyObj.c +0 -481
  216. data/ext/abc/src/aig/ivy/ivyOper.c +0 -298
  217. data/ext/abc/src/aig/ivy/ivyResyn.c +0 -201
  218. data/ext/abc/src/aig/ivy/ivyRwr.c +0 -618
  219. data/ext/abc/src/aig/ivy/ivyRwrAlg.c +0 -413
  220. data/ext/abc/src/aig/ivy/ivySeq.c +0 -1142
  221. data/ext/abc/src/aig/ivy/ivyShow.c +0 -343
  222. data/ext/abc/src/aig/ivy/ivyTable.c +0 -272
  223. data/ext/abc/src/aig/ivy/ivyUtil.c +0 -824
  224. data/ext/abc/src/aig/ivy/ivy_.c +0 -53
  225. data/ext/abc/src/aig/ivy/module.make +0 -22
  226. data/ext/abc/src/aig/miniaig/abcOper.h +0 -249
  227. data/ext/abc/src/aig/miniaig/miniaig.h +0 -346
  228. data/ext/abc/src/aig/miniaig/minilut.h +0 -288
  229. data/ext/abc/src/aig/miniaig/module.make +0 -1
  230. data/ext/abc/src/aig/miniaig/ndr.h +0 -521
  231. data/ext/abc/src/aig/saig/module.make +0 -26
  232. data/ext/abc/src/aig/saig/saig.h +0 -200
  233. data/ext/abc/src/aig/saig/saigCone.c +0 -181
  234. data/ext/abc/src/aig/saig/saigConstr.c +0 -484
  235. data/ext/abc/src/aig/saig/saigConstr2.c +0 -1013
  236. data/ext/abc/src/aig/saig/saigDual.c +0 -240
  237. data/ext/abc/src/aig/saig/saigDup.c +0 -600
  238. data/ext/abc/src/aig/saig/saigGlaCba.c +0 -840
  239. data/ext/abc/src/aig/saig/saigGlaPba.c +0 -589
  240. data/ext/abc/src/aig/saig/saigGlaPba2.c +0 -558
  241. data/ext/abc/src/aig/saig/saigInd.c +0 -409
  242. data/ext/abc/src/aig/saig/saigIoa.c +0 -405
  243. data/ext/abc/src/aig/saig/saigIso.c +0 -628
  244. data/ext/abc/src/aig/saig/saigIsoFast.c +0 -353
  245. data/ext/abc/src/aig/saig/saigIsoSlow.c +0 -1224
  246. data/ext/abc/src/aig/saig/saigMiter.c +0 -1317
  247. data/ext/abc/src/aig/saig/saigOutDec.c +0 -205
  248. data/ext/abc/src/aig/saig/saigPhase.c +0 -1081
  249. data/ext/abc/src/aig/saig/saigRefSat.c +0 -986
  250. data/ext/abc/src/aig/saig/saigRetFwd.c +0 -248
  251. data/ext/abc/src/aig/saig/saigRetMin.c +0 -705
  252. data/ext/abc/src/aig/saig/saigRetStep.c +0 -236
  253. data/ext/abc/src/aig/saig/saigScl.c +0 -115
  254. data/ext/abc/src/aig/saig/saigSimFast.c +0 -451
  255. data/ext/abc/src/aig/saig/saigSimMv.c +0 -956
  256. data/ext/abc/src/aig/saig/saigSimSeq.c +0 -518
  257. data/ext/abc/src/aig/saig/saigStrSim.c +0 -976
  258. data/ext/abc/src/aig/saig/saigSwitch.c +0 -573
  259. data/ext/abc/src/aig/saig/saigSynch.c +0 -665
  260. data/ext/abc/src/aig/saig/saigTempor.c +0 -256
  261. data/ext/abc/src/aig/saig/saigTrans.c +0 -428
  262. data/ext/abc/src/aig/saig/saigUnfold2.c +0 -497
  263. data/ext/abc/src/aig/saig/saigWnd.c +0 -816
  264. data/ext/abc/src/aig/saig/saig_.c +0 -52
  265. data/ext/abc/src/base/abc/abc.h +0 -1064
  266. data/ext/abc/src/base/abc/abcAig.c +0 -1505
  267. data/ext/abc/src/base/abc/abcBarBuf.c +0 -513
  268. data/ext/abc/src/base/abc/abcBlifMv.c +0 -1167
  269. data/ext/abc/src/base/abc/abcCheck.c +0 -953
  270. data/ext/abc/src/base/abc/abcDfs.c +0 -1910
  271. data/ext/abc/src/base/abc/abcFanOrder.c +0 -652
  272. data/ext/abc/src/base/abc/abcFanio.c +0 -366
  273. data/ext/abc/src/base/abc/abcFunc.c +0 -1273
  274. data/ext/abc/src/base/abc/abcHie.c +0 -843
  275. data/ext/abc/src/base/abc/abcHieCec.c +0 -764
  276. data/ext/abc/src/base/abc/abcHieGia.c +0 -582
  277. data/ext/abc/src/base/abc/abcHieNew.c +0 -1635
  278. data/ext/abc/src/base/abc/abcInt.h +0 -60
  279. data/ext/abc/src/base/abc/abcLatch.c +0 -778
  280. data/ext/abc/src/base/abc/abcLib.c +0 -400
  281. data/ext/abc/src/base/abc/abcMinBase.c +0 -841
  282. data/ext/abc/src/base/abc/abcNames.c +0 -802
  283. data/ext/abc/src/base/abc/abcNetlist.c +0 -511
  284. data/ext/abc/src/base/abc/abcNtk.c +0 -2298
  285. data/ext/abc/src/base/abc/abcObj.c +0 -1075
  286. data/ext/abc/src/base/abc/abcRefs.c +0 -457
  287. data/ext/abc/src/base/abc/abcShow.c +0 -458
  288. data/ext/abc/src/base/abc/abcSop.c +0 -1356
  289. data/ext/abc/src/base/abc/abcUtil.c +0 -3269
  290. data/ext/abc/src/base/abc/abc_.c +0 -52
  291. data/ext/abc/src/base/abc/module.make +0 -23
  292. data/ext/abc/src/base/abci/abc.c +0 -44490
  293. data/ext/abc/src/base/abci/abcAttach.c +0 -409
  294. data/ext/abc/src/base/abci/abcAuto.c +0 -256
  295. data/ext/abc/src/base/abci/abcBalance.c +0 -629
  296. data/ext/abc/src/base/abci/abcBidec.c +0 -156
  297. data/ext/abc/src/base/abci/abcBm.c +0 -2050
  298. data/ext/abc/src/base/abci/abcBmc.c +0 -122
  299. data/ext/abc/src/base/abci/abcCas.c +0 -128
  300. data/ext/abc/src/base/abci/abcCascade.c +0 -1062
  301. data/ext/abc/src/base/abci/abcCollapse.c +0 -957
  302. data/ext/abc/src/base/abci/abcCut.c +0 -700
  303. data/ext/abc/src/base/abci/abcDar.c +0 -4807
  304. data/ext/abc/src/base/abci/abcDarUnfold2.c +0 -69
  305. data/ext/abc/src/base/abci/abcDebug.c +0 -213
  306. data/ext/abc/src/base/abci/abcDec.c +0 -666
  307. data/ext/abc/src/base/abci/abcDetect.c +0 -1264
  308. data/ext/abc/src/base/abci/abcDress.c +0 -214
  309. data/ext/abc/src/base/abci/abcDress2.c +0 -500
  310. data/ext/abc/src/base/abci/abcDress3.c +0 -320
  311. data/ext/abc/src/base/abci/abcDsd.c +0 -710
  312. data/ext/abc/src/base/abci/abcEco.c +0 -58
  313. data/ext/abc/src/base/abci/abcEspresso.c +0 -255
  314. data/ext/abc/src/base/abci/abcExact.c +0 -3024
  315. data/ext/abc/src/base/abci/abcExtract.c +0 -752
  316. data/ext/abc/src/base/abci/abcFlop.c +0 -40
  317. data/ext/abc/src/base/abci/abcFpga.c +0 -288
  318. data/ext/abc/src/base/abci/abcFpgaFast.c +0 -195
  319. data/ext/abc/src/base/abci/abcFraig.c +0 -816
  320. data/ext/abc/src/base/abci/abcFx.c +0 -1207
  321. data/ext/abc/src/base/abci/abcFxu.c +0 -292
  322. data/ext/abc/src/base/abci/abcGen.c +0 -830
  323. data/ext/abc/src/base/abci/abcHaig.c +0 -557
  324. data/ext/abc/src/base/abci/abcIf.c +0 -830
  325. data/ext/abc/src/base/abci/abcIfMux.c +0 -422
  326. data/ext/abc/src/base/abci/abcIfif.c +0 -349
  327. data/ext/abc/src/base/abci/abcIvy.c +0 -1149
  328. data/ext/abc/src/base/abci/abcLog.c +0 -242
  329. data/ext/abc/src/base/abci/abcLut.c +0 -793
  330. data/ext/abc/src/base/abci/abcLutmin.c +0 -785
  331. data/ext/abc/src/base/abci/abcMap.c +0 -1064
  332. data/ext/abc/src/base/abci/abcMeasure.c +0 -483
  333. data/ext/abc/src/base/abci/abcMerge.c +0 -358
  334. data/ext/abc/src/base/abci/abcMffc.c +0 -1252
  335. data/ext/abc/src/base/abci/abcMfs.c +0 -469
  336. data/ext/abc/src/base/abci/abcMini.c +0 -237
  337. data/ext/abc/src/base/abci/abcMiter.c +0 -1196
  338. data/ext/abc/src/base/abci/abcMulti.c +0 -660
  339. data/ext/abc/src/base/abci/abcMv.c +0 -381
  340. data/ext/abc/src/base/abci/abcNpn.c +0 -392
  341. data/ext/abc/src/base/abci/abcNpnSave.c +0 -740
  342. data/ext/abc/src/base/abci/abcNtbdd.c +0 -619
  343. data/ext/abc/src/base/abci/abcOdc.c +0 -1132
  344. data/ext/abc/src/base/abci/abcOrder.c +0 -136
  345. data/ext/abc/src/base/abci/abcPart.c +0 -1206
  346. data/ext/abc/src/base/abci/abcPlace.c +0 -260
  347. data/ext/abc/src/base/abci/abcPrint.c +0 -2008
  348. data/ext/abc/src/base/abci/abcProve.c +0 -354
  349. data/ext/abc/src/base/abci/abcQbf.c +0 -319
  350. data/ext/abc/src/base/abci/abcQuant.c +0 -436
  351. data/ext/abc/src/base/abci/abcReach.c +0 -327
  352. data/ext/abc/src/base/abci/abcRec3.c +0 -1433
  353. data/ext/abc/src/base/abci/abcReconv.c +0 -776
  354. data/ext/abc/src/base/abci/abcRefactor.c +0 -418
  355. data/ext/abc/src/base/abci/abcRenode.c +0 -326
  356. data/ext/abc/src/base/abci/abcReorder.c +0 -117
  357. data/ext/abc/src/base/abci/abcRestruct.c +0 -1511
  358. data/ext/abc/src/base/abci/abcResub.c +0 -1957
  359. data/ext/abc/src/base/abci/abcRewrite.c +0 -420
  360. data/ext/abc/src/base/abci/abcRpo.c +0 -442
  361. data/ext/abc/src/base/abci/abcRr.c +0 -1005
  362. data/ext/abc/src/base/abci/abcSat.c +0 -1020
  363. data/ext/abc/src/base/abci/abcSaucy.c +0 -3346
  364. data/ext/abc/src/base/abci/abcScorr.c +0 -454
  365. data/ext/abc/src/base/abci/abcSense.c +0 -216
  366. data/ext/abc/src/base/abci/abcSpeedup.c +0 -965
  367. data/ext/abc/src/base/abci/abcStrash.c +0 -848
  368. data/ext/abc/src/base/abci/abcSweep.c +0 -1030
  369. data/ext/abc/src/base/abci/abcSymm.c +0 -246
  370. data/ext/abc/src/base/abci/abcTim.c +0 -637
  371. data/ext/abc/src/base/abci/abcTiming.c +0 -1398
  372. data/ext/abc/src/base/abci/abcUnate.c +0 -178
  373. data/ext/abc/src/base/abci/abcUnreach.c +0 -366
  374. data/ext/abc/src/base/abci/abcVerify.c +0 -1109
  375. data/ext/abc/src/base/abci/abcXsim.c +0 -231
  376. data/ext/abc/src/base/abci/abciUnfold2.c +0 -186
  377. data/ext/abc/src/base/abci/fahout_cut.c +0 -358
  378. data/ext/abc/src/base/abci/module.make +0 -75
  379. data/ext/abc/src/base/acb/acb.c +0 -52
  380. data/ext/abc/src/base/acb/acb.h +0 -1038
  381. data/ext/abc/src/base/acb/acbAbc.c +0 -302
  382. data/ext/abc/src/base/acb/acbAig.c +0 -52
  383. data/ext/abc/src/base/acb/acbCom.c +0 -735
  384. data/ext/abc/src/base/acb/acbFunc.c +0 -56
  385. data/ext/abc/src/base/acb/acbMfs.c +0 -1644
  386. data/ext/abc/src/base/acb/acbPar.h +0 -70
  387. data/ext/abc/src/base/acb/acbPush.c +0 -372
  388. data/ext/abc/src/base/acb/acbSets.c +0 -54
  389. data/ext/abc/src/base/acb/acbSets.h +0 -61
  390. data/ext/abc/src/base/acb/acbUtil.c +0 -479
  391. data/ext/abc/src/base/acb/module.make +0 -8
  392. data/ext/abc/src/base/bac/bac.c +0 -52
  393. data/ext/abc/src/base/bac/bac.h +0 -1017
  394. data/ext/abc/src/base/bac/bacBac.c +0 -298
  395. data/ext/abc/src/base/bac/bacBlast.c +0 -587
  396. data/ext/abc/src/base/bac/bacCom.c +0 -728
  397. data/ext/abc/src/base/bac/bacLib.c +0 -52
  398. data/ext/abc/src/base/bac/bacNtk.c +0 -603
  399. data/ext/abc/src/base/bac/bacOper.c +0 -365
  400. data/ext/abc/src/base/bac/bacPrs.h +0 -363
  401. data/ext/abc/src/base/bac/bacPrsBuild.c +0 -356
  402. data/ext/abc/src/base/bac/bacPrsTrans.c +0 -211
  403. data/ext/abc/src/base/bac/bacPtr.c +0 -470
  404. data/ext/abc/src/base/bac/bacPtrAbc.c +0 -486
  405. data/ext/abc/src/base/bac/bacReadBlif.c +0 -453
  406. data/ext/abc/src/base/bac/bacReadSmt.c +0 -42
  407. data/ext/abc/src/base/bac/bacReadVer.c +0 -875
  408. data/ext/abc/src/base/bac/bacWriteBlif.c +0 -236
  409. data/ext/abc/src/base/bac/bacWriteSmt.c +0 -52
  410. data/ext/abc/src/base/bac/bacWriteVer.c +0 -703
  411. data/ext/abc/src/base/bac/module.make +0 -15
  412. data/ext/abc/src/base/cba/cba.c +0 -52
  413. data/ext/abc/src/base/cba/cba.h +0 -1024
  414. data/ext/abc/src/base/cba/cbaBlast.c +0 -1069
  415. data/ext/abc/src/base/cba/cbaCba.c +0 -58
  416. data/ext/abc/src/base/cba/cbaCom.c +0 -731
  417. data/ext/abc/src/base/cba/cbaNtk.c +0 -1183
  418. data/ext/abc/src/base/cba/cbaPrs.h +0 -520
  419. data/ext/abc/src/base/cba/cbaReadBlif.c +0 -646
  420. data/ext/abc/src/base/cba/cbaReadVer.c +0 -2182
  421. data/ext/abc/src/base/cba/cbaTypes.h +0 -169
  422. data/ext/abc/src/base/cba/cbaWriteBlif.c +0 -218
  423. data/ext/abc/src/base/cba/cbaWriteVer.c +0 -1016
  424. data/ext/abc/src/base/cba/module.make +0 -8
  425. data/ext/abc/src/base/cmd/cmd.c +0 -2611
  426. data/ext/abc/src/base/cmd/cmd.h +0 -81
  427. data/ext/abc/src/base/cmd/cmdAlias.c +0 -126
  428. data/ext/abc/src/base/cmd/cmdApi.c +0 -127
  429. data/ext/abc/src/base/cmd/cmdAuto.c +0 -684
  430. data/ext/abc/src/base/cmd/cmdFlag.c +0 -110
  431. data/ext/abc/src/base/cmd/cmdHist.c +0 -180
  432. data/ext/abc/src/base/cmd/cmdInt.h +0 -92
  433. data/ext/abc/src/base/cmd/cmdLoad.c +0 -209
  434. data/ext/abc/src/base/cmd/cmdPlugin.c +0 -773
  435. data/ext/abc/src/base/cmd/cmdStarter.c +0 -259
  436. data/ext/abc/src/base/cmd/cmdUtils.c +0 -756
  437. data/ext/abc/src/base/cmd/module.make +0 -10
  438. data/ext/abc/src/base/exor/exor.c +0 -958
  439. data/ext/abc/src/base/exor/exor.h +0 -189
  440. data/ext/abc/src/base/exor/exorBits.c +0 -425
  441. data/ext/abc/src/base/exor/exorCubes.c +0 -190
  442. data/ext/abc/src/base/exor/exorLink.c +0 -749
  443. data/ext/abc/src/base/exor/exorList.c +0 -1156
  444. data/ext/abc/src/base/exor/exorUtil.c +0 -228
  445. data/ext/abc/src/base/exor/module.make +0 -6
  446. data/ext/abc/src/base/io/io.c +0 -3157
  447. data/ext/abc/src/base/io/ioAbc.h +0 -172
  448. data/ext/abc/src/base/io/ioInt.h +0 -57
  449. data/ext/abc/src/base/io/ioJson.c +0 -270
  450. data/ext/abc/src/base/io/ioReadAiger.c +0 -599
  451. data/ext/abc/src/base/io/ioReadBaf.c +0 -177
  452. data/ext/abc/src/base/io/ioReadBblif.c +0 -348
  453. data/ext/abc/src/base/io/ioReadBench.c +0 -391
  454. data/ext/abc/src/base/io/ioReadBlif.c +0 -1707
  455. data/ext/abc/src/base/io/ioReadBlifAig.c +0 -1019
  456. data/ext/abc/src/base/io/ioReadBlifMv.c +0 -2363
  457. data/ext/abc/src/base/io/ioReadDsd.c +0 -313
  458. data/ext/abc/src/base/io/ioReadEdif.c +0 -240
  459. data/ext/abc/src/base/io/ioReadEqn.c +0 -244
  460. data/ext/abc/src/base/io/ioReadPla.c +0 -600
  461. data/ext/abc/src/base/io/ioReadPlaMo.c +0 -813
  462. data/ext/abc/src/base/io/ioReadVerilog.c +0 -102
  463. data/ext/abc/src/base/io/ioUtil.c +0 -871
  464. data/ext/abc/src/base/io/ioWriteAiger.c +0 -956
  465. data/ext/abc/src/base/io/ioWriteBaf.c +0 -173
  466. data/ext/abc/src/base/io/ioWriteBblif.c +0 -116
  467. data/ext/abc/src/base/io/ioWriteBench.c +0 -340
  468. data/ext/abc/src/base/io/ioWriteBlif.c +0 -1410
  469. data/ext/abc/src/base/io/ioWriteBlifMv.c +0 -476
  470. data/ext/abc/src/base/io/ioWriteBook.c +0 -998
  471. data/ext/abc/src/base/io/ioWriteCnf.c +0 -120
  472. data/ext/abc/src/base/io/ioWriteDot.c +0 -854
  473. data/ext/abc/src/base/io/ioWriteEqn.c +0 -257
  474. data/ext/abc/src/base/io/ioWriteGml.c +0 -121
  475. data/ext/abc/src/base/io/ioWriteList.c +0 -293
  476. data/ext/abc/src/base/io/ioWritePla.c +0 -460
  477. data/ext/abc/src/base/io/ioWriteSmv.c +0 -265
  478. data/ext/abc/src/base/io/ioWriteVerilog.c +0 -662
  479. data/ext/abc/src/base/io/module.make +0 -31
  480. data/ext/abc/src/base/main/abcapis.h +0 -106
  481. data/ext/abc/src/base/main/abcapis_old.h +0 -84
  482. data/ext/abc/src/base/main/libSupport.c +0 -211
  483. data/ext/abc/src/base/main/main.c +0 -12
  484. data/ext/abc/src/base/main/main.h +0 -171
  485. data/ext/abc/src/base/main/mainFrame.c +0 -742
  486. data/ext/abc/src/base/main/mainInit.c +0 -168
  487. data/ext/abc/src/base/main/mainInt.h +0 -207
  488. data/ext/abc/src/base/main/mainLib.c +0 -93
  489. data/ext/abc/src/base/main/mainMC.c +0 -203
  490. data/ext/abc/src/base/main/mainReal.c +0 -386
  491. data/ext/abc/src/base/main/mainUtils.c +0 -294
  492. data/ext/abc/src/base/main/module.make +0 -7
  493. data/ext/abc/src/base/pla/module.make +0 -7
  494. data/ext/abc/src/base/pla/pla.c +0 -52
  495. data/ext/abc/src/base/pla/pla.h +0 -297
  496. data/ext/abc/src/base/pla/plaCom.c +0 -507
  497. data/ext/abc/src/base/pla/plaFxch.c +0 -854
  498. data/ext/abc/src/base/pla/plaHash.c +0 -347
  499. data/ext/abc/src/base/pla/plaMan.c +0 -300
  500. data/ext/abc/src/base/pla/plaMerge.c +0 -55
  501. data/ext/abc/src/base/pla/plaRead.c +0 -224
  502. data/ext/abc/src/base/pla/plaSimple.c +0 -339
  503. data/ext/abc/src/base/pla/plaWrite.c +0 -112
  504. data/ext/abc/src/base/test/module.make +0 -1
  505. data/ext/abc/src/base/test/test.c +0 -70
  506. data/ext/abc/src/base/ver/module.make +0 -4
  507. data/ext/abc/src/base/ver/ver.h +0 -122
  508. data/ext/abc/src/base/ver/verCore.c +0 -3037
  509. data/ext/abc/src/base/ver/verFormula.c +0 -479
  510. data/ext/abc/src/base/ver/verParse.c +0 -131
  511. data/ext/abc/src/base/ver/verStream.c +0 -450
  512. data/ext/abc/src/base/ver/verWords.c +0 -53
  513. data/ext/abc/src/base/ver/ver_.c +0 -53
  514. data/ext/abc/src/base/wlc/module.make +0 -17
  515. data/ext/abc/src/base/wlc/wlc.c +0 -274
  516. data/ext/abc/src/base/wlc/wlc.h +0 -392
  517. data/ext/abc/src/base/wlc/wlcAbc.c +0 -275
  518. data/ext/abc/src/base/wlc/wlcAbs.c +0 -1912
  519. data/ext/abc/src/base/wlc/wlcAbs2.c +0 -410
  520. data/ext/abc/src/base/wlc/wlcBlast.c +0 -1692
  521. data/ext/abc/src/base/wlc/wlcCom.c +0 -1559
  522. data/ext/abc/src/base/wlc/wlcGraft.c +0 -573
  523. data/ext/abc/src/base/wlc/wlcJson.c +0 -54
  524. data/ext/abc/src/base/wlc/wlcNtk.c +0 -1268
  525. data/ext/abc/src/base/wlc/wlcPth.c +0 -173
  526. data/ext/abc/src/base/wlc/wlcReadSmt.c +0 -1784
  527. data/ext/abc/src/base/wlc/wlcReadVer.c +0 -1308
  528. data/ext/abc/src/base/wlc/wlcShow.c +0 -337
  529. data/ext/abc/src/base/wlc/wlcSim.c +0 -251
  530. data/ext/abc/src/base/wlc/wlcStdin.c +0 -255
  531. data/ext/abc/src/base/wlc/wlcUif.c +0 -290
  532. data/ext/abc/src/base/wlc/wlcWin.c +0 -166
  533. data/ext/abc/src/base/wlc/wlcWriteVer.c +0 -450
  534. data/ext/abc/src/bdd/bbr/bbr.h +0 -93
  535. data/ext/abc/src/bdd/bbr/bbrCex.c +0 -172
  536. data/ext/abc/src/bdd/bbr/bbrImage.c +0 -1327
  537. data/ext/abc/src/bdd/bbr/bbrNtbdd.c +0 -218
  538. data/ext/abc/src/bdd/bbr/bbrReach.c +0 -615
  539. data/ext/abc/src/bdd/bbr/bbr_.c +0 -52
  540. data/ext/abc/src/bdd/bbr/module.make +0 -4
  541. data/ext/abc/src/bdd/cas/cas.h +0 -66
  542. data/ext/abc/src/bdd/cas/casCore.c +0 -1265
  543. data/ext/abc/src/bdd/cas/casDec.c +0 -512
  544. data/ext/abc/src/bdd/cas/module.make +0 -3
  545. data/ext/abc/src/bdd/cudd/Makefile +0 -124
  546. data/ext/abc/src/bdd/cudd/cuBdd.make +0 -41
  547. data/ext/abc/src/bdd/cudd/cudd.h +0 -1054
  548. data/ext/abc/src/bdd/cudd/cudd.make +0 -42
  549. data/ext/abc/src/bdd/cudd/cuddAPI.c +0 -4444
  550. data/ext/abc/src/bdd/cudd/cuddAddAbs.c +0 -588
  551. data/ext/abc/src/bdd/cudd/cuddAddApply.c +0 -949
  552. data/ext/abc/src/bdd/cudd/cuddAddFind.c +0 -316
  553. data/ext/abc/src/bdd/cudd/cuddAddInv.c +0 -209
  554. data/ext/abc/src/bdd/cudd/cuddAddIte.c +0 -647
  555. data/ext/abc/src/bdd/cudd/cuddAddNeg.c +0 -296
  556. data/ext/abc/src/bdd/cudd/cuddAddWalsh.c +0 -399
  557. data/ext/abc/src/bdd/cudd/cuddAndAbs.c +0 -384
  558. data/ext/abc/src/bdd/cudd/cuddAnneal.c +0 -822
  559. data/ext/abc/src/bdd/cudd/cuddApa.c +0 -979
  560. data/ext/abc/src/bdd/cudd/cuddApprox.c +0 -2213
  561. data/ext/abc/src/bdd/cudd/cuddBddAbs.c +0 -725
  562. data/ext/abc/src/bdd/cudd/cuddBddCorr.c +0 -515
  563. data/ext/abc/src/bdd/cudd/cuddBddIte.c +0 -1328
  564. data/ext/abc/src/bdd/cudd/cuddBridge.c +0 -1021
  565. data/ext/abc/src/bdd/cudd/cuddCache.c +0 -1100
  566. data/ext/abc/src/bdd/cudd/cuddCheck.c +0 -887
  567. data/ext/abc/src/bdd/cudd/cuddClip.c +0 -566
  568. data/ext/abc/src/bdd/cudd/cuddCof.c +0 -335
  569. data/ext/abc/src/bdd/cudd/cuddCompose.c +0 -1760
  570. data/ext/abc/src/bdd/cudd/cuddDecomp.c +0 -2185
  571. data/ext/abc/src/bdd/cudd/cuddEssent.c +0 -1475
  572. data/ext/abc/src/bdd/cudd/cuddExact.c +0 -1028
  573. data/ext/abc/src/bdd/cudd/cuddExport.c +0 -1384
  574. data/ext/abc/src/bdd/cudd/cuddGenCof.c +0 -2175
  575. data/ext/abc/src/bdd/cudd/cuddGenetic.c +0 -957
  576. data/ext/abc/src/bdd/cudd/cuddGroup.c +0 -2173
  577. data/ext/abc/src/bdd/cudd/cuddHarwell.c +0 -576
  578. data/ext/abc/src/bdd/cudd/cuddInit.c +0 -319
  579. data/ext/abc/src/bdd/cudd/cuddInt.h +0 -1232
  580. data/ext/abc/src/bdd/cudd/cuddInteract.c +0 -437
  581. data/ext/abc/src/bdd/cudd/cuddLCache.c +0 -1465
  582. data/ext/abc/src/bdd/cudd/cuddLevelQ.c +0 -569
  583. data/ext/abc/src/bdd/cudd/cuddLinear.c +0 -1373
  584. data/ext/abc/src/bdd/cudd/cuddLiteral.c +0 -272
  585. data/ext/abc/src/bdd/cudd/cuddMatMult.c +0 -715
  586. data/ext/abc/src/bdd/cudd/cuddPriority.c +0 -2035
  587. data/ext/abc/src/bdd/cudd/cuddRead.c +0 -525
  588. data/ext/abc/src/bdd/cudd/cuddRef.c +0 -816
  589. data/ext/abc/src/bdd/cudd/cuddReorder.c +0 -2143
  590. data/ext/abc/src/bdd/cudd/cuddSat.c +0 -1338
  591. data/ext/abc/src/bdd/cudd/cuddSign.c +0 -326
  592. data/ext/abc/src/bdd/cudd/cuddSolve.c +0 -374
  593. data/ext/abc/src/bdd/cudd/cuddSplit.c +0 -694
  594. data/ext/abc/src/bdd/cudd/cuddSubsetHB.c +0 -1337
  595. data/ext/abc/src/bdd/cudd/cuddSubsetSP.c +0 -1657
  596. data/ext/abc/src/bdd/cudd/cuddSymmetry.c +0 -1706
  597. data/ext/abc/src/bdd/cudd/cuddTable.c +0 -3179
  598. data/ext/abc/src/bdd/cudd/cuddUtil.c +0 -3929
  599. data/ext/abc/src/bdd/cudd/cuddWindow.c +0 -1031
  600. data/ext/abc/src/bdd/cudd/cuddZddCount.c +0 -357
  601. data/ext/abc/src/bdd/cudd/cuddZddFuncs.c +0 -1638
  602. data/ext/abc/src/bdd/cudd/cuddZddGroup.c +0 -1344
  603. data/ext/abc/src/bdd/cudd/cuddZddIsop.c +0 -919
  604. data/ext/abc/src/bdd/cudd/cuddZddLin.c +0 -975
  605. data/ext/abc/src/bdd/cudd/cuddZddMisc.c +0 -286
  606. data/ext/abc/src/bdd/cudd/cuddZddPort.c +0 -389
  607. data/ext/abc/src/bdd/cudd/cuddZddReord.c +0 -1668
  608. data/ext/abc/src/bdd/cudd/cuddZddSetop.c +0 -1166
  609. data/ext/abc/src/bdd/cudd/cuddZddSymm.c +0 -1707
  610. data/ext/abc/src/bdd/cudd/cuddZddUtil.c +0 -1071
  611. data/ext/abc/src/bdd/cudd/license +0 -32
  612. data/ext/abc/src/bdd/cudd/module.make +0 -61
  613. data/ext/abc/src/bdd/cudd/r7x8.1.mat +0 -53
  614. data/ext/abc/src/bdd/cudd/r7x8.1.out +0 -377
  615. data/ext/abc/src/bdd/cudd/testcudd.c +0 -1073
  616. data/ext/abc/src/bdd/dsd/dsd.h +0 -134
  617. data/ext/abc/src/bdd/dsd/dsdApi.c +0 -102
  618. data/ext/abc/src/bdd/dsd/dsdCheck.c +0 -319
  619. data/ext/abc/src/bdd/dsd/dsdInt.h +0 -99
  620. data/ext/abc/src/bdd/dsd/dsdLocal.c +0 -342
  621. data/ext/abc/src/bdd/dsd/dsdMan.c +0 -119
  622. data/ext/abc/src/bdd/dsd/dsdProc.c +0 -1613
  623. data/ext/abc/src/bdd/dsd/dsdTree.c +0 -1181
  624. data/ext/abc/src/bdd/dsd/module.make +0 -6
  625. data/ext/abc/src/bdd/epd/epd.c +0 -1347
  626. data/ext/abc/src/bdd/epd/epd.h +0 -196
  627. data/ext/abc/src/bdd/epd/module.make +0 -1
  628. data/ext/abc/src/bdd/extrab/extraBdd.h +0 -317
  629. data/ext/abc/src/bdd/extrab/extraBddAuto.c +0 -1563
  630. data/ext/abc/src/bdd/extrab/extraBddCas.c +0 -1235
  631. data/ext/abc/src/bdd/extrab/extraBddImage.c +0 -1162
  632. data/ext/abc/src/bdd/extrab/extraBddKmap.c +0 -876
  633. data/ext/abc/src/bdd/extrab/extraBddMisc.c +0 -2591
  634. data/ext/abc/src/bdd/extrab/extraBddSymm.c +0 -1474
  635. data/ext/abc/src/bdd/extrab/extraBddThresh.c +0 -693
  636. data/ext/abc/src/bdd/extrab/extraBddTime.c +0 -660
  637. data/ext/abc/src/bdd/extrab/extraBddUnate.c +0 -646
  638. data/ext/abc/src/bdd/extrab/module.make +0 -9
  639. data/ext/abc/src/bdd/llb/llb.c +0 -52
  640. data/ext/abc/src/bdd/llb/llb.h +0 -96
  641. data/ext/abc/src/bdd/llb/llb1Cluster.c +0 -356
  642. data/ext/abc/src/bdd/llb/llb1Constr.c +0 -313
  643. data/ext/abc/src/bdd/llb/llb1Core.c +0 -222
  644. data/ext/abc/src/bdd/llb/llb1Group.c +0 -474
  645. data/ext/abc/src/bdd/llb/llb1Hint.c +0 -226
  646. data/ext/abc/src/bdd/llb/llb1Man.c +0 -218
  647. data/ext/abc/src/bdd/llb/llb1Matrix.c +0 -430
  648. data/ext/abc/src/bdd/llb/llb1Pivot.c +0 -254
  649. data/ext/abc/src/bdd/llb/llb1Reach.c +0 -904
  650. data/ext/abc/src/bdd/llb/llb1Sched.c +0 -257
  651. data/ext/abc/src/bdd/llb/llb2Bad.c +0 -138
  652. data/ext/abc/src/bdd/llb/llb2Core.c +0 -777
  653. data/ext/abc/src/bdd/llb/llb2Driver.c +0 -222
  654. data/ext/abc/src/bdd/llb/llb2Dump.c +0 -104
  655. data/ext/abc/src/bdd/llb/llb2Flow.c +0 -1376
  656. data/ext/abc/src/bdd/llb/llb2Image.c +0 -482
  657. data/ext/abc/src/bdd/llb/llb3Image.c +0 -1095
  658. data/ext/abc/src/bdd/llb/llb3Nonlin.c +0 -872
  659. data/ext/abc/src/bdd/llb/llb4Cex.c +0 -320
  660. data/ext/abc/src/bdd/llb/llb4Cluster.c +0 -452
  661. data/ext/abc/src/bdd/llb/llb4Image.c +0 -863
  662. data/ext/abc/src/bdd/llb/llb4Map.c +0 -123
  663. data/ext/abc/src/bdd/llb/llb4Nonlin.c +0 -1185
  664. data/ext/abc/src/bdd/llb/llb4Sweep.c +0 -589
  665. data/ext/abc/src/bdd/llb/llbInt.h +0 -212
  666. data/ext/abc/src/bdd/llb/module.make +0 -22
  667. data/ext/abc/src/bdd/mtr/module.make +0 -2
  668. data/ext/abc/src/bdd/mtr/mtr.h +0 -187
  669. data/ext/abc/src/bdd/mtr/mtrBasic.c +0 -453
  670. data/ext/abc/src/bdd/mtr/mtrGroup.c +0 -734
  671. data/ext/abc/src/bdd/mtr/mtrInt.h +0 -94
  672. data/ext/abc/src/bdd/reo/module.make +0 -8
  673. data/ext/abc/src/bdd/reo/reo.h +0 -234
  674. data/ext/abc/src/bdd/reo/reoApi.c +0 -294
  675. data/ext/abc/src/bdd/reo/reoCore.c +0 -441
  676. data/ext/abc/src/bdd/reo/reoProfile.c +0 -370
  677. data/ext/abc/src/bdd/reo/reoShuffle.c +0 -230
  678. data/ext/abc/src/bdd/reo/reoSift.c +0 -346
  679. data/ext/abc/src/bdd/reo/reoSwap.c +0 -905
  680. data/ext/abc/src/bdd/reo/reoTest.c +0 -256
  681. data/ext/abc/src/bdd/reo/reoTransfer.c +0 -206
  682. data/ext/abc/src/bdd/reo/reoUnits.c +0 -190
  683. data/ext/abc/src/bool/bdc/bdc.h +0 -98
  684. data/ext/abc/src/bool/bdc/bdcCore.c +0 -374
  685. data/ext/abc/src/bool/bdc/bdcDec.c +0 -751
  686. data/ext/abc/src/bool/bdc/bdcInt.h +0 -165
  687. data/ext/abc/src/bool/bdc/bdcSpfd.c +0 -1184
  688. data/ext/abc/src/bool/bdc/bdcTable.c +0 -134
  689. data/ext/abc/src/bool/bdc/bdc_.c +0 -54
  690. data/ext/abc/src/bool/bdc/module.make +0 -5
  691. data/ext/abc/src/bool/dec/dec.h +0 -725
  692. data/ext/abc/src/bool/dec/decAbc.c +0 -358
  693. data/ext/abc/src/bool/dec/decFactor.c +0 -403
  694. data/ext/abc/src/bool/dec/decMan.c +0 -88
  695. data/ext/abc/src/bool/dec/decPrint.c +0 -289
  696. data/ext/abc/src/bool/dec/decUtil.c +0 -148
  697. data/ext/abc/src/bool/dec/module.make +0 -5
  698. data/ext/abc/src/bool/deco/deco.h +0 -714
  699. data/ext/abc/src/bool/deco/module.make +0 -1
  700. data/ext/abc/src/bool/kit/cloud.c +0 -993
  701. data/ext/abc/src/bool/kit/cloud.h +0 -254
  702. data/ext/abc/src/bool/kit/kit.h +0 -655
  703. data/ext/abc/src/bool/kit/kitAig.c +0 -126
  704. data/ext/abc/src/bool/kit/kitBdd.c +0 -243
  705. data/ext/abc/src/bool/kit/kitCloud.c +0 -378
  706. data/ext/abc/src/bool/kit/kitDec.c +0 -343
  707. data/ext/abc/src/bool/kit/kitDsd.c +0 -3285
  708. data/ext/abc/src/bool/kit/kitFactor.c +0 -344
  709. data/ext/abc/src/bool/kit/kitGraph.c +0 -402
  710. data/ext/abc/src/bool/kit/kitHop.c +0 -200
  711. data/ext/abc/src/bool/kit/kitIsop.c +0 -365
  712. data/ext/abc/src/bool/kit/kitPerm.c +0 -357
  713. data/ext/abc/src/bool/kit/kitPla.c +0 -535
  714. data/ext/abc/src/bool/kit/kitSop.c +0 -579
  715. data/ext/abc/src/bool/kit/kitTruth.c +0 -2224
  716. data/ext/abc/src/bool/kit/kit_.c +0 -53
  717. data/ext/abc/src/bool/kit/module.make +0 -11
  718. data/ext/abc/src/bool/lucky/lucky.c +0 -705
  719. data/ext/abc/src/bool/lucky/lucky.h +0 -44
  720. data/ext/abc/src/bool/lucky/luckyFast16.c +0 -872
  721. data/ext/abc/src/bool/lucky/luckyFast6.c +0 -285
  722. data/ext/abc/src/bool/lucky/luckyInt.h +0 -136
  723. data/ext/abc/src/bool/lucky/luckyRead.c +0 -333
  724. data/ext/abc/src/bool/lucky/luckySimple.c +0 -307
  725. data/ext/abc/src/bool/lucky/luckySwap.c +0 -402
  726. data/ext/abc/src/bool/lucky/luckySwapIJ.c +0 -102
  727. data/ext/abc/src/bool/lucky/module.make +0 -7
  728. data/ext/abc/src/bool/rpo/literal.h +0 -297
  729. data/ext/abc/src/bool/rpo/module.make +0 -1
  730. data/ext/abc/src/bool/rpo/rpo.c +0 -383
  731. data/ext/abc/src/bool/rpo/rpo.h +0 -61
  732. data/ext/abc/src/bool/rsb/module.make +0 -2
  733. data/ext/abc/src/bool/rsb/rsb.h +0 -65
  734. data/ext/abc/src/bool/rsb/rsbDec6.c +0 -770
  735. data/ext/abc/src/bool/rsb/rsbInt.h +0 -84
  736. data/ext/abc/src/bool/rsb/rsbMan.c +0 -99
  737. data/ext/abc/src/demo.c +0 -181
  738. data/ext/abc/src/generic.c +0 -52
  739. data/ext/abc/src/generic.h +0 -63
  740. data/ext/abc/src/map/amap/amap.h +0 -97
  741. data/ext/abc/src/map/amap/amapCore.c +0 -110
  742. data/ext/abc/src/map/amap/amapGraph.c +0 -399
  743. data/ext/abc/src/map/amap/amapInt.h +0 -376
  744. data/ext/abc/src/map/amap/amapLib.c +0 -374
  745. data/ext/abc/src/map/amap/amapLiberty.c +0 -1103
  746. data/ext/abc/src/map/amap/amapMan.c +0 -104
  747. data/ext/abc/src/map/amap/amapMatch.c +0 -622
  748. data/ext/abc/src/map/amap/amapMerge.c +0 -541
  749. data/ext/abc/src/map/amap/amapOutput.c +0 -186
  750. data/ext/abc/src/map/amap/amapParse.c +0 -480
  751. data/ext/abc/src/map/amap/amapPerm.c +0 -380
  752. data/ext/abc/src/map/amap/amapRead.c +0 -494
  753. data/ext/abc/src/map/amap/amapRule.c +0 -462
  754. data/ext/abc/src/map/amap/amapUniq.c +0 -317
  755. data/ext/abc/src/map/amap/module.make +0 -13
  756. data/ext/abc/src/map/cov/cov.h +0 -109
  757. data/ext/abc/src/map/cov/covBuild.c +0 -544
  758. data/ext/abc/src/map/cov/covCore.c +0 -1030
  759. data/ext/abc/src/map/cov/covInt.h +0 -654
  760. data/ext/abc/src/map/cov/covMan.c +0 -149
  761. data/ext/abc/src/map/cov/covMinEsop.c +0 -304
  762. data/ext/abc/src/map/cov/covMinMan.c +0 -118
  763. data/ext/abc/src/map/cov/covMinSop.c +0 -620
  764. data/ext/abc/src/map/cov/covMinUtil.c +0 -343
  765. data/ext/abc/src/map/cov/covTest.c +0 -422
  766. data/ext/abc/src/map/cov/module.make +0 -7
  767. data/ext/abc/src/map/fpga/fpga.c +0 -288
  768. data/ext/abc/src/map/fpga/fpga.h +0 -175
  769. data/ext/abc/src/map/fpga/fpgaCore.c +0 -194
  770. data/ext/abc/src/map/fpga/fpgaCreate.c +0 -584
  771. data/ext/abc/src/map/fpga/fpgaCut.c +0 -1186
  772. data/ext/abc/src/map/fpga/fpgaCutUtils.c +0 -476
  773. data/ext/abc/src/map/fpga/fpgaFanout.c +0 -146
  774. data/ext/abc/src/map/fpga/fpgaGENERIC.c +0 -51
  775. data/ext/abc/src/map/fpga/fpgaInt.h +0 -389
  776. data/ext/abc/src/map/fpga/fpgaLib.c +0 -255
  777. data/ext/abc/src/map/fpga/fpgaMatch.c +0 -800
  778. data/ext/abc/src/map/fpga/fpgaSwitch.c +0 -156
  779. data/ext/abc/src/map/fpga/fpgaTime.c +0 -267
  780. data/ext/abc/src/map/fpga/fpgaTruth.c +0 -171
  781. data/ext/abc/src/map/fpga/fpgaUtils.c +0 -990
  782. data/ext/abc/src/map/fpga/fpgaVec.c +0 -413
  783. data/ext/abc/src/map/fpga/module.make +0 -13
  784. data/ext/abc/src/map/if/if.h +0 -689
  785. data/ext/abc/src/map/if/ifCache.c +0 -100
  786. data/ext/abc/src/map/if/ifCheck.c +0 -204
  787. data/ext/abc/src/map/if/ifCom.c +0 -372
  788. data/ext/abc/src/map/if/ifCore.c +0 -200
  789. data/ext/abc/src/map/if/ifCount.h +0 -521
  790. data/ext/abc/src/map/if/ifCut.c +0 -1479
  791. data/ext/abc/src/map/if/ifData2.c +0 -52
  792. data/ext/abc/src/map/if/ifDec07.c +0 -1125
  793. data/ext/abc/src/map/if/ifDec08.c +0 -507
  794. data/ext/abc/src/map/if/ifDec10.c +0 -506
  795. data/ext/abc/src/map/if/ifDec16.c +0 -2374
  796. data/ext/abc/src/map/if/ifDec75.c +0 -341
  797. data/ext/abc/src/map/if/ifDelay.c +0 -447
  798. data/ext/abc/src/map/if/ifDsd.c +0 -2838
  799. data/ext/abc/src/map/if/ifLibBox.c +0 -401
  800. data/ext/abc/src/map/if/ifLibLut.c +0 -505
  801. data/ext/abc/src/map/if/ifMan.c +0 -720
  802. data/ext/abc/src/map/if/ifMap.c +0 -680
  803. data/ext/abc/src/map/if/ifMatch2.c +0 -62
  804. data/ext/abc/src/map/if/ifReduce.c +0 -466
  805. data/ext/abc/src/map/if/ifSat.c +0 -548
  806. data/ext/abc/src/map/if/ifSelect.c +0 -601
  807. data/ext/abc/src/map/if/ifSeq.c +0 -397
  808. data/ext/abc/src/map/if/ifTest.c +0 -352
  809. data/ext/abc/src/map/if/ifTime.c +0 -525
  810. data/ext/abc/src/map/if/ifTruth.c +0 -339
  811. data/ext/abc/src/map/if/ifTune.c +0 -1452
  812. data/ext/abc/src/map/if/ifUtil.c +0 -632
  813. data/ext/abc/src/map/if/if_.c +0 -52
  814. data/ext/abc/src/map/if/module.make +0 -26
  815. data/ext/abc/src/map/mapper/mapper.c +0 -185
  816. data/ext/abc/src/map/mapper/mapper.h +0 -201
  817. data/ext/abc/src/map/mapper/mapperCanon.c +0 -277
  818. data/ext/abc/src/map/mapper/mapperCore.c +0 -231
  819. data/ext/abc/src/map/mapper/mapperCreate.c +0 -587
  820. data/ext/abc/src/map/mapper/mapperCut.c +0 -1178
  821. data/ext/abc/src/map/mapper/mapperCutUtils.c +0 -279
  822. data/ext/abc/src/map/mapper/mapperFanout.c +0 -146
  823. data/ext/abc/src/map/mapper/mapperInt.h +0 -469
  824. data/ext/abc/src/map/mapper/mapperLib.c +0 -258
  825. data/ext/abc/src/map/mapper/mapperMatch.c +0 -664
  826. data/ext/abc/src/map/mapper/mapperRefs.c +0 -540
  827. data/ext/abc/src/map/mapper/mapperSuper.c +0 -456
  828. data/ext/abc/src/map/mapper/mapperSwitch.c +0 -229
  829. data/ext/abc/src/map/mapper/mapperTable.c +0 -407
  830. data/ext/abc/src/map/mapper/mapperTime.c +0 -459
  831. data/ext/abc/src/map/mapper/mapperTree.c +0 -1042
  832. data/ext/abc/src/map/mapper/mapperTruth.c +0 -315
  833. data/ext/abc/src/map/mapper/mapperUtils.c +0 -898
  834. data/ext/abc/src/map/mapper/mapperVec.c +0 -344
  835. data/ext/abc/src/map/mapper/module.make +0 -17
  836. data/ext/abc/src/map/mio/exp.h +0 -343
  837. data/ext/abc/src/map/mio/mio.c +0 -728
  838. data/ext/abc/src/map/mio/mio.h +0 -242
  839. data/ext/abc/src/map/mio/mioApi.c +0 -254
  840. data/ext/abc/src/map/mio/mioForm.c +0 -307
  841. data/ext/abc/src/map/mio/mioFunc.c +0 -327
  842. data/ext/abc/src/map/mio/mioInt.h +0 -160
  843. data/ext/abc/src/map/mio/mioParse.c +0 -504
  844. data/ext/abc/src/map/mio/mioRead.c +0 -780
  845. data/ext/abc/src/map/mio/mioSop.c +0 -333
  846. data/ext/abc/src/map/mio/mioUtils.c +0 -1752
  847. data/ext/abc/src/map/mio/module.make +0 -7
  848. data/ext/abc/src/map/mpm/module.make +0 -11
  849. data/ext/abc/src/map/mpm/mpm.c +0 -55
  850. data/ext/abc/src/map/mpm/mpm.h +0 -98
  851. data/ext/abc/src/map/mpm/mpmAbc.c +0 -350
  852. data/ext/abc/src/map/mpm/mpmCore.c +0 -115
  853. data/ext/abc/src/map/mpm/mpmDsd.c +0 -1055
  854. data/ext/abc/src/map/mpm/mpmGates.c +0 -307
  855. data/ext/abc/src/map/mpm/mpmInt.h +0 -265
  856. data/ext/abc/src/map/mpm/mpmLib.c +0 -74
  857. data/ext/abc/src/map/mpm/mpmMan.c +0 -207
  858. data/ext/abc/src/map/mpm/mpmMap.c +0 -872
  859. data/ext/abc/src/map/mpm/mpmMig.c +0 -204
  860. data/ext/abc/src/map/mpm/mpmMig.h +0 -358
  861. data/ext/abc/src/map/mpm/mpmPre.c +0 -1029
  862. data/ext/abc/src/map/mpm/mpmTruth.c +0 -239
  863. data/ext/abc/src/map/mpm/mpmUtil.c +0 -52
  864. data/ext/abc/src/map/scl/module.make +0 -11
  865. data/ext/abc/src/map/scl/scl.c +0 -2042
  866. data/ext/abc/src/map/scl/scl.h +0 -58
  867. data/ext/abc/src/map/scl/sclBufSize.c +0 -518
  868. data/ext/abc/src/map/scl/sclBuffer.c +0 -1010
  869. data/ext/abc/src/map/scl/sclCon.h +0 -293
  870. data/ext/abc/src/map/scl/sclDnsize.c +0 -378
  871. data/ext/abc/src/map/scl/sclLib.h +0 -770
  872. data/ext/abc/src/map/scl/sclLibScl.c +0 -848
  873. data/ext/abc/src/map/scl/sclLibUtil.c +0 -1078
  874. data/ext/abc/src/map/scl/sclLiberty.c +0 -1697
  875. data/ext/abc/src/map/scl/sclLoad.c +0 -238
  876. data/ext/abc/src/map/scl/sclSize.c +0 -915
  877. data/ext/abc/src/map/scl/sclSize.h +0 -594
  878. data/ext/abc/src/map/scl/sclTime.h +0 -234
  879. data/ext/abc/src/map/scl/sclUpsize.c +0 -1045
  880. data/ext/abc/src/map/scl/sclUtil.c +0 -320
  881. data/ext/abc/src/map/super/module.make +0 -3
  882. data/ext/abc/src/map/super/super.c +0 -333
  883. data/ext/abc/src/map/super/super.h +0 -62
  884. data/ext/abc/src/map/super/superAnd.c +0 -701
  885. data/ext/abc/src/map/super/superGENERIC.c +0 -51
  886. data/ext/abc/src/map/super/superGate.c +0 -1473
  887. data/ext/abc/src/map/super/superInt.h +0 -64
  888. data/ext/abc/src/map/super/superWrite.c +0 -81
  889. data/ext/abc/src/misc/avl/avl.c +0 -621
  890. data/ext/abc/src/misc/avl/avl.doc +0 -166
  891. data/ext/abc/src/misc/avl/avl.h +0 -91
  892. data/ext/abc/src/misc/bar/bar.c +0 -193
  893. data/ext/abc/src/misc/bar/bar.h +0 -78
  894. data/ext/abc/src/misc/bar/module.make +0 -1
  895. data/ext/abc/src/misc/bbl/bblif.c +0 -1518
  896. data/ext/abc/src/misc/bbl/bblif.h +0 -285
  897. data/ext/abc/src/misc/bbl/module.make +0 -1
  898. data/ext/abc/src/misc/bzlib/CHANGES +0 -319
  899. data/ext/abc/src/misc/bzlib/LICENSE +0 -42
  900. data/ext/abc/src/misc/bzlib/blocksort.c +0 -1098
  901. data/ext/abc/src/misc/bzlib/bzip2.txt +0 -391
  902. data/ext/abc/src/misc/bzlib/bzlib.c +0 -1588
  903. data/ext/abc/src/misc/bzlib/bzlib.h +0 -287
  904. data/ext/abc/src/misc/bzlib/bzlib_private.h +0 -513
  905. data/ext/abc/src/misc/bzlib/compress.c +0 -677
  906. data/ext/abc/src/misc/bzlib/crctable.c +0 -109
  907. data/ext/abc/src/misc/bzlib/decompress.c +0 -631
  908. data/ext/abc/src/misc/bzlib/huffman.c +0 -210
  909. data/ext/abc/src/misc/bzlib/link.txt +0 -2
  910. data/ext/abc/src/misc/bzlib/manual.html +0 -2540
  911. data/ext/abc/src/misc/bzlib/module.make +0 -7
  912. data/ext/abc/src/misc/bzlib/randtable.c +0 -89
  913. data/ext/abc/src/misc/espresso/cofactor.c +0 -389
  914. data/ext/abc/src/misc/espresso/cols.c +0 -319
  915. data/ext/abc/src/misc/espresso/compl.c +0 -685
  916. data/ext/abc/src/misc/espresso/contain.c +0 -450
  917. data/ext/abc/src/misc/espresso/cubehack.c +0 -143
  918. data/ext/abc/src/misc/espresso/cubestr.c +0 -157
  919. data/ext/abc/src/misc/espresso/cvrin.c +0 -816
  920. data/ext/abc/src/misc/espresso/cvrm.c +0 -544
  921. data/ext/abc/src/misc/espresso/cvrmisc.c +0 -147
  922. data/ext/abc/src/misc/espresso/cvrout.c +0 -614
  923. data/ext/abc/src/misc/espresso/dominate.c +0 -103
  924. data/ext/abc/src/misc/espresso/equiv.c +0 -99
  925. data/ext/abc/src/misc/espresso/espresso.c +0 -144
  926. data/ext/abc/src/misc/espresso/espresso.h +0 -786
  927. data/ext/abc/src/misc/espresso/essen.c +0 -184
  928. data/ext/abc/src/misc/espresso/exact.c +0 -186
  929. data/ext/abc/src/misc/espresso/expand.c +0 -700
  930. data/ext/abc/src/misc/espresso/gasp.c +0 -233
  931. data/ext/abc/src/misc/espresso/gimpel.c +0 -112
  932. data/ext/abc/src/misc/espresso/globals.c +0 -81
  933. data/ext/abc/src/misc/espresso/hack.c +0 -646
  934. data/ext/abc/src/misc/espresso/indep.c +0 -139
  935. data/ext/abc/src/misc/espresso/irred.c +0 -445
  936. data/ext/abc/src/misc/espresso/main.c +0 -751
  937. data/ext/abc/src/misc/espresso/main.h +0 -122
  938. data/ext/abc/src/misc/espresso/map.c +0 -122
  939. data/ext/abc/src/misc/espresso/matrix.c +0 -579
  940. data/ext/abc/src/misc/espresso/mincov.c +0 -383
  941. data/ext/abc/src/misc/espresso/mincov.h +0 -11
  942. data/ext/abc/src/misc/espresso/mincov_int.h +0 -55
  943. data/ext/abc/src/misc/espresso/module.make +0 -39
  944. data/ext/abc/src/misc/espresso/opo.c +0 -629
  945. data/ext/abc/src/misc/espresso/pair.c +0 -685
  946. data/ext/abc/src/misc/espresso/part.c +0 -127
  947. data/ext/abc/src/misc/espresso/primes.c +0 -175
  948. data/ext/abc/src/misc/espresso/reduce.c +0 -263
  949. data/ext/abc/src/misc/espresso/rows.c +0 -319
  950. data/ext/abc/src/misc/espresso/set.c +0 -825
  951. data/ext/abc/src/misc/espresso/setc.c +0 -488
  952. data/ext/abc/src/misc/espresso/sharp.c +0 -252
  953. data/ext/abc/src/misc/espresso/sminterf.c +0 -49
  954. data/ext/abc/src/misc/espresso/solution.c +0 -119
  955. data/ext/abc/src/misc/espresso/sparse.c +0 -151
  956. data/ext/abc/src/misc/espresso/sparse.h +0 -143
  957. data/ext/abc/src/misc/espresso/sparse_int.h +0 -121
  958. data/ext/abc/src/misc/espresso/unate.c +0 -446
  959. data/ext/abc/src/misc/espresso/util_old.h +0 -309
  960. data/ext/abc/src/misc/espresso/verify.c +0 -198
  961. data/ext/abc/src/misc/extra/extra.h +0 -417
  962. data/ext/abc/src/misc/extra/extraUtilBitMatrix.c +0 -420
  963. data/ext/abc/src/misc/extra/extraUtilCanon.c +0 -691
  964. data/ext/abc/src/misc/extra/extraUtilCube.c +0 -279
  965. data/ext/abc/src/misc/extra/extraUtilDsd.c +0 -1271
  966. data/ext/abc/src/misc/extra/extraUtilEnum.c +0 -680
  967. data/ext/abc/src/misc/extra/extraUtilFile.c +0 -887
  968. data/ext/abc/src/misc/extra/extraUtilMemory.c +0 -628
  969. data/ext/abc/src/misc/extra/extraUtilMisc.c +0 -2580
  970. data/ext/abc/src/misc/extra/extraUtilPerm.c +0 -933
  971. data/ext/abc/src/misc/extra/extraUtilPrime.c +0 -602
  972. data/ext/abc/src/misc/extra/extraUtilProgress.c +0 -185
  973. data/ext/abc/src/misc/extra/extraUtilReader.c +0 -390
  974. data/ext/abc/src/misc/extra/extraUtilSupp.c +0 -532
  975. data/ext/abc/src/misc/extra/extraUtilTruth.c +0 -1153
  976. data/ext/abc/src/misc/extra/extraUtilUtil.c +0 -421
  977. data/ext/abc/src/misc/extra/extraZddTrunc.c +0 -338
  978. data/ext/abc/src/misc/extra/module.make +0 -14
  979. data/ext/abc/src/misc/hash/hash.h +0 -70
  980. data/ext/abc/src/misc/hash/hashFlt.h +0 -339
  981. data/ext/abc/src/misc/hash/hashGen.h +0 -367
  982. data/ext/abc/src/misc/hash/hashInt.h +0 -302
  983. data/ext/abc/src/misc/hash/hashPtr.h +0 -339
  984. data/ext/abc/src/misc/hash/module.make +0 -1
  985. data/ext/abc/src/misc/mem/mem.c +0 -605
  986. data/ext/abc/src/misc/mem/mem.h +0 -75
  987. data/ext/abc/src/misc/mem/mem2.h +0 -271
  988. data/ext/abc/src/misc/mem/module.make +0 -1
  989. data/ext/abc/src/misc/mvc/module.make +0 -15
  990. data/ext/abc/src/misc/mvc/mvc.c +0 -51
  991. data/ext/abc/src/misc/mvc/mvc.h +0 -739
  992. data/ext/abc/src/misc/mvc/mvcApi.c +0 -238
  993. data/ext/abc/src/misc/mvc/mvcCompare.c +0 -374
  994. data/ext/abc/src/misc/mvc/mvcContain.c +0 -178
  995. data/ext/abc/src/misc/mvc/mvcCover.c +0 -256
  996. data/ext/abc/src/misc/mvc/mvcCube.c +0 -180
  997. data/ext/abc/src/misc/mvc/mvcDivide.c +0 -442
  998. data/ext/abc/src/misc/mvc/mvcDivisor.c +0 -95
  999. data/ext/abc/src/misc/mvc/mvcList.c +0 -367
  1000. data/ext/abc/src/misc/mvc/mvcLits.c +0 -350
  1001. data/ext/abc/src/misc/mvc/mvcMan.c +0 -82
  1002. data/ext/abc/src/misc/mvc/mvcOpAlg.c +0 -168
  1003. data/ext/abc/src/misc/mvc/mvcOpBool.c +0 -156
  1004. data/ext/abc/src/misc/mvc/mvcPrint.c +0 -225
  1005. data/ext/abc/src/misc/mvc/mvcSort.c +0 -146
  1006. data/ext/abc/src/misc/mvc/mvcUtils.c +0 -873
  1007. data/ext/abc/src/misc/nm/module.make +0 -2
  1008. data/ext/abc/src/misc/nm/nm.h +0 -96
  1009. data/ext/abc/src/misc/nm/nmApi.c +0 -278
  1010. data/ext/abc/src/misc/nm/nmInt.h +0 -94
  1011. data/ext/abc/src/misc/nm/nmTable.c +0 -310
  1012. data/ext/abc/src/misc/parse/module.make +0 -2
  1013. data/ext/abc/src/misc/parse/parse.h +0 -62
  1014. data/ext/abc/src/misc/parse/parseCore.c +0 -536
  1015. data/ext/abc/src/misc/parse/parseEqn.c +0 -362
  1016. data/ext/abc/src/misc/parse/parseInt.h +0 -77
  1017. data/ext/abc/src/misc/parse/parseStack.c +0 -248
  1018. data/ext/abc/src/misc/st/module.make +0 -2
  1019. data/ext/abc/src/misc/st/st.c +0 -561
  1020. data/ext/abc/src/misc/st/st.h +0 -121
  1021. data/ext/abc/src/misc/st/stmm.c +0 -627
  1022. data/ext/abc/src/misc/st/stmm.h +0 -147
  1023. data/ext/abc/src/misc/tim/module.make +0 -5
  1024. data/ext/abc/src/misc/tim/tim.c +0 -39
  1025. data/ext/abc/src/misc/tim/tim.h +0 -184
  1026. data/ext/abc/src/misc/tim/timBox.c +0 -326
  1027. data/ext/abc/src/misc/tim/timDump.c +0 -201
  1028. data/ext/abc/src/misc/tim/timInt.h +0 -148
  1029. data/ext/abc/src/misc/tim/timMan.c +0 -807
  1030. data/ext/abc/src/misc/tim/timTime.c +0 -267
  1031. data/ext/abc/src/misc/tim/timTrav.c +0 -185
  1032. data/ext/abc/src/misc/util/abc_global.h +0 -416
  1033. data/ext/abc/src/misc/util/abc_namespaces.h +0 -58
  1034. data/ext/abc/src/misc/util/module.make +0 -8
  1035. data/ext/abc/src/misc/util/utilBridge.c +0 -564
  1036. data/ext/abc/src/misc/util/utilCex.c +0 -574
  1037. data/ext/abc/src/misc/util/utilCex.h +0 -84
  1038. data/ext/abc/src/misc/util/utilColor.c +0 -124
  1039. data/ext/abc/src/misc/util/utilDouble.h +0 -222
  1040. data/ext/abc/src/misc/util/utilFile.c +0 -221
  1041. data/ext/abc/src/misc/util/utilFloat.h +0 -226
  1042. data/ext/abc/src/misc/util/utilIsop.c +0 -1139
  1043. data/ext/abc/src/misc/util/utilMem.c +0 -341
  1044. data/ext/abc/src/misc/util/utilMem.h +0 -73
  1045. data/ext/abc/src/misc/util/utilNam.c +0 -622
  1046. data/ext/abc/src/misc/util/utilNam.h +0 -80
  1047. data/ext/abc/src/misc/util/utilSignal.c +0 -68
  1048. data/ext/abc/src/misc/util/utilSignal.h +0 -58
  1049. data/ext/abc/src/misc/util/utilSort.c +0 -789
  1050. data/ext/abc/src/misc/util/utilTruth.h +0 -3076
  1051. data/ext/abc/src/misc/util/util_hack.h +0 -46
  1052. data/ext/abc/src/misc/vec/module.make +0 -1
  1053. data/ext/abc/src/misc/vec/vec.h +0 -74
  1054. data/ext/abc/src/misc/vec/vecAtt.h +0 -298
  1055. data/ext/abc/src/misc/vec/vecBit.h +0 -636
  1056. data/ext/abc/src/misc/vec/vecFlt.h +0 -826
  1057. data/ext/abc/src/misc/vec/vecHash.h +0 -280
  1058. data/ext/abc/src/misc/vec/vecHsh.h +0 -590
  1059. data/ext/abc/src/misc/vec/vecInt.h +0 -2078
  1060. data/ext/abc/src/misc/vec/vecMem.h +0 -431
  1061. data/ext/abc/src/misc/vec/vecPtr.h +0 -1160
  1062. data/ext/abc/src/misc/vec/vecQue.h +0 -374
  1063. data/ext/abc/src/misc/vec/vecSet.h +0 -299
  1064. data/ext/abc/src/misc/vec/vecStr.h +0 -1072
  1065. data/ext/abc/src/misc/vec/vecVec.h +0 -646
  1066. data/ext/abc/src/misc/vec/vecWec.h +0 -738
  1067. data/ext/abc/src/misc/vec/vecWrd.h +0 -1205
  1068. data/ext/abc/src/misc/zlib/README +0 -115
  1069. data/ext/abc/src/misc/zlib/adler32.c +0 -168
  1070. data/ext/abc/src/misc/zlib/algorithm.txt +0 -209
  1071. data/ext/abc/src/misc/zlib/compress_.c +0 -76
  1072. data/ext/abc/src/misc/zlib/crc32.c +0 -433
  1073. data/ext/abc/src/misc/zlib/crc32.h +0 -445
  1074. data/ext/abc/src/misc/zlib/deflate.c +0 -1784
  1075. data/ext/abc/src/misc/zlib/deflate.h +0 -346
  1076. data/ext/abc/src/misc/zlib/gzclose.c +0 -33
  1077. data/ext/abc/src/misc/zlib/gzguts.h +0 -147
  1078. data/ext/abc/src/misc/zlib/gzlib.c +0 -517
  1079. data/ext/abc/src/misc/zlib/gzread.c +0 -641
  1080. data/ext/abc/src/misc/zlib/gzwrite.c +0 -520
  1081. data/ext/abc/src/misc/zlib/infback.c +0 -631
  1082. data/ext/abc/src/misc/zlib/inffast.c +0 -351
  1083. data/ext/abc/src/misc/zlib/inffast.h +0 -15
  1084. data/ext/abc/src/misc/zlib/inffixed.h +0 -98
  1085. data/ext/abc/src/misc/zlib/inflate.c +0 -1457
  1086. data/ext/abc/src/misc/zlib/inflate.h +0 -126
  1087. data/ext/abc/src/misc/zlib/inftrees.c +0 -337
  1088. data/ext/abc/src/misc/zlib/inftrees.h +0 -66
  1089. data/ext/abc/src/misc/zlib/license +0 -31
  1090. data/ext/abc/src/misc/zlib/link.txt +0 -1
  1091. data/ext/abc/src/misc/zlib/module.make +0 -15
  1092. data/ext/abc/src/misc/zlib/trees.c +0 -1216
  1093. data/ext/abc/src/misc/zlib/trees.h +0 -132
  1094. data/ext/abc/src/misc/zlib/uncompr.c +0 -67
  1095. data/ext/abc/src/misc/zlib/zconf.h +0 -432
  1096. data/ext/abc/src/misc/zlib/zlib.h +0 -1619
  1097. data/ext/abc/src/misc/zlib/zutil.c +0 -318
  1098. data/ext/abc/src/misc/zlib/zutil.h +0 -288
  1099. data/ext/abc/src/opt/cgt/cgt.h +0 -87
  1100. data/ext/abc/src/opt/cgt/cgtAig.c +0 -601
  1101. data/ext/abc/src/opt/cgt/cgtCore.c +0 -328
  1102. data/ext/abc/src/opt/cgt/cgtDecide.c +0 -300
  1103. data/ext/abc/src/opt/cgt/cgtInt.h +0 -123
  1104. data/ext/abc/src/opt/cgt/cgtMan.c +0 -179
  1105. data/ext/abc/src/opt/cgt/cgtSat.c +0 -98
  1106. data/ext/abc/src/opt/cgt/module.make +0 -5
  1107. data/ext/abc/src/opt/csw/csw.h +0 -69
  1108. data/ext/abc/src/opt/csw/cswCore.c +0 -100
  1109. data/ext/abc/src/opt/csw/cswCut.c +0 -608
  1110. data/ext/abc/src/opt/csw/cswInt.h +0 -160
  1111. data/ext/abc/src/opt/csw/cswMan.c +0 -130
  1112. data/ext/abc/src/opt/csw/cswTable.c +0 -166
  1113. data/ext/abc/src/opt/csw/csw_.c +0 -53
  1114. data/ext/abc/src/opt/csw/module.make +0 -4
  1115. data/ext/abc/src/opt/cut/abcCut.c +0 -498
  1116. data/ext/abc/src/opt/cut/cut.h +0 -172
  1117. data/ext/abc/src/opt/cut/cutApi.c +0 -202
  1118. data/ext/abc/src/opt/cut/cutCut.c +0 -364
  1119. data/ext/abc/src/opt/cut/cutExpand.c +0 -189
  1120. data/ext/abc/src/opt/cut/cutInt.h +0 -165
  1121. data/ext/abc/src/opt/cut/cutList.h +0 -215
  1122. data/ext/abc/src/opt/cut/cutMan.c +0 -320
  1123. data/ext/abc/src/opt/cut/cutMerge.c +0 -662
  1124. data/ext/abc/src/opt/cut/cutNode.c +0 -1004
  1125. data/ext/abc/src/opt/cut/cutOracle.c +0 -424
  1126. data/ext/abc/src/opt/cut/cutPre22.c +0 -994
  1127. data/ext/abc/src/opt/cut/cutSeq.c +0 -232
  1128. data/ext/abc/src/opt/cut/cutTruth.c +0 -232
  1129. data/ext/abc/src/opt/cut/module.make +0 -9
  1130. data/ext/abc/src/opt/dar/dar.h +0 -116
  1131. data/ext/abc/src/opt/dar/darBalance.c +0 -761
  1132. data/ext/abc/src/opt/dar/darCore.c +0 -348
  1133. data/ext/abc/src/opt/dar/darCut.c +0 -837
  1134. data/ext/abc/src/opt/dar/darData.c +0 -11294
  1135. data/ext/abc/src/opt/dar/darInt.h +0 -169
  1136. data/ext/abc/src/opt/dar/darLib.c +0 -1341
  1137. data/ext/abc/src/opt/dar/darMan.c +0 -174
  1138. data/ext/abc/src/opt/dar/darPrec.c +0 -394
  1139. data/ext/abc/src/opt/dar/darRefact.c +0 -639
  1140. data/ext/abc/src/opt/dar/darResub.c +0 -53
  1141. data/ext/abc/src/opt/dar/darScript.c +0 -911
  1142. data/ext/abc/src/opt/dar/dar_.c +0 -53
  1143. data/ext/abc/src/opt/dar/module.make +0 -9
  1144. data/ext/abc/src/opt/dau/dau.c +0 -53
  1145. data/ext/abc/src/opt/dau/dau.h +0 -125
  1146. data/ext/abc/src/opt/dau/dauArray.c +0 -257
  1147. data/ext/abc/src/opt/dau/dauCanon.c +0 -1202
  1148. data/ext/abc/src/opt/dau/dauCore.c +0 -112
  1149. data/ext/abc/src/opt/dau/dauDivs.c +0 -111
  1150. data/ext/abc/src/opt/dau/dauDsd.c +0 -2098
  1151. data/ext/abc/src/opt/dau/dauDsd2.c +0 -660
  1152. data/ext/abc/src/opt/dau/dauEnum.c +0 -253
  1153. data/ext/abc/src/opt/dau/dauGia.c +0 -573
  1154. data/ext/abc/src/opt/dau/dauInt.h +0 -70
  1155. data/ext/abc/src/opt/dau/dauMerge.c +0 -824
  1156. data/ext/abc/src/opt/dau/dauNonDsd.c +0 -903
  1157. data/ext/abc/src/opt/dau/dauTree.c +0 -2022
  1158. data/ext/abc/src/opt/dau/module.make +0 -9
  1159. data/ext/abc/src/opt/dsc/dsc.c +0 -525
  1160. data/ext/abc/src/opt/dsc/dsc.h +0 -91
  1161. data/ext/abc/src/opt/dsc/module.make +0 -1
  1162. data/ext/abc/src/opt/fret/fretFlow.c +0 -700
  1163. data/ext/abc/src/opt/fret/fretInit.c +0 -1343
  1164. data/ext/abc/src/opt/fret/fretMain.c +0 -1383
  1165. data/ext/abc/src/opt/fret/fretTime.c +0 -766
  1166. data/ext/abc/src/opt/fret/fretime.h +0 -212
  1167. data/ext/abc/src/opt/fret/module.make +0 -5
  1168. data/ext/abc/src/opt/fsim/fsim.h +0 -101
  1169. data/ext/abc/src/opt/fsim/fsimCore.c +0 -88
  1170. data/ext/abc/src/opt/fsim/fsimFront.c +0 -369
  1171. data/ext/abc/src/opt/fsim/fsimInt.h +0 -138
  1172. data/ext/abc/src/opt/fsim/fsimMan.c +0 -212
  1173. data/ext/abc/src/opt/fsim/fsimSim.c +0 -569
  1174. data/ext/abc/src/opt/fsim/fsimSwitch.c +0 -40
  1175. data/ext/abc/src/opt/fsim/fsimTsim.c +0 -416
  1176. data/ext/abc/src/opt/fsim/module.make +0 -6
  1177. data/ext/abc/src/opt/fxch/Fxch.c +0 -266
  1178. data/ext/abc/src/opt/fxch/Fxch.h +0 -229
  1179. data/ext/abc/src/opt/fxch/FxchDiv.c +0 -485
  1180. data/ext/abc/src/opt/fxch/FxchMan.c +0 -785
  1181. data/ext/abc/src/opt/fxch/FxchSCHashTable.c +0 -382
  1182. data/ext/abc/src/opt/fxch/module.make +0 -4
  1183. data/ext/abc/src/opt/fxu/fxu.c +0 -260
  1184. data/ext/abc/src/opt/fxu/fxu.h +0 -97
  1185. data/ext/abc/src/opt/fxu/fxuCreate.c +0 -447
  1186. data/ext/abc/src/opt/fxu/fxuHeapD.c +0 -450
  1187. data/ext/abc/src/opt/fxu/fxuHeapS.c +0 -449
  1188. data/ext/abc/src/opt/fxu/fxuInt.h +0 -545
  1189. data/ext/abc/src/opt/fxu/fxuList.c +0 -527
  1190. data/ext/abc/src/opt/fxu/fxuMatrix.c +0 -377
  1191. data/ext/abc/src/opt/fxu/fxuPair.c +0 -560
  1192. data/ext/abc/src/opt/fxu/fxuPrint.c +0 -202
  1193. data/ext/abc/src/opt/fxu/fxuReduce.c +0 -213
  1194. data/ext/abc/src/opt/fxu/fxuSelect.c +0 -608
  1195. data/ext/abc/src/opt/fxu/fxuSingle.c +0 -289
  1196. data/ext/abc/src/opt/fxu/fxuUpdate.c +0 -811
  1197. data/ext/abc/src/opt/fxu/module.make +0 -12
  1198. data/ext/abc/src/opt/lpk/lpk.h +0 -88
  1199. data/ext/abc/src/opt/lpk/lpkAbcDec.c +0 -294
  1200. data/ext/abc/src/opt/lpk/lpkAbcDsd.c +0 -617
  1201. data/ext/abc/src/opt/lpk/lpkAbcMux.c +0 -240
  1202. data/ext/abc/src/opt/lpk/lpkAbcUtil.c +0 -249
  1203. data/ext/abc/src/opt/lpk/lpkCore.c +0 -694
  1204. data/ext/abc/src/opt/lpk/lpkCut.c +0 -689
  1205. data/ext/abc/src/opt/lpk/lpkInt.h +0 -250
  1206. data/ext/abc/src/opt/lpk/lpkMan.c +0 -127
  1207. data/ext/abc/src/opt/lpk/lpkMap.c +0 -210
  1208. data/ext/abc/src/opt/lpk/lpkMulti.c +0 -513
  1209. data/ext/abc/src/opt/lpk/lpkMux.c +0 -252
  1210. data/ext/abc/src/opt/lpk/lpkSets.c +0 -445
  1211. data/ext/abc/src/opt/lpk/lpk_.c +0 -53
  1212. data/ext/abc/src/opt/lpk/module.make +0 -11
  1213. data/ext/abc/src/opt/mfs/mfs.h +0 -89
  1214. data/ext/abc/src/opt/mfs/mfsCore.c +0 -596
  1215. data/ext/abc/src/opt/mfs/mfsCore_.c +0 -394
  1216. data/ext/abc/src/opt/mfs/mfsDiv.c +0 -309
  1217. data/ext/abc/src/opt/mfs/mfsGia.c +0 -301
  1218. data/ext/abc/src/opt/mfs/mfsInt.h +0 -192
  1219. data/ext/abc/src/opt/mfs/mfsInter.c +0 -398
  1220. data/ext/abc/src/opt/mfs/mfsMan.c +0 -202
  1221. data/ext/abc/src/opt/mfs/mfsResub.c +0 -622
  1222. data/ext/abc/src/opt/mfs/mfsResub_.c +0 -567
  1223. data/ext/abc/src/opt/mfs/mfsSat.c +0 -182
  1224. data/ext/abc/src/opt/mfs/mfsStrash.c +0 -406
  1225. data/ext/abc/src/opt/mfs/mfsWin.c +0 -117
  1226. data/ext/abc/src/opt/mfs/mfs_.c +0 -52
  1227. data/ext/abc/src/opt/mfs/module.make +0 -8
  1228. data/ext/abc/src/opt/nwk/module.make +0 -14
  1229. data/ext/abc/src/opt/nwk/ntlnwk.h +0 -113
  1230. data/ext/abc/src/opt/nwk/nwk.h +0 -307
  1231. data/ext/abc/src/opt/nwk/nwkAig.c +0 -299
  1232. data/ext/abc/src/opt/nwk/nwkBidec.c +0 -177
  1233. data/ext/abc/src/opt/nwk/nwkCheck.c +0 -76
  1234. data/ext/abc/src/opt/nwk/nwkDfs.c +0 -664
  1235. data/ext/abc/src/opt/nwk/nwkFanio.c +0 -320
  1236. data/ext/abc/src/opt/nwk/nwkFlow.c +0 -606
  1237. data/ext/abc/src/opt/nwk/nwkFlow_depth.c +0 -631
  1238. data/ext/abc/src/opt/nwk/nwkMan.c +0 -278
  1239. data/ext/abc/src/opt/nwk/nwkMap.c +0 -396
  1240. data/ext/abc/src/opt/nwk/nwkMerge.c +0 -1046
  1241. data/ext/abc/src/opt/nwk/nwkMerge.h +0 -153
  1242. data/ext/abc/src/opt/nwk/nwkObj.c +0 -204
  1243. data/ext/abc/src/opt/nwk/nwkSpeedup.c +0 -382
  1244. data/ext/abc/src/opt/nwk/nwkStrash.c +0 -149
  1245. data/ext/abc/src/opt/nwk/nwkTiming.c +0 -894
  1246. data/ext/abc/src/opt/nwk/nwkUtil.c +0 -644
  1247. data/ext/abc/src/opt/nwk/nwk_.c +0 -52
  1248. data/ext/abc/src/opt/res/module.make +0 -7
  1249. data/ext/abc/src/opt/res/res.h +0 -79
  1250. data/ext/abc/src/opt/res/resCore.c +0 -427
  1251. data/ext/abc/src/opt/res/resDivs.c +0 -290
  1252. data/ext/abc/src/opt/res/resFilter.c +0 -439
  1253. data/ext/abc/src/opt/res/resInt.h +0 -141
  1254. data/ext/abc/src/opt/res/resSat.c +0 -414
  1255. data/ext/abc/src/opt/res/resSim.c +0 -795
  1256. data/ext/abc/src/opt/res/resSim_old.c +0 -526
  1257. data/ext/abc/src/opt/res/resStrash.c +0 -122
  1258. data/ext/abc/src/opt/res/resWin.c +0 -490
  1259. data/ext/abc/src/opt/res/res_.c +0 -55
  1260. data/ext/abc/src/opt/ret/module.make +0 -8
  1261. data/ext/abc/src/opt/ret/retArea.c +0 -554
  1262. data/ext/abc/src/opt/ret/retCore.c +0 -138
  1263. data/ext/abc/src/opt/ret/retDelay.c +0 -315
  1264. data/ext/abc/src/opt/ret/retFlow.c +0 -789
  1265. data/ext/abc/src/opt/ret/retIncrem.c +0 -480
  1266. data/ext/abc/src/opt/ret/retInit.c +0 -355
  1267. data/ext/abc/src/opt/ret/retInt.h +0 -88
  1268. data/ext/abc/src/opt/ret/retLvalue.c +0 -402
  1269. data/ext/abc/src/opt/ret/ret_.c +0 -53
  1270. data/ext/abc/src/opt/rwr/module.make +0 -7
  1271. data/ext/abc/src/opt/rwr/rwr.h +0 -173
  1272. data/ext/abc/src/opt/rwr/rwrDec.c +0 -155
  1273. data/ext/abc/src/opt/rwr/rwrEva.c +0 -599
  1274. data/ext/abc/src/opt/rwr/rwrExp.c +0 -336
  1275. data/ext/abc/src/opt/rwr/rwrLib.c +0 -367
  1276. data/ext/abc/src/opt/rwr/rwrMan.c +0 -323
  1277. data/ext/abc/src/opt/rwr/rwrPrint.c +0 -271
  1278. data/ext/abc/src/opt/rwr/rwrTemp.c +0 -126
  1279. data/ext/abc/src/opt/rwr/rwrUtil.c +0 -661
  1280. data/ext/abc/src/opt/rwt/module.make +0 -3
  1281. data/ext/abc/src/opt/rwt/rwt.h +0 -165
  1282. data/ext/abc/src/opt/rwt/rwtDec.c +0 -155
  1283. data/ext/abc/src/opt/rwt/rwtMan.c +0 -363
  1284. data/ext/abc/src/opt/rwt/rwtUtil.c +0 -663
  1285. data/ext/abc/src/opt/sbd/module.make +0 -9
  1286. data/ext/abc/src/opt/sbd/sbd.c +0 -122
  1287. data/ext/abc/src/opt/sbd/sbd.h +0 -82
  1288. data/ext/abc/src/opt/sbd/sbdCnf.c +0 -147
  1289. data/ext/abc/src/opt/sbd/sbdCore.c +0 -2229
  1290. data/ext/abc/src/opt/sbd/sbdCut.c +0 -872
  1291. data/ext/abc/src/opt/sbd/sbdCut2.c +0 -431
  1292. data/ext/abc/src/opt/sbd/sbdInt.h +0 -125
  1293. data/ext/abc/src/opt/sbd/sbdLut.c +0 -311
  1294. data/ext/abc/src/opt/sbd/sbdPath.c +0 -197
  1295. data/ext/abc/src/opt/sbd/sbdSat.c +0 -793
  1296. data/ext/abc/src/opt/sbd/sbdSim.c +0 -310
  1297. data/ext/abc/src/opt/sbd/sbdWin.c +0 -464
  1298. data/ext/abc/src/opt/sfm/module.make +0 -10
  1299. data/ext/abc/src/opt/sfm/sfm.h +0 -107
  1300. data/ext/abc/src/opt/sfm/sfmArea.c +0 -380
  1301. data/ext/abc/src/opt/sfm/sfmCnf.c +0 -179
  1302. data/ext/abc/src/opt/sfm/sfmCore.c +0 -306
  1303. data/ext/abc/src/opt/sfm/sfmDec.c +0 -2168
  1304. data/ext/abc/src/opt/sfm/sfmInt.h +0 -254
  1305. data/ext/abc/src/opt/sfm/sfmLib.c +0 -766
  1306. data/ext/abc/src/opt/sfm/sfmMit.c +0 -73
  1307. data/ext/abc/src/opt/sfm/sfmNtk.c +0 -381
  1308. data/ext/abc/src/opt/sfm/sfmSat.c +0 -273
  1309. data/ext/abc/src/opt/sfm/sfmTim.c +0 -458
  1310. data/ext/abc/src/opt/sfm/sfmWin.c +0 -481
  1311. data/ext/abc/src/opt/sim/module.make +0 -9
  1312. data/ext/abc/src/opt/sim/sim.h +0 -237
  1313. data/ext/abc/src/opt/sim/simMan.c +0 -293
  1314. data/ext/abc/src/opt/sim/simSat.c +0 -53
  1315. data/ext/abc/src/opt/sim/simSeq.c +0 -176
  1316. data/ext/abc/src/opt/sim/simSupp.c +0 -603
  1317. data/ext/abc/src/opt/sim/simSwitch.c +0 -112
  1318. data/ext/abc/src/opt/sim/simSym.c +0 -148
  1319. data/ext/abc/src/opt/sim/simSymSat.c +0 -205
  1320. data/ext/abc/src/opt/sim/simSymSim.c +0 -178
  1321. data/ext/abc/src/opt/sim/simSymStr.c +0 -493
  1322. data/ext/abc/src/opt/sim/simUtils.c +0 -718
  1323. data/ext/abc/src/phys/place/Makefile +0 -30
  1324. data/ext/abc/src/phys/place/README +0 -50
  1325. data/ext/abc/src/phys/place/hpwl +0 -57
  1326. data/ext/abc/src/phys/place/libhmetis.h +0 -39
  1327. data/ext/abc/src/phys/place/module.make +0 -10
  1328. data/ext/abc/src/phys/place/place_base.c +0 -350
  1329. data/ext/abc/src/phys/place/place_base.h +0 -145
  1330. data/ext/abc/src/phys/place/place_bin.c +0 -282
  1331. data/ext/abc/src/phys/place/place_genqp.c +0 -314
  1332. data/ext/abc/src/phys/place/place_gordian.c +0 -165
  1333. data/ext/abc/src/phys/place/place_gordian.h +0 -86
  1334. data/ext/abc/src/phys/place/place_inc.c +0 -111
  1335. data/ext/abc/src/phys/place/place_io.c +0 -99
  1336. data/ext/abc/src/phys/place/place_legalize.c +0 -28
  1337. data/ext/abc/src/phys/place/place_pads.c +0 -146
  1338. data/ext/abc/src/phys/place/place_partition.c +0 -1140
  1339. data/ext/abc/src/phys/place/place_qpsolver.c +0 -1275
  1340. data/ext/abc/src/phys/place/place_qpsolver.h +0 -139
  1341. data/ext/abc/src/phys/place/place_test.c +0 -365
  1342. data/ext/abc/src/proof/abs/abs.c +0 -52
  1343. data/ext/abc/src/proof/abs/abs.h +0 -177
  1344. data/ext/abc/src/proof/abs/absDup.c +0 -445
  1345. data/ext/abc/src/proof/abs/absGla.c +0 -1901
  1346. data/ext/abc/src/proof/abs/absGlaOld.c +0 -1956
  1347. data/ext/abc/src/proof/abs/absIter.c +0 -148
  1348. data/ext/abc/src/proof/abs/absOldCex.c +0 -873
  1349. data/ext/abc/src/proof/abs/absOldRef.c +0 -474
  1350. data/ext/abc/src/proof/abs/absOldSat.c +0 -986
  1351. data/ext/abc/src/proof/abs/absOldSim.c +0 -477
  1352. data/ext/abc/src/proof/abs/absOut.c +0 -458
  1353. data/ext/abc/src/proof/abs/absPth.c +0 -205
  1354. data/ext/abc/src/proof/abs/absRef.c +0 -751
  1355. data/ext/abc/src/proof/abs/absRef.h +0 -129
  1356. data/ext/abc/src/proof/abs/absRefJ.c +0 -916
  1357. data/ext/abc/src/proof/abs/absRefJ.h +0 -67
  1358. data/ext/abc/src/proof/abs/absRefSelect.c +0 -309
  1359. data/ext/abc/src/proof/abs/absRpm.c +0 -874
  1360. data/ext/abc/src/proof/abs/absRpmOld.c +0 -201
  1361. data/ext/abc/src/proof/abs/absUtil.c +0 -257
  1362. data/ext/abc/src/proof/abs/absVta.c +0 -1764
  1363. data/ext/abc/src/proof/abs/module.make +0 -16
  1364. data/ext/abc/src/proof/acec/acec.c +0 -52
  1365. data/ext/abc/src/proof/acec/acec.h +0 -98
  1366. data/ext/abc/src/proof/acec/acec2Mult.c +0 -1211
  1367. data/ext/abc/src/proof/acec/acecBo.c +0 -216
  1368. data/ext/abc/src/proof/acec/acecCl.c +0 -445
  1369. data/ext/abc/src/proof/acec/acecCo.c +0 -429
  1370. data/ext/abc/src/proof/acec/acecCore.c +0 -553
  1371. data/ext/abc/src/proof/acec/acecCover.c +0 -263
  1372. data/ext/abc/src/proof/acec/acecFadds.c +0 -1247
  1373. data/ext/abc/src/proof/acec/acecInt.h +0 -105
  1374. data/ext/abc/src/proof/acec/acecMult.c +0 -623
  1375. data/ext/abc/src/proof/acec/acecNorm.c +0 -226
  1376. data/ext/abc/src/proof/acec/acecOrder.c +0 -254
  1377. data/ext/abc/src/proof/acec/acecPa.c +0 -277
  1378. data/ext/abc/src/proof/acec/acecPo.c +0 -655
  1379. data/ext/abc/src/proof/acec/acecPolyn.c +0 -445
  1380. data/ext/abc/src/proof/acec/acecPool.c +0 -428
  1381. data/ext/abc/src/proof/acec/acecRe.c +0 -602
  1382. data/ext/abc/src/proof/acec/acecSt.c +0 -422
  1383. data/ext/abc/src/proof/acec/acecStruct.c +0 -271
  1384. data/ext/abc/src/proof/acec/acecTree.c +0 -783
  1385. data/ext/abc/src/proof/acec/acecUtil.c +0 -122
  1386. data/ext/abc/src/proof/acec/acecXor.c +0 -434
  1387. data/ext/abc/src/proof/acec/module.make +0 -19
  1388. data/ext/abc/src/proof/cec/cec.c +0 -53
  1389. data/ext/abc/src/proof/cec/cec.h +0 -240
  1390. data/ext/abc/src/proof/cec/cecCec.c +0 -580
  1391. data/ext/abc/src/proof/cec/cecChoice.c +0 -410
  1392. data/ext/abc/src/proof/cec/cecClass.c +0 -931
  1393. data/ext/abc/src/proof/cec/cecCore.c +0 -554
  1394. data/ext/abc/src/proof/cec/cecCorr.c +0 -1229
  1395. data/ext/abc/src/proof/cec/cecInt.h +0 -227
  1396. data/ext/abc/src/proof/cec/cecIso.c +0 -375
  1397. data/ext/abc/src/proof/cec/cecMan.c +0 -297
  1398. data/ext/abc/src/proof/cec/cecPat.c +0 -578
  1399. data/ext/abc/src/proof/cec/cecSat.c +0 -1040
  1400. data/ext/abc/src/proof/cec/cecSatG.c +0 -1048
  1401. data/ext/abc/src/proof/cec/cecSeq.c +0 -449
  1402. data/ext/abc/src/proof/cec/cecSim.c +0 -53
  1403. data/ext/abc/src/proof/cec/cecSimBack.c +0 -194
  1404. data/ext/abc/src/proof/cec/cecSolve.c +0 -1107
  1405. data/ext/abc/src/proof/cec/cecSplit.c +0 -849
  1406. data/ext/abc/src/proof/cec/cecSweep.c +0 -301
  1407. data/ext/abc/src/proof/cec/cecSynth.c +0 -433
  1408. data/ext/abc/src/proof/cec/module.make +0 -15
  1409. data/ext/abc/src/proof/dch/dch.h +0 -91
  1410. data/ext/abc/src/proof/dch/dchAig.c +0 -119
  1411. data/ext/abc/src/proof/dch/dchChoice.c +0 -552
  1412. data/ext/abc/src/proof/dch/dchClass.c +0 -611
  1413. data/ext/abc/src/proof/dch/dchCnf.c +0 -334
  1414. data/ext/abc/src/proof/dch/dchCore.c +0 -161
  1415. data/ext/abc/src/proof/dch/dchInt.h +0 -170
  1416. data/ext/abc/src/proof/dch/dchMan.c +0 -191
  1417. data/ext/abc/src/proof/dch/dchSat.c +0 -167
  1418. data/ext/abc/src/proof/dch/dchSim.c +0 -297
  1419. data/ext/abc/src/proof/dch/dchSimSat.c +0 -260
  1420. data/ext/abc/src/proof/dch/dchSweep.c +0 -146
  1421. data/ext/abc/src/proof/dch/module.make +0 -10
  1422. data/ext/abc/src/proof/fra/fra.h +0 -389
  1423. data/ext/abc/src/proof/fra/fraBmc.c +0 -453
  1424. data/ext/abc/src/proof/fra/fraCec.c +0 -574
  1425. data/ext/abc/src/proof/fra/fraClass.c +0 -862
  1426. data/ext/abc/src/proof/fra/fraClau.c +0 -745
  1427. data/ext/abc/src/proof/fra/fraClaus.c +0 -1877
  1428. data/ext/abc/src/proof/fra/fraCnf.c +0 -289
  1429. data/ext/abc/src/proof/fra/fraCore.c +0 -490
  1430. data/ext/abc/src/proof/fra/fraHot.c +0 -476
  1431. data/ext/abc/src/proof/fra/fraImp.c +0 -732
  1432. data/ext/abc/src/proof/fra/fraInd.c +0 -712
  1433. data/ext/abc/src/proof/fra/fraIndVer.c +0 -166
  1434. data/ext/abc/src/proof/fra/fraLcr.c +0 -708
  1435. data/ext/abc/src/proof/fra/fraMan.c +0 -314
  1436. data/ext/abc/src/proof/fra/fraPart.c +0 -269
  1437. data/ext/abc/src/proof/fra/fraSat.c +0 -571
  1438. data/ext/abc/src/proof/fra/fraSec.c +0 -693
  1439. data/ext/abc/src/proof/fra/fraSim.c +0 -1173
  1440. data/ext/abc/src/proof/fra/fra_.c +0 -53
  1441. data/ext/abc/src/proof/fra/module.make +0 -17
  1442. data/ext/abc/src/proof/fraig/fraig.h +0 -257
  1443. data/ext/abc/src/proof/fraig/fraigApi.c +0 -299
  1444. data/ext/abc/src/proof/fraig/fraigCanon.c +0 -223
  1445. data/ext/abc/src/proof/fraig/fraigChoice.c +0 -246
  1446. data/ext/abc/src/proof/fraig/fraigFanout.c +0 -180
  1447. data/ext/abc/src/proof/fraig/fraigFeed.c +0 -914
  1448. data/ext/abc/src/proof/fraig/fraigInt.h +0 -436
  1449. data/ext/abc/src/proof/fraig/fraigMan.c +0 -546
  1450. data/ext/abc/src/proof/fraig/fraigMem.c +0 -251
  1451. data/ext/abc/src/proof/fraig/fraigNode.c +0 -319
  1452. data/ext/abc/src/proof/fraig/fraigPrime.c +0 -113
  1453. data/ext/abc/src/proof/fraig/fraigSat.c +0 -1463
  1454. data/ext/abc/src/proof/fraig/fraigTable.c +0 -664
  1455. data/ext/abc/src/proof/fraig/fraigUtil.c +0 -1039
  1456. data/ext/abc/src/proof/fraig/fraigVec.c +0 -550
  1457. data/ext/abc/src/proof/fraig/module.make +0 -12
  1458. data/ext/abc/src/proof/int/int.h +0 -96
  1459. data/ext/abc/src/proof/int/intCheck.c +0 -305
  1460. data/ext/abc/src/proof/int/intContain.c +0 -341
  1461. data/ext/abc/src/proof/int/intCore.c +0 -412
  1462. data/ext/abc/src/proof/int/intCtrex.c +0 -168
  1463. data/ext/abc/src/proof/int/intDup.c +0 -184
  1464. data/ext/abc/src/proof/int/intFrames.c +0 -124
  1465. data/ext/abc/src/proof/int/intInt.h +0 -143
  1466. data/ext/abc/src/proof/int/intInter.c +0 -145
  1467. data/ext/abc/src/proof/int/intM114.c +0 -323
  1468. data/ext/abc/src/proof/int/intM114p.c +0 -443
  1469. data/ext/abc/src/proof/int/intMan.c +0 -165
  1470. data/ext/abc/src/proof/int/intUtil.c +0 -108
  1471. data/ext/abc/src/proof/int/module.make +0 -10
  1472. data/ext/abc/src/proof/int2/int2.h +0 -90
  1473. data/ext/abc/src/proof/int2/int2Bmc.c +0 -355
  1474. data/ext/abc/src/proof/int2/int2Core.c +0 -335
  1475. data/ext/abc/src/proof/int2/int2Int.h +0 -164
  1476. data/ext/abc/src/proof/int2/int2Refine.c +0 -154
  1477. data/ext/abc/src/proof/int2/int2Util.c +0 -152
  1478. data/ext/abc/src/proof/int2/module.make +0 -4
  1479. data/ext/abc/src/proof/live/arenaViolation.c +0 -549
  1480. data/ext/abc/src/proof/live/combination.c +0 -463
  1481. data/ext/abc/src/proof/live/disjunctiveMonotone.c +0 -757
  1482. data/ext/abc/src/proof/live/kLiveConstraints.c +0 -177
  1483. data/ext/abc/src/proof/live/kliveness.c +0 -816
  1484. data/ext/abc/src/proof/live/liveness.c +0 -2575
  1485. data/ext/abc/src/proof/live/liveness_sim.c +0 -849
  1486. data/ext/abc/src/proof/live/ltl_parser.c +0 -839
  1487. data/ext/abc/src/proof/live/module.make +0 -9
  1488. data/ext/abc/src/proof/live/monotone.c +0 -507
  1489. data/ext/abc/src/proof/pdr/module.make +0 -10
  1490. data/ext/abc/src/proof/pdr/pdr.c +0 -53
  1491. data/ext/abc/src/proof/pdr/pdr.h +0 -109
  1492. data/ext/abc/src/proof/pdr/pdrClass.c +0 -223
  1493. data/ext/abc/src/proof/pdr/pdrCnf.c +0 -455
  1494. data/ext/abc/src/proof/pdr/pdrCore.c +0 -1451
  1495. data/ext/abc/src/proof/pdr/pdrIncr.c +0 -1046
  1496. data/ext/abc/src/proof/pdr/pdrInt.h +0 -275
  1497. data/ext/abc/src/proof/pdr/pdrInv.c +0 -985
  1498. data/ext/abc/src/proof/pdr/pdrMan.c +0 -549
  1499. data/ext/abc/src/proof/pdr/pdrSat.c +0 -395
  1500. data/ext/abc/src/proof/pdr/pdrTsim.c +0 -502
  1501. data/ext/abc/src/proof/pdr/pdrTsim2.c +0 -550
  1502. data/ext/abc/src/proof/pdr/pdrTsim3.c +0 -361
  1503. data/ext/abc/src/proof/pdr/pdrUtil.c +0 -800
  1504. data/ext/abc/src/proof/ssc/module.make +0 -5
  1505. data/ext/abc/src/proof/ssc/ssc.h +0 -78
  1506. data/ext/abc/src/proof/ssc/sscClass.c +0 -326
  1507. data/ext/abc/src/proof/ssc/sscCore.c +0 -469
  1508. data/ext/abc/src/proof/ssc/sscInt.h +0 -135
  1509. data/ext/abc/src/proof/ssc/sscSat.c +0 -430
  1510. data/ext/abc/src/proof/ssc/sscSim.c +0 -364
  1511. data/ext/abc/src/proof/ssc/sscUtil.c +0 -173
  1512. data/ext/abc/src/proof/ssw/module.make +0 -20
  1513. data/ext/abc/src/proof/ssw/ssw.h +0 -170
  1514. data/ext/abc/src/proof/ssw/sswAig.c +0 -258
  1515. data/ext/abc/src/proof/ssw/sswBmc.c +0 -224
  1516. data/ext/abc/src/proof/ssw/sswClass.c +0 -1170
  1517. data/ext/abc/src/proof/ssw/sswCnf.c +0 -427
  1518. data/ext/abc/src/proof/ssw/sswConstr.c +0 -718
  1519. data/ext/abc/src/proof/ssw/sswCore.c +0 -539
  1520. data/ext/abc/src/proof/ssw/sswDyn.c +0 -491
  1521. data/ext/abc/src/proof/ssw/sswFilter.c +0 -493
  1522. data/ext/abc/src/proof/ssw/sswInt.h +0 -302
  1523. data/ext/abc/src/proof/ssw/sswIslands.c +0 -598
  1524. data/ext/abc/src/proof/ssw/sswLcorr.c +0 -337
  1525. data/ext/abc/src/proof/ssw/sswMan.c +0 -217
  1526. data/ext/abc/src/proof/ssw/sswPairs.c +0 -480
  1527. data/ext/abc/src/proof/ssw/sswPart.c +0 -140
  1528. data/ext/abc/src/proof/ssw/sswRarity.c +0 -1385
  1529. data/ext/abc/src/proof/ssw/sswRarity2.c +0 -518
  1530. data/ext/abc/src/proof/ssw/sswSat.c +0 -307
  1531. data/ext/abc/src/proof/ssw/sswSemi.c +0 -323
  1532. data/ext/abc/src/proof/ssw/sswSim.c +0 -1406
  1533. data/ext/abc/src/proof/ssw/sswSimSat.c +0 -124
  1534. data/ext/abc/src/proof/ssw/sswSweep.c +0 -440
  1535. data/ext/abc/src/proof/ssw/sswUnique.c +0 -196
  1536. data/ext/abc/src/sat/bmc/bmc.c +0 -52
  1537. data/ext/abc/src/sat/bmc/bmc.h +0 -205
  1538. data/ext/abc/src/sat/bmc/bmcBCore.c +0 -273
  1539. data/ext/abc/src/sat/bmc/bmcBmc.c +0 -377
  1540. data/ext/abc/src/sat/bmc/bmcBmc2.c +0 -944
  1541. data/ext/abc/src/sat/bmc/bmcBmc3.c +0 -1893
  1542. data/ext/abc/src/sat/bmc/bmcBmcAnd.c +0 -1100
  1543. data/ext/abc/src/sat/bmc/bmcBmcG.c +0 -455
  1544. data/ext/abc/src/sat/bmc/bmcBmcS.c +0 -940
  1545. data/ext/abc/src/sat/bmc/bmcBmci.c +0 -344
  1546. data/ext/abc/src/sat/bmc/bmcCexCare.c +0 -476
  1547. data/ext/abc/src/sat/bmc/bmcCexCut.c +0 -537
  1548. data/ext/abc/src/sat/bmc/bmcCexDepth.c +0 -373
  1549. data/ext/abc/src/sat/bmc/bmcCexMin1.c +0 -578
  1550. data/ext/abc/src/sat/bmc/bmcCexMin2.c +0 -363
  1551. data/ext/abc/src/sat/bmc/bmcCexTools.c +0 -852
  1552. data/ext/abc/src/sat/bmc/bmcChain.c +0 -396
  1553. data/ext/abc/src/sat/bmc/bmcClp.c +0 -1548
  1554. data/ext/abc/src/sat/bmc/bmcEco.c +0 -312
  1555. data/ext/abc/src/sat/bmc/bmcEnum.c +0 -223
  1556. data/ext/abc/src/sat/bmc/bmcExpand.c +0 -172
  1557. data/ext/abc/src/sat/bmc/bmcFault.c +0 -1710
  1558. data/ext/abc/src/sat/bmc/bmcFx.c +0 -725
  1559. data/ext/abc/src/sat/bmc/bmcGen.c +0 -193
  1560. data/ext/abc/src/sat/bmc/bmcICheck.c +0 -540
  1561. data/ext/abc/src/sat/bmc/bmcInse.c +0 -345
  1562. data/ext/abc/src/sat/bmc/bmcLoad.c +0 -212
  1563. data/ext/abc/src/sat/bmc/bmcMaj.c +0 -745
  1564. data/ext/abc/src/sat/bmc/bmcMaj2.c +0 -852
  1565. data/ext/abc/src/sat/bmc/bmcMaxi.c +0 -282
  1566. data/ext/abc/src/sat/bmc/bmcMesh.c +0 -433
  1567. data/ext/abc/src/sat/bmc/bmcMesh2.c +0 -449
  1568. data/ext/abc/src/sat/bmc/bmcMulti.c +0 -296
  1569. data/ext/abc/src/sat/bmc/bmcUnroll.c +0 -505
  1570. data/ext/abc/src/sat/bmc/module.make +0 -31
  1571. data/ext/abc/src/sat/bsat/license +0 -21
  1572. data/ext/abc/src/sat/bsat/module.make +0 -14
  1573. data/ext/abc/src/sat/bsat/satChecker.c +0 -193
  1574. data/ext/abc/src/sat/bsat/satClause.h +0 -476
  1575. data/ext/abc/src/sat/bsat/satInter.c +0 -1077
  1576. data/ext/abc/src/sat/bsat/satInterA.c +0 -1090
  1577. data/ext/abc/src/sat/bsat/satInterB.c +0 -1115
  1578. data/ext/abc/src/sat/bsat/satInterP.c +0 -1096
  1579. data/ext/abc/src/sat/bsat/satMem.c +0 -583
  1580. data/ext/abc/src/sat/bsat/satMem.h +0 -85
  1581. data/ext/abc/src/sat/bsat/satProof.c +0 -934
  1582. data/ext/abc/src/sat/bsat/satProof2.h +0 -327
  1583. data/ext/abc/src/sat/bsat/satSolver.c +0 -2417
  1584. data/ext/abc/src/sat/bsat/satSolver.h +0 -639
  1585. data/ext/abc/src/sat/bsat/satSolver2.c +0 -1998
  1586. data/ext/abc/src/sat/bsat/satSolver2.h +0 -377
  1587. data/ext/abc/src/sat/bsat/satSolver2i.c +0 -242
  1588. data/ext/abc/src/sat/bsat/satSolver3.c +0 -2299
  1589. data/ext/abc/src/sat/bsat/satSolver3.h +0 -622
  1590. data/ext/abc/src/sat/bsat/satStore.c +0 -469
  1591. data/ext/abc/src/sat/bsat/satStore.h +0 -158
  1592. data/ext/abc/src/sat/bsat/satTrace.c +0 -112
  1593. data/ext/abc/src/sat/bsat/satTruth.c +0 -299
  1594. data/ext/abc/src/sat/bsat/satTruth.h +0 -89
  1595. data/ext/abc/src/sat/bsat/satUtil.c +0 -358
  1596. data/ext/abc/src/sat/bsat/satVec.h +0 -161
  1597. data/ext/abc/src/sat/bsat2/AbcApi.cpp +0 -59
  1598. data/ext/abc/src/sat/bsat2/Alg.h +0 -84
  1599. data/ext/abc/src/sat/bsat2/Alloc.h +0 -131
  1600. data/ext/abc/src/sat/bsat2/Dimacs.h +0 -89
  1601. data/ext/abc/src/sat/bsat2/Heap.h +0 -149
  1602. data/ext/abc/src/sat/bsat2/IntTypes.h +0 -47
  1603. data/ext/abc/src/sat/bsat2/LICENSE +0 -21
  1604. data/ext/abc/src/sat/bsat2/MainSat.cpp +0 -197
  1605. data/ext/abc/src/sat/bsat2/MainSimp.cpp +0 -206
  1606. data/ext/abc/src/sat/bsat2/Map.h +0 -193
  1607. data/ext/abc/src/sat/bsat2/Options.cpp +0 -93
  1608. data/ext/abc/src/sat/bsat2/Options.h +0 -387
  1609. data/ext/abc/src/sat/bsat2/ParseUtils.h +0 -122
  1610. data/ext/abc/src/sat/bsat2/Queue.h +0 -69
  1611. data/ext/abc/src/sat/bsat2/README +0 -24
  1612. data/ext/abc/src/sat/bsat2/ReleaseNotes-2.2.0.txt +0 -79
  1613. data/ext/abc/src/sat/bsat2/SimpSolver.cpp +0 -720
  1614. data/ext/abc/src/sat/bsat2/SimpSolver.h +0 -197
  1615. data/ext/abc/src/sat/bsat2/Solver.cpp +0 -924
  1616. data/ext/abc/src/sat/bsat2/Solver.h +0 -373
  1617. data/ext/abc/src/sat/bsat2/SolverTypes.h +0 -407
  1618. data/ext/abc/src/sat/bsat2/Sort.h +0 -98
  1619. data/ext/abc/src/sat/bsat2/System.cpp +0 -95
  1620. data/ext/abc/src/sat/bsat2/System.h +0 -60
  1621. data/ext/abc/src/sat/bsat2/Vec.h +0 -130
  1622. data/ext/abc/src/sat/bsat2/XAlloc.h +0 -45
  1623. data/ext/abc/src/sat/bsat2/module.make +0 -7
  1624. data/ext/abc/src/sat/bsat2/pstdint.h +0 -813
  1625. data/ext/abc/src/sat/cnf/cnf.h +0 -202
  1626. data/ext/abc/src/sat/cnf/cnfCore.c +0 -290
  1627. data/ext/abc/src/sat/cnf/cnfCut.c +0 -376
  1628. data/ext/abc/src/sat/cnf/cnfData.c +0 -4789
  1629. data/ext/abc/src/sat/cnf/cnfFast.c +0 -697
  1630. data/ext/abc/src/sat/cnf/cnfMan.c +0 -726
  1631. data/ext/abc/src/sat/cnf/cnfMap.c +0 -362
  1632. data/ext/abc/src/sat/cnf/cnfPost.c +0 -238
  1633. data/ext/abc/src/sat/cnf/cnfUtil.c +0 -479
  1634. data/ext/abc/src/sat/cnf/cnfWrite.c +0 -806
  1635. data/ext/abc/src/sat/cnf/cnf_.c +0 -53
  1636. data/ext/abc/src/sat/cnf/module.make +0 -9
  1637. data/ext/abc/src/sat/csat/csat_apis.c +0 -778
  1638. data/ext/abc/src/sat/csat/csat_apis.h +0 -226
  1639. data/ext/abc/src/sat/csat/module.make +0 -1
  1640. data/ext/abc/src/sat/glucose/AbcGlucose.cpp +0 -1372
  1641. data/ext/abc/src/sat/glucose/AbcGlucose.h +0 -110
  1642. data/ext/abc/src/sat/glucose/AbcGlucoseCmd.cpp +0 -144
  1643. data/ext/abc/src/sat/glucose/Alg.h +0 -84
  1644. data/ext/abc/src/sat/glucose/Alloc.h +0 -132
  1645. data/ext/abc/src/sat/glucose/BoundedQueue.h +0 -110
  1646. data/ext/abc/src/sat/glucose/Constants.h +0 -33
  1647. data/ext/abc/src/sat/glucose/Dimacs.h +0 -89
  1648. data/ext/abc/src/sat/glucose/Glucose.cpp +0 -1493
  1649. data/ext/abc/src/sat/glucose/Heap.h +0 -150
  1650. data/ext/abc/src/sat/glucose/IntTypes.h +0 -47
  1651. data/ext/abc/src/sat/glucose/Map.h +0 -193
  1652. data/ext/abc/src/sat/glucose/Options.cpp +0 -92
  1653. data/ext/abc/src/sat/glucose/Options.h +0 -388
  1654. data/ext/abc/src/sat/glucose/ParseUtils.h +0 -151
  1655. data/ext/abc/src/sat/glucose/Queue.h +0 -69
  1656. data/ext/abc/src/sat/glucose/SimpSolver.cpp +0 -774
  1657. data/ext/abc/src/sat/glucose/SimpSolver.h +0 -204
  1658. data/ext/abc/src/sat/glucose/Solver.h +0 -491
  1659. data/ext/abc/src/sat/glucose/SolverTypes.h +0 -434
  1660. data/ext/abc/src/sat/glucose/Sort.h +0 -98
  1661. data/ext/abc/src/sat/glucose/System.cpp +0 -95
  1662. data/ext/abc/src/sat/glucose/System.h +0 -60
  1663. data/ext/abc/src/sat/glucose/Vec.h +0 -130
  1664. data/ext/abc/src/sat/glucose/XAlloc.h +0 -47
  1665. data/ext/abc/src/sat/glucose/module.make +0 -6
  1666. data/ext/abc/src/sat/glucose/pstdint.h +0 -919
  1667. data/ext/abc/src/sat/glucose/stdint.h +0 -1628
  1668. data/ext/abc/src/sat/lsat/solver.h +0 -132
  1669. data/ext/abc/src/sat/msat/module.make +0 -13
  1670. data/ext/abc/src/sat/msat/msat.h +0 -168
  1671. data/ext/abc/src/sat/msat/msatActivity.c +0 -165
  1672. data/ext/abc/src/sat/msat/msatClause.c +0 -537
  1673. data/ext/abc/src/sat/msat/msatClauseVec.c +0 -237
  1674. data/ext/abc/src/sat/msat/msatInt.h +0 -295
  1675. data/ext/abc/src/sat/msat/msatMem.c +0 -534
  1676. data/ext/abc/src/sat/msat/msatOrderH.c +0 -415
  1677. data/ext/abc/src/sat/msat/msatOrderJ.c +0 -477
  1678. data/ext/abc/src/sat/msat/msatQueue.c +0 -162
  1679. data/ext/abc/src/sat/msat/msatRead.c +0 -274
  1680. data/ext/abc/src/sat/msat/msatSolverApi.c +0 -505
  1681. data/ext/abc/src/sat/msat/msatSolverCore.c +0 -215
  1682. data/ext/abc/src/sat/msat/msatSolverIo.c +0 -182
  1683. data/ext/abc/src/sat/msat/msatSolverSearch.c +0 -634
  1684. data/ext/abc/src/sat/msat/msatSort.c +0 -178
  1685. data/ext/abc/src/sat/msat/msatVec.c +0 -500
  1686. data/ext/abc/src/sat/proof/pr.c +0 -1264
  1687. data/ext/abc/src/sat/proof/pr.h +0 -69
  1688. data/ext/abc/src/sat/proof/stats.txt +0 -66
  1689. data/ext/abc/src/sat/psat/m114p.h +0 -47
  1690. data/ext/abc/src/sat/psat/m114p_types.h +0 -13
  1691. data/ext/abc/src/sat/psat/module.make +0 -1
  1692. data/ext/abc/src/sat/satoko/LICENSE +0 -22
  1693. data/ext/abc/src/sat/satoko/act_clause.h +0 -43
  1694. data/ext/abc/src/sat/satoko/act_var.h +0 -53
  1695. data/ext/abc/src/sat/satoko/cdb.h +0 -106
  1696. data/ext/abc/src/sat/satoko/clause.h +0 -77
  1697. data/ext/abc/src/sat/satoko/cnf_reader.c +0 -157
  1698. data/ext/abc/src/sat/satoko/module.make +0 -3
  1699. data/ext/abc/src/sat/satoko/satoko.h +0 -147
  1700. data/ext/abc/src/sat/satoko/solver.c +0 -771
  1701. data/ext/abc/src/sat/satoko/solver.h +0 -260
  1702. data/ext/abc/src/sat/satoko/solver_api.c +0 -669
  1703. data/ext/abc/src/sat/satoko/types.h +0 -39
  1704. data/ext/abc/src/sat/satoko/utils/b_queue.h +0 -81
  1705. data/ext/abc/src/sat/satoko/utils/heap.h +0 -178
  1706. data/ext/abc/src/sat/satoko/utils/mem.h +0 -23
  1707. data/ext/abc/src/sat/satoko/utils/misc.h +0 -35
  1708. data/ext/abc/src/sat/satoko/utils/sdbl.h +0 -133
  1709. data/ext/abc/src/sat/satoko/utils/sort.h +0 -65
  1710. data/ext/abc/src/sat/satoko/utils/vec/vec_char.h +0 -260
  1711. data/ext/abc/src/sat/satoko/utils/vec/vec_flt.h +0 -246
  1712. data/ext/abc/src/sat/satoko/utils/vec/vec_int.h +0 -240
  1713. data/ext/abc/src/sat/satoko/utils/vec/vec_sdbl.h +0 -253
  1714. data/ext/abc/src/sat/satoko/utils/vec/vec_uint.h +0 -268
  1715. data/ext/abc/src/sat/satoko/watch_list.h +0 -203
  1716. data/ext/abc/src/sat/xsat/license +0 -39
  1717. data/ext/abc/src/sat/xsat/module.make +0 -3
  1718. data/ext/abc/src/sat/xsat/xsat.h +0 -59
  1719. data/ext/abc/src/sat/xsat/xsatBQueue.h +0 -190
  1720. data/ext/abc/src/sat/xsat/xsatClause.h +0 -109
  1721. data/ext/abc/src/sat/xsat/xsatCnfReader.c +0 -236
  1722. data/ext/abc/src/sat/xsat/xsatHeap.h +0 -330
  1723. data/ext/abc/src/sat/xsat/xsatMemory.h +0 -222
  1724. data/ext/abc/src/sat/xsat/xsatSolver.c +0 -1003
  1725. data/ext/abc/src/sat/xsat/xsatSolver.h +0 -248
  1726. data/ext/abc/src/sat/xsat/xsatSolverAPI.c +0 -346
  1727. data/ext/abc/src/sat/xsat/xsatUtils.h +0 -106
  1728. data/ext/abc/src/sat/xsat/xsatWatchList.h +0 -269
  1729. data/ext/abc/src/starter.c +0 -190
  1730. data/ext/abc/src/template.c +0 -111
  1731. data/ext/extconf.rb +0 -14
  1732. 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
-