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,1619 +0,0 @@
1
- /* zlib.h -- interface of the 'zlib' general purpose compression library
2
- version 1.2.5, April 19th, 2010
3
-
4
- Copyright (C) 1995-2010 Jean-loup Gailly and Mark Adler
5
-
6
- This software is provided 'as-is', without any express or implied
7
- warranty. In no event will the authors be held liable for any damages
8
- arising from the use of this software.
9
-
10
- Permission is granted to anyone to use this software for any purpose,
11
- including commercial applications, and to alter it and redistribute it
12
- freely, subject to the following restrictions:
13
-
14
- 1. The origin of this software must not be misrepresented; you must not
15
- claim that you wrote the original software. If you use this software
16
- in a product, an acknowledgment in the product documentation would be
17
- appreciated but is not required.
18
- 2. Altered source versions must be plainly marked as such, and must not be
19
- misrepresented as being the original software.
20
- 3. This notice may not be removed or altered from any source distribution.
21
-
22
- Jean-loup Gailly Mark Adler
23
- jloup@gzip.org madler@alumni.caltech.edu
24
-
25
-
26
- The data format used by the zlib library is described by RFCs (Request for
27
- Comments) 1950 to 1952 in the files http://www.ietf.org/rfc/rfc1950.txt
28
- (zlib format), rfc1951.txt (deflate format) and rfc1952.txt (gzip format).
29
- */
30
-
31
- #ifndef ZLIB_H
32
- #define ZLIB_H
33
-
34
- #include <stdio.h>
35
- #include <stdlib.h>
36
- #include <string.h>
37
-
38
- #ifndef WIN32
39
- #include <unistd.h>
40
- #endif
41
-
42
- #include "misc/util/abc_global.h"
43
-
44
- #include "zconf.h"
45
-
46
- ABC_NAMESPACE_HEADER_START
47
-
48
- #define ZLIB_VERSION "1.2.5"
49
- #define ZLIB_VERNUM 0x1250
50
- #define ZLIB_VER_MAJOR 1
51
- #define ZLIB_VER_MINOR 2
52
- #define ZLIB_VER_REVISION 5
53
- #define ZLIB_VER_SUBREVISION 0
54
-
55
- /*
56
- The 'zlib' compression library provides in-memory compression and
57
- decompression functions, including integrity checks of the uncompressed data.
58
- This version of the library supports only one compression method (deflation)
59
- but other algorithms will be added later and will have the same stream
60
- interface.
61
-
62
- Compression can be done in a single step if the buffers are large enough,
63
- or can be done by repeated calls of the compression function. In the latter
64
- case, the application must provide more input and/or consume the output
65
- (providing more output space) before each call.
66
-
67
- The compressed data format used by default by the in-memory functions is
68
- the zlib format, which is a zlib wrapper documented in RFC 1950, wrapped
69
- around a deflate stream, which is itself documented in RFC 1951.
70
-
71
- The library also supports reading and writing files in gzip (.gz) format
72
- with an interface similar to that of stdio using the functions that start
73
- with "gz". The gzip format is different from the zlib format. gzip is a
74
- gzip wrapper, documented in RFC 1952, wrapped around a deflate stream.
75
-
76
- This library can optionally read and write gzip streams in memory as well.
77
-
78
- The zlib format was designed to be compact and fast for use in memory
79
- and on communications channels. The gzip format was designed for single-
80
- file compression on file systems, has a larger header than zlib to maintain
81
- directory information, and uses a different, slower check method than zlib.
82
-
83
- The library does not install any signal handler. The decoder checks
84
- the consistency of the compressed data, so the library should never crash
85
- even in case of corrupted input.
86
- */
87
-
88
- typedef voidpf (*alloc_func) OF((voidpf opaque, uInt items, uInt size));
89
- typedef void (*free_func) OF((voidpf opaque, voidpf address));
90
-
91
- struct internal_state;
92
-
93
- typedef struct z_stream_s {
94
- Bytef *next_in; /* next input byte */
95
- uInt avail_in; /* number of bytes available at next_in */
96
- uLong total_in; /* total nb of input bytes read so far */
97
-
98
- Bytef *next_out; /* next output byte should be put there */
99
- uInt avail_out; /* remaining free space at next_out */
100
- uLong total_out; /* total nb of bytes output so far */
101
-
102
- char *msg; /* last error message, NULL if no error */
103
- struct internal_state FAR *state; /* not visible by applications */
104
-
105
- alloc_func zalloc; /* used to allocate the internal state */
106
- free_func zfree; /* used to free the internal state */
107
- voidpf opaque; /* private data object passed to zalloc and zfree */
108
-
109
- int data_type; /* best guess about the data type: binary or text */
110
- uLong adler; /* adler32 value of the uncompressed data */
111
- uLong reserved; /* reserved for future use */
112
- } z_stream;
113
-
114
- typedef z_stream FAR *z_streamp;
115
-
116
- /*
117
- gzip header information passed to and from zlib routines. See RFC 1952
118
- for more details on the meanings of these fields.
119
- */
120
- typedef struct gz_header_s {
121
- int text; /* true if compressed data believed to be text */
122
- uLong time; /* modification time */
123
- int xflags; /* extra flags (not used when writing a gzip file) */
124
- int os; /* operating system */
125
- Bytef *extra; /* pointer to extra field or Z_NULL if none */
126
- uInt extra_len; /* extra field length (valid if extra != Z_NULL) */
127
- uInt extra_max; /* space at extra (only when reading header) */
128
- Bytef *name; /* pointer to zero-terminated file name or Z_NULL */
129
- uInt name_max; /* space at name (only when reading header) */
130
- Bytef *comment; /* pointer to zero-terminated comment or Z_NULL */
131
- uInt comm_max; /* space at comment (only when reading header) */
132
- int hcrc; /* true if there was or will be a header crc */
133
- int done; /* true when done reading gzip header (not used
134
- when writing a gzip file) */
135
- } gz_header;
136
-
137
- typedef gz_header FAR *gz_headerp;
138
-
139
- /*
140
- The application must update next_in and avail_in when avail_in has dropped
141
- to zero. It must update next_out and avail_out when avail_out has dropped
142
- to zero. The application must initialize zalloc, zfree and opaque before
143
- calling the init function. All other fields are set by the compression
144
- library and must not be updated by the application.
145
-
146
- The opaque value provided by the application will be passed as the first
147
- parameter for calls of zalloc and zfree. This can be useful for custom
148
- memory management. The compression library attaches no meaning to the
149
- opaque value.
150
-
151
- zalloc must return Z_NULL if there is not enough memory for the object.
152
- If zlib is used in a multi-threaded application, zalloc and zfree must be
153
- thread safe.
154
-
155
- On 16-bit systems, the functions zalloc and zfree must be able to allocate
156
- exactly 65536 bytes, but will not be required to allocate more than this if
157
- the symbol MAXSEG_64K is defined (see zconf.h). WARNING: On MSDOS, pointers
158
- returned by zalloc for objects of exactly 65536 bytes *must* have their
159
- offset normalized to zero. The default allocation function provided by this
160
- library ensures this (see zutil.c). To reduce memory requirements and avoid
161
- any allocation of 64K objects, at the expense of compression ratio, compile
162
- the library with -DMAX_WBITS=14 (see zconf.h).
163
-
164
- The fields total_in and total_out can be used for statistics or progress
165
- reports. After compression, total_in holds the total size of the
166
- uncompressed data and may be saved for use in the decompressor (particularly
167
- if the decompressor wants to decompress everything in a single step).
168
- */
169
-
170
- /* constants */
171
-
172
- #define Z_NO_FLUSH 0
173
- #define Z_PARTIAL_FLUSH 1
174
- #define Z_SYNC_FLUSH 2
175
- #define Z_FULL_FLUSH 3
176
- #define Z_FINISH 4
177
- #define Z_BLOCK 5
178
- #define Z_TREES 6
179
- /* Allowed flush values; see deflate() and inflate() below for details */
180
-
181
- #define Z_OK 0
182
- #define Z_STREAM_END 1
183
- #define Z_NEED_DICT 2
184
- #define Z_ERRNO (-1)
185
- #define Z_STREAM_ERROR (-2)
186
- #define Z_DATA_ERROR (-3)
187
- #define Z_MEM_ERROR (-4)
188
- #define Z_BUF_ERROR (-5)
189
- #define Z_VERSION_ERROR (-6)
190
- /* Return codes for the compression/decompression functions. Negative values
191
- * are errors, positive values are used for special but normal events.
192
- */
193
-
194
- #define Z_NO_COMPRESSION 0
195
- #define Z_BEST_SPEED 1
196
- #define Z_BEST_COMPRESSION 9
197
- #define Z_DEFAULT_COMPRESSION (-1)
198
- /* compression levels */
199
-
200
- #define Z_FILTERED 1
201
- #define Z_HUFFMAN_ONLY 2
202
- #define Z_RLE 3
203
- #define Z_FIXED 4
204
- #define Z_DEFAULT_STRATEGY 0
205
- /* compression strategy; see deflateInit2() below for details */
206
-
207
- #define Z_BINARY 0
208
- #define Z_TEXT 1
209
- #define Z_ASCII Z_TEXT /* for compatibility with 1.2.2 and earlier */
210
- #define Z_UNKNOWN 2
211
- /* Possible values of the data_type field (though see inflate()) */
212
-
213
- #define Z_DEFLATED 8
214
- /* The deflate compression method (the only one supported in this version) */
215
-
216
- #define Z_NULL 0 /* for initializing zalloc, zfree, opaque */
217
-
218
- #define zlib_version zlibVersion()
219
- /* for compatibility with versions < 1.0.2 */
220
-
221
-
222
- /* basic functions */
223
-
224
- ZEXTERN const char * ZEXPORT zlibVersion OF((void));
225
- /* The application can compare zlibVersion and ZLIB_VERSION for consistency.
226
- If the first character differs, the library code actually used is not
227
- compatible with the zlib.h header file used by the application. This check
228
- is automatically made by deflateInit and inflateInit.
229
- */
230
-
231
- /*
232
- ZEXTERN int ZEXPORT deflateInit OF((z_streamp strm, int level));
233
-
234
- Initializes the internal stream state for compression. The fields
235
- zalloc, zfree and opaque must be initialized before by the caller. If
236
- zalloc and zfree are set to Z_NULL, deflateInit updates them to use default
237
- allocation functions.
238
-
239
- The compression level must be Z_DEFAULT_COMPRESSION, or between 0 and 9:
240
- 1 gives best speed, 9 gives best compression, 0 gives no compression at all
241
- (the input data is simply copied a block at a time). Z_DEFAULT_COMPRESSION
242
- requests a default compromise between speed and compression (currently
243
- equivalent to level 6).
244
-
245
- deflateInit returns Z_OK if success, Z_MEM_ERROR if there was not enough
246
- memory, Z_STREAM_ERROR if level is not a valid compression level, or
247
- Z_VERSION_ERROR if the zlib library version (zlib_version) is incompatible
248
- with the version assumed by the caller (ZLIB_VERSION). msg is set to null
249
- if there is no error message. deflateInit does not perform any compression:
250
- this will be done by deflate().
251
- */
252
-
253
-
254
- ZEXTERN int ZEXPORT deflate OF((z_streamp strm, int flush));
255
- /*
256
- deflate compresses as much data as possible, and stops when the input
257
- buffer becomes empty or the output buffer becomes full. It may introduce
258
- some output latency (reading input without producing any output) except when
259
- forced to flush.
260
-
261
- The detailed semantics are as follows. deflate performs one or both of the
262
- following actions:
263
-
264
- - Compress more input starting at next_in and update next_in and avail_in
265
- accordingly. If not all input can be processed (because there is not
266
- enough room in the output buffer), next_in and avail_in are updated and
267
- processing will resume at this point for the next call of deflate().
268
-
269
- - Provide more output starting at next_out and update next_out and avail_out
270
- accordingly. This action is forced if the parameter flush is non zero.
271
- Forcing flush frequently degrades the compression ratio, so this parameter
272
- should be set only when necessary (in interactive applications). Some
273
- output may be provided even if flush is not set.
274
-
275
- Before the call of deflate(), the application should ensure that at least
276
- one of the actions is possible, by providing more input and/or consuming more
277
- output, and updating avail_in or avail_out accordingly; avail_out should
278
- never be zero before the call. The application can consume the compressed
279
- output when it wants, for example when the output buffer is full (avail_out
280
- == 0), or after each call of deflate(). If deflate returns Z_OK and with
281
- zero avail_out, it must be called again after making room in the output
282
- buffer because there might be more output pending.
283
-
284
- Normally the parameter flush is set to Z_NO_FLUSH, which allows deflate to
285
- decide how much data to accumulate before producing output, in order to
286
- maximize compression.
287
-
288
- If the parameter flush is set to Z_SYNC_FLUSH, all pending output is
289
- flushed to the output buffer and the output is aligned on a byte boundary, so
290
- that the decompressor can get all input data available so far. (In
291
- particular avail_in is zero after the call if enough output space has been
292
- provided before the call.) Flushing may degrade compression for some
293
- compression algorithms and so it should be used only when necessary. This
294
- completes the current deflate block and follows it with an empty stored block
295
- that is three bits plus filler bits to the next byte, followed by four bytes
296
- (00 00 ff ff).
297
-
298
- If flush is set to Z_PARTIAL_FLUSH, all pending output is flushed to the
299
- output buffer, but the output is not aligned to a byte boundary. All of the
300
- input data so far will be available to the decompressor, as for Z_SYNC_FLUSH.
301
- This completes the current deflate block and follows it with an empty fixed
302
- codes block that is 10 bits long. This assures that enough bytes are output
303
- in order for the decompressor to finish the block before the empty fixed code
304
- block.
305
-
306
- If flush is set to Z_BLOCK, a deflate block is completed and emitted, as
307
- for Z_SYNC_FLUSH, but the output is not aligned on a byte boundary, and up to
308
- seven bits of the current block are held to be written as the next byte after
309
- the next deflate block is completed. In this case, the decompressor may not
310
- be provided enough bits at this point in order to complete decompression of
311
- the data provided so far to the compressor. It may need to wait for the next
312
- block to be emitted. This is for advanced applications that need to control
313
- the emission of deflate blocks.
314
-
315
- If flush is set to Z_FULL_FLUSH, all output is flushed as with
316
- Z_SYNC_FLUSH, and the compression state is reset so that decompression can
317
- restart from this point if previous compressed data has been damaged or if
318
- random access is desired. Using Z_FULL_FLUSH too often can seriously degrade
319
- compression.
320
-
321
- If deflate returns with avail_out == 0, this function must be called again
322
- with the same value of the flush parameter and more output space (updated
323
- avail_out), until the flush is complete (deflate returns with non-zero
324
- avail_out). In the case of a Z_FULL_FLUSH or Z_SYNC_FLUSH, make sure that
325
- avail_out is greater than six to avoid repeated flush markers due to
326
- avail_out == 0 on return.
327
-
328
- If the parameter flush is set to Z_FINISH, pending input is processed,
329
- pending output is flushed and deflate returns with Z_STREAM_END if there was
330
- enough output space; if deflate returns with Z_OK, this function must be
331
- called again with Z_FINISH and more output space (updated avail_out) but no
332
- more input data, until it returns with Z_STREAM_END or an error. After
333
- deflate has returned Z_STREAM_END, the only possible operations on the stream
334
- are deflateReset or deflateEnd.
335
-
336
- Z_FINISH can be used immediately after deflateInit if all the compression
337
- is to be done in a single step. In this case, avail_out must be at least the
338
- value returned by deflateBound (see below). If deflate does not return
339
- Z_STREAM_END, then it must be called again as described above.
340
-
341
- deflate() sets strm->adler to the adler32 checksum of all input read
342
- so far (that is, total_in bytes).
343
-
344
- deflate() may update strm->data_type if it can make a good guess about
345
- the input data type (Z_BINARY or Z_TEXT). In doubt, the data is considered
346
- binary. This field is only for information purposes and does not affect the
347
- compression algorithm in any manner.
348
-
349
- deflate() returns Z_OK if some progress has been made (more input
350
- processed or more output produced), Z_STREAM_END if all input has been
351
- consumed and all output has been produced (only when flush is set to
352
- Z_FINISH), Z_STREAM_ERROR if the stream state was inconsistent (for example
353
- if next_in or next_out was Z_NULL), Z_BUF_ERROR if no progress is possible
354
- (for example avail_in or avail_out was zero). Note that Z_BUF_ERROR is not
355
- fatal, and deflate() can be called again with more input and more output
356
- space to continue compressing.
357
- */
358
-
359
-
360
- ZEXTERN int ZEXPORT deflateEnd OF((z_streamp strm));
361
- /*
362
- All dynamically allocated data structures for this stream are freed.
363
- This function discards any unprocessed input and does not flush any pending
364
- output.
365
-
366
- deflateEnd returns Z_OK if success, Z_STREAM_ERROR if the
367
- stream state was inconsistent, Z_DATA_ERROR if the stream was freed
368
- prematurely (some input or output was discarded). In the error case, msg
369
- may be set but then points to a static string (which must not be
370
- deallocated).
371
- */
372
-
373
-
374
- /*
375
- ZEXTERN int ZEXPORT inflateInit OF((z_streamp strm));
376
-
377
- Initializes the internal stream state for decompression. The fields
378
- next_in, avail_in, zalloc, zfree and opaque must be initialized before by
379
- the caller. If next_in is not Z_NULL and avail_in is large enough (the
380
- exact value depends on the compression method), inflateInit determines the
381
- compression method from the zlib header and allocates all data structures
382
- accordingly; otherwise the allocation will be deferred to the first call of
383
- inflate. If zalloc and zfree are set to Z_NULL, inflateInit updates them to
384
- use default allocation functions.
385
-
386
- inflateInit returns Z_OK if success, Z_MEM_ERROR if there was not enough
387
- memory, Z_VERSION_ERROR if the zlib library version is incompatible with the
388
- version assumed by the caller, or Z_STREAM_ERROR if the parameters are
389
- invalid, such as a null pointer to the structure. msg is set to null if
390
- there is no error message. inflateInit does not perform any decompression
391
- apart from possibly reading the zlib header if present: actual decompression
392
- will be done by inflate(). (So next_in and avail_in may be modified, but
393
- next_out and avail_out are unused and unchanged.) The current implementation
394
- of inflateInit() does not process any header information -- that is deferred
395
- until inflate() is called.
396
- */
397
-
398
-
399
- ZEXTERN int ZEXPORT inflate OF((z_streamp strm, int flush));
400
- /*
401
- inflate decompresses as much data as possible, and stops when the input
402
- buffer becomes empty or the output buffer becomes full. It may introduce
403
- some output latency (reading input without producing any output) except when
404
- forced to flush.
405
-
406
- The detailed semantics are as follows. inflate performs one or both of the
407
- following actions:
408
-
409
- - Decompress more input starting at next_in and update next_in and avail_in
410
- accordingly. If not all input can be processed (because there is not
411
- enough room in the output buffer), next_in is updated and processing will
412
- resume at this point for the next call of inflate().
413
-
414
- - Provide more output starting at next_out and update next_out and avail_out
415
- accordingly. inflate() provides as much output as possible, until there is
416
- no more input data or no more space in the output buffer (see below about
417
- the flush parameter).
418
-
419
- Before the call of inflate(), the application should ensure that at least
420
- one of the actions is possible, by providing more input and/or consuming more
421
- output, and updating the next_* and avail_* values accordingly. The
422
- application can consume the uncompressed output when it wants, for example
423
- when the output buffer is full (avail_out == 0), or after each call of
424
- inflate(). If inflate returns Z_OK and with zero avail_out, it must be
425
- called again after making room in the output buffer because there might be
426
- more output pending.
427
-
428
- The flush parameter of inflate() can be Z_NO_FLUSH, Z_SYNC_FLUSH, Z_FINISH,
429
- Z_BLOCK, or Z_TREES. Z_SYNC_FLUSH requests that inflate() flush as much
430
- output as possible to the output buffer. Z_BLOCK requests that inflate()
431
- stop if and when it gets to the next deflate block boundary. When decoding
432
- the zlib or gzip format, this will cause inflate() to return immediately
433
- after the header and before the first block. When doing a raw inflate,
434
- inflate() will go ahead and process the first block, and will return when it
435
- gets to the end of that block, or when it runs out of data.
436
-
437
- The Z_BLOCK option assists in appending to or combining deflate streams.
438
- Also to assist in this, on return inflate() will set strm->data_type to the
439
- number of unused bits in the last byte taken from strm->next_in, plus 64 if
440
- inflate() is currently decoding the last block in the deflate stream, plus
441
- 128 if inflate() returned immediately after decoding an end-of-block code or
442
- decoding the complete header up to just before the first byte of the deflate
443
- stream. The end-of-block will not be indicated until all of the uncompressed
444
- data from that block has been written to strm->next_out. The number of
445
- unused bits may in general be greater than seven, except when bit 7 of
446
- data_type is set, in which case the number of unused bits will be less than
447
- eight. data_type is set as noted here every time inflate() returns for all
448
- flush options, and so can be used to determine the amount of currently
449
- consumed input in bits.
450
-
451
- The Z_TREES option behaves as Z_BLOCK does, but it also returns when the
452
- end of each deflate block header is reached, before any actual data in that
453
- block is decoded. This allows the caller to determine the length of the
454
- deflate block header for later use in random access within a deflate block.
455
- 256 is added to the value of strm->data_type when inflate() returns
456
- immediately after reaching the end of the deflate block header.
457
-
458
- inflate() should normally be called until it returns Z_STREAM_END or an
459
- error. However if all decompression is to be performed in a single step (a
460
- single call of inflate), the parameter flush should be set to Z_FINISH. In
461
- this case all pending input is processed and all pending output is flushed;
462
- avail_out must be large enough to hold all the uncompressed data. (The size
463
- of the uncompressed data may have been saved by the compressor for this
464
- purpose.) The next operation on this stream must be inflateEnd to deallocate
465
- the decompression state. The use of Z_FINISH is never required, but can be
466
- used to inform inflate that a faster approach may be used for the single
467
- inflate() call.
468
-
469
- In this implementation, inflate() always flushes as much output as
470
- possible to the output buffer, and always uses the faster approach on the
471
- first call. So the only effect of the flush parameter in this implementation
472
- is on the return value of inflate(), as noted below, or when it returns early
473
- because Z_BLOCK or Z_TREES is used.
474
-
475
- If a preset dictionary is needed after this call (see inflateSetDictionary
476
- below), inflate sets strm->adler to the adler32 checksum of the dictionary
477
- chosen by the compressor and returns Z_NEED_DICT; otherwise it sets
478
- strm->adler to the adler32 checksum of all output produced so far (that is,
479
- total_out bytes) and returns Z_OK, Z_STREAM_END or an error code as described
480
- below. At the end of the stream, inflate() checks that its computed adler32
481
- checksum is equal to that saved by the compressor and returns Z_STREAM_END
482
- only if the checksum is correct.
483
-
484
- inflate() can decompress and check either zlib-wrapped or gzip-wrapped
485
- deflate data. The header type is detected automatically, if requested when
486
- initializing with inflateInit2(). Any information contained in the gzip
487
- header is not retained, so applications that need that information should
488
- instead use raw inflate, see inflateInit2() below, or inflateBack() and
489
- perform their own processing of the gzip header and trailer.
490
-
491
- inflate() returns Z_OK if some progress has been made (more input processed
492
- or more output produced), Z_STREAM_END if the end of the compressed data has
493
- been reached and all uncompressed output has been produced, Z_NEED_DICT if a
494
- preset dictionary is needed at this point, Z_DATA_ERROR if the input data was
495
- corrupted (input stream not conforming to the zlib format or incorrect check
496
- value), Z_STREAM_ERROR if the stream structure was inconsistent (for example
497
- next_in or next_out was Z_NULL), Z_MEM_ERROR if there was not enough memory,
498
- Z_BUF_ERROR if no progress is possible or if there was not enough room in the
499
- output buffer when Z_FINISH is used. Note that Z_BUF_ERROR is not fatal, and
500
- inflate() can be called again with more input and more output space to
501
- continue decompressing. If Z_DATA_ERROR is returned, the application may
502
- then call inflateSync() to look for a good compression block if a partial
503
- recovery of the data is desired.
504
- */
505
-
506
-
507
- ZEXTERN int ZEXPORT inflateEnd OF((z_streamp strm));
508
- /*
509
- All dynamically allocated data structures for this stream are freed.
510
- This function discards any unprocessed input and does not flush any pending
511
- output.
512
-
513
- inflateEnd returns Z_OK if success, Z_STREAM_ERROR if the stream state
514
- was inconsistent. In the error case, msg may be set but then points to a
515
- static string (which must not be deallocated).
516
- */
517
-
518
-
519
- /* Advanced functions */
520
-
521
- /*
522
- The following functions are needed only in some special applications.
523
- */
524
-
525
- /*
526
- ZEXTERN int ZEXPORT deflateInit2 OF((z_streamp strm,
527
- int level,
528
- int method,
529
- int windowBits,
530
- int memLevel,
531
- int strategy));
532
-
533
- This is another version of deflateInit with more compression options. The
534
- fields next_in, zalloc, zfree and opaque must be initialized before by the
535
- caller.
536
-
537
- The method parameter is the compression method. It must be Z_DEFLATED in
538
- this version of the library.
539
-
540
- The windowBits parameter is the base two logarithm of the window size
541
- (the size of the history buffer). It should be in the range 8..15 for this
542
- version of the library. Larger values of this parameter result in better
543
- compression at the expense of memory usage. The default value is 15 if
544
- deflateInit is used instead.
545
-
546
- windowBits can also be -8..-15 for raw deflate. In this case, -windowBits
547
- determines the window size. deflate() will then generate raw deflate data
548
- with no zlib header or trailer, and will not compute an adler32 check value.
549
-
550
- windowBits can also be greater than 15 for optional gzip encoding. Add
551
- 16 to windowBits to write a simple gzip header and trailer around the
552
- compressed data instead of a zlib wrapper. The gzip header will have no
553
- file name, no extra data, no comment, no modification time (set to zero), no
554
- header crc, and the operating system will be set to 255 (unknown). If a
555
- gzip stream is being written, strm->adler is a crc32 instead of an adler32.
556
-
557
- The memLevel parameter specifies how much memory should be allocated
558
- for the internal compression state. memLevel=1 uses minimum memory but is
559
- slow and reduces compression ratio; memLevel=9 uses maximum memory for
560
- optimal speed. The default value is 8. See zconf.h for total memory usage
561
- as a function of windowBits and memLevel.
562
-
563
- The strategy parameter is used to tune the compression algorithm. Use the
564
- value Z_DEFAULT_STRATEGY for normal data, Z_FILTERED for data produced by a
565
- filter (or predictor), Z_HUFFMAN_ONLY to force Huffman encoding only (no
566
- string match), or Z_RLE to limit match distances to one (run-length
567
- encoding). Filtered data consists mostly of small values with a somewhat
568
- random distribution. In this case, the compression algorithm is tuned to
569
- compress them better. The effect of Z_FILTERED is to force more Huffman
570
- coding and less string matching; it is somewhat intermediate between
571
- Z_DEFAULT_STRATEGY and Z_HUFFMAN_ONLY. Z_RLE is designed to be almost as
572
- fast as Z_HUFFMAN_ONLY, but give better compression for PNG image data. The
573
- strategy parameter only affects the compression ratio but not the
574
- correctness of the compressed output even if it is not set appropriately.
575
- Z_FIXED prevents the use of dynamic Huffman codes, allowing for a simpler
576
- decoder for special applications.
577
-
578
- deflateInit2 returns Z_OK if success, Z_MEM_ERROR if there was not enough
579
- memory, Z_STREAM_ERROR if any parameter is invalid (such as an invalid
580
- method), or Z_VERSION_ERROR if the zlib library version (zlib_version) is
581
- incompatible with the version assumed by the caller (ZLIB_VERSION). msg is
582
- set to null if there is no error message. deflateInit2 does not perform any
583
- compression: this will be done by deflate().
584
- */
585
-
586
- ZEXTERN int ZEXPORT deflateSetDictionary OF((z_streamp strm,
587
- const Bytef *dictionary,
588
- uInt dictLength));
589
- /*
590
- Initializes the compression dictionary from the given byte sequence
591
- without producing any compressed output. This function must be called
592
- immediately after deflateInit, deflateInit2 or deflateReset, before any call
593
- of deflate. The compressor and decompressor must use exactly the same
594
- dictionary (see inflateSetDictionary).
595
-
596
- The dictionary should consist of strings (byte sequences) that are likely
597
- to be encountered later in the data to be compressed, with the most commonly
598
- used strings preferably put towards the end of the dictionary. Using a
599
- dictionary is most useful when the data to be compressed is short and can be
600
- predicted with good accuracy; the data can then be compressed better than
601
- with the default empty dictionary.
602
-
603
- Depending on the size of the compression data structures selected by
604
- deflateInit or deflateInit2, a part of the dictionary may in effect be
605
- discarded, for example if the dictionary is larger than the window size
606
- provided in deflateInit or deflateInit2. Thus the strings most likely to be
607
- useful should be put at the end of the dictionary, not at the front. In
608
- addition, the current implementation of deflate will use at most the window
609
- size minus 262 bytes of the provided dictionary.
610
-
611
- Upon return of this function, strm->adler is set to the adler32 value
612
- of the dictionary; the decompressor may later use this value to determine
613
- which dictionary has been used by the compressor. (The adler32 value
614
- applies to the whole dictionary even if only a subset of the dictionary is
615
- actually used by the compressor.) If a raw deflate was requested, then the
616
- adler32 value is not computed and strm->adler is not set.
617
-
618
- deflateSetDictionary returns Z_OK if success, or Z_STREAM_ERROR if a
619
- parameter is invalid (e.g. dictionary being Z_NULL) or the stream state is
620
- inconsistent (for example if deflate has already been called for this stream
621
- or if the compression method is bsort). deflateSetDictionary does not
622
- perform any compression: this will be done by deflate().
623
- */
624
-
625
- ZEXTERN int ZEXPORT deflateCopy OF((z_streamp dest,
626
- z_streamp source));
627
- /*
628
- Sets the destination stream as a complete copy of the source stream.
629
-
630
- This function can be useful when several compression strategies will be
631
- tried, for example when there are several ways of pre-processing the input
632
- data with a filter. The streams that will be discarded should then be freed
633
- by calling deflateEnd. Note that deflateCopy duplicates the internal
634
- compression state which can be quite large, so this strategy is slow and can
635
- consume lots of memory.
636
-
637
- deflateCopy returns Z_OK if success, Z_MEM_ERROR if there was not
638
- enough memory, Z_STREAM_ERROR if the source stream state was inconsistent
639
- (such as zalloc being Z_NULL). msg is left unchanged in both source and
640
- destination.
641
- */
642
-
643
- ZEXTERN int ZEXPORT deflateReset OF((z_streamp strm));
644
- /*
645
- This function is equivalent to deflateEnd followed by deflateInit,
646
- but does not free and reallocate all the internal compression state. The
647
- stream will keep the same compression level and any other attributes that
648
- may have been set by deflateInit2.
649
-
650
- deflateReset returns Z_OK if success, or Z_STREAM_ERROR if the source
651
- stream state was inconsistent (such as zalloc or state being Z_NULL).
652
- */
653
-
654
- ZEXTERN int ZEXPORT deflateParams OF((z_streamp strm,
655
- int level,
656
- int strategy));
657
- /*
658
- Dynamically update the compression level and compression strategy. The
659
- interpretation of level and strategy is as in deflateInit2. This can be
660
- used to switch between compression and straight copy of the input data, or
661
- to switch to a different kind of input data requiring a different strategy.
662
- If the compression level is changed, the input available so far is
663
- compressed with the old level (and may be flushed); the new level will take
664
- effect only at the next call of deflate().
665
-
666
- Before the call of deflateParams, the stream state must be set as for
667
- a call of deflate(), since the currently available input may have to be
668
- compressed and flushed. In particular, strm->avail_out must be non-zero.
669
-
670
- deflateParams returns Z_OK if success, Z_STREAM_ERROR if the source
671
- stream state was inconsistent or if a parameter was invalid, Z_BUF_ERROR if
672
- strm->avail_out was zero.
673
- */
674
-
675
- ZEXTERN int ZEXPORT deflateTune OF((z_streamp strm,
676
- int good_length,
677
- int max_lazy,
678
- int nice_length,
679
- int max_chain));
680
- /*
681
- Fine tune deflate's internal compression parameters. This should only be
682
- used by someone who understands the algorithm used by zlib's deflate for
683
- searching for the best matching string, and even then only by the most
684
- fanatic optimizer trying to squeeze out the last compressed bit for their
685
- specific input data. Read the deflate.c source code for the meaning of the
686
- max_lazy, good_length, nice_length, and max_chain parameters.
687
-
688
- deflateTune() can be called after deflateInit() or deflateInit2(), and
689
- returns Z_OK on success, or Z_STREAM_ERROR for an invalid deflate stream.
690
- */
691
-
692
- ZEXTERN uLong ZEXPORT deflateBound OF((z_streamp strm,
693
- uLong sourceLen));
694
- /*
695
- deflateBound() returns an upper bound on the compressed size after
696
- deflation of sourceLen bytes. It must be called after deflateInit() or
697
- deflateInit2(), and after deflateSetHeader(), if used. This would be used
698
- to allocate an output buffer for deflation in a single pass, and so would be
699
- called before deflate().
700
- */
701
-
702
- ZEXTERN int ZEXPORT deflatePrime OF((z_streamp strm,
703
- int bits,
704
- int value));
705
- /*
706
- deflatePrime() inserts bits in the deflate output stream. The intent
707
- is that this function is used to start off the deflate output with the bits
708
- leftover from a previous deflate stream when appending to it. As such, this
709
- function can only be used for raw deflate, and must be used before the first
710
- deflate() call after a deflateInit2() or deflateReset(). bits must be less
711
- than or equal to 16, and that many of the least significant bits of value
712
- will be inserted in the output.
713
-
714
- deflatePrime returns Z_OK if success, or Z_STREAM_ERROR if the source
715
- stream state was inconsistent.
716
- */
717
-
718
- ZEXTERN int ZEXPORT deflateSetHeader OF((z_streamp strm,
719
- gz_headerp head));
720
- /*
721
- deflateSetHeader() provides gzip header information for when a gzip
722
- stream is requested by deflateInit2(). deflateSetHeader() may be called
723
- after deflateInit2() or deflateReset() and before the first call of
724
- deflate(). The text, time, os, extra field, name, and comment information
725
- in the provided gz_header structure are written to the gzip header (xflag is
726
- ignored -- the extra flags are set according to the compression level). The
727
- caller must assure that, if not Z_NULL, name and comment are terminated with
728
- a zero byte, and that if extra is not Z_NULL, that extra_len bytes are
729
- available there. If hcrc is true, a gzip header crc is included. Note that
730
- the current versions of the command-line version of gzip (up through version
731
- 1.3.x) do not support header crc's, and will report that it is a "multi-part
732
- gzip file" and give up.
733
-
734
- If deflateSetHeader is not used, the default gzip header has text false,
735
- the time set to zero, and os set to 255, with no extra, name, or comment
736
- fields. The gzip header is returned to the default state by deflateReset().
737
-
738
- deflateSetHeader returns Z_OK if success, or Z_STREAM_ERROR if the source
739
- stream state was inconsistent.
740
- */
741
-
742
- /*
743
- ZEXTERN int ZEXPORT inflateInit2 OF((z_streamp strm,
744
- int windowBits));
745
-
746
- This is another version of inflateInit with an extra parameter. The
747
- fields next_in, avail_in, zalloc, zfree and opaque must be initialized
748
- before by the caller.
749
-
750
- The windowBits parameter is the base two logarithm of the maximum window
751
- size (the size of the history buffer). It should be in the range 8..15 for
752
- this version of the library. The default value is 15 if inflateInit is used
753
- instead. windowBits must be greater than or equal to the windowBits value
754
- provided to deflateInit2() while compressing, or it must be equal to 15 if
755
- deflateInit2() was not used. If a compressed stream with a larger window
756
- size is given as input, inflate() will return with the error code
757
- Z_DATA_ERROR instead of trying to allocate a larger window.
758
-
759
- windowBits can also be zero to request that inflate use the window size in
760
- the zlib header of the compressed stream.
761
-
762
- windowBits can also be -8..-15 for raw inflate. In this case, -windowBits
763
- determines the window size. inflate() will then process raw deflate data,
764
- not looking for a zlib or gzip header, not generating a check value, and not
765
- looking for any check values for comparison at the end of the stream. This
766
- is for use with other formats that use the deflate compressed data format
767
- such as zip. Those formats provide their own check values. If a custom
768
- format is developed using the raw deflate format for compressed data, it is
769
- recommended that a check value such as an adler32 or a crc32 be applied to
770
- the uncompressed data as is done in the zlib, gzip, and zip formats. For
771
- most applications, the zlib format should be used as is. Note that comments
772
- above on the use in deflateInit2() applies to the magnitude of windowBits.
773
-
774
- windowBits can also be greater than 15 for optional gzip decoding. Add
775
- 32 to windowBits to enable zlib and gzip decoding with automatic header
776
- detection, or add 16 to decode only the gzip format (the zlib format will
777
- return a Z_DATA_ERROR). If a gzip stream is being decoded, strm->adler is a
778
- crc32 instead of an adler32.
779
-
780
- inflateInit2 returns Z_OK if success, Z_MEM_ERROR if there was not enough
781
- memory, Z_VERSION_ERROR if the zlib library version is incompatible with the
782
- version assumed by the caller, or Z_STREAM_ERROR if the parameters are
783
- invalid, such as a null pointer to the structure. msg is set to null if
784
- there is no error message. inflateInit2 does not perform any decompression
785
- apart from possibly reading the zlib header if present: actual decompression
786
- will be done by inflate(). (So next_in and avail_in may be modified, but
787
- next_out and avail_out are unused and unchanged.) The current implementation
788
- of inflateInit2() does not process any header information -- that is
789
- deferred until inflate() is called.
790
- */
791
-
792
- ZEXTERN int ZEXPORT inflateSetDictionary OF((z_streamp strm,
793
- const Bytef *dictionary,
794
- uInt dictLength));
795
- /*
796
- Initializes the decompression dictionary from the given uncompressed byte
797
- sequence. This function must be called immediately after a call of inflate,
798
- if that call returned Z_NEED_DICT. The dictionary chosen by the compressor
799
- can be determined from the adler32 value returned by that call of inflate.
800
- The compressor and decompressor must use exactly the same dictionary (see
801
- deflateSetDictionary). For raw inflate, this function can be called
802
- immediately after inflateInit2() or inflateReset() and before any call of
803
- inflate() to set the dictionary. The application must insure that the
804
- dictionary that was used for compression is provided.
805
-
806
- inflateSetDictionary returns Z_OK if success, Z_STREAM_ERROR if a
807
- parameter is invalid (e.g. dictionary being Z_NULL) or the stream state is
808
- inconsistent, Z_DATA_ERROR if the given dictionary doesn't match the
809
- expected one (incorrect adler32 value). inflateSetDictionary does not
810
- perform any decompression: this will be done by subsequent calls of
811
- inflate().
812
- */
813
-
814
- ZEXTERN int ZEXPORT inflateSync OF((z_streamp strm));
815
- /*
816
- Skips invalid compressed data until a full flush point (see above the
817
- description of deflate with Z_FULL_FLUSH) can be found, or until all
818
- available input is skipped. No output is provided.
819
-
820
- inflateSync returns Z_OK if a full flush point has been found, Z_BUF_ERROR
821
- if no more input was provided, Z_DATA_ERROR if no flush point has been
822
- found, or Z_STREAM_ERROR if the stream structure was inconsistent. In the
823
- success case, the application may save the current current value of total_in
824
- which indicates where valid compressed data was found. In the error case,
825
- the application may repeatedly call inflateSync, providing more input each
826
- time, until success or end of the input data.
827
- */
828
-
829
- ZEXTERN int ZEXPORT inflateCopy OF((z_streamp dest,
830
- z_streamp source));
831
- /*
832
- Sets the destination stream as a complete copy of the source stream.
833
-
834
- This function can be useful when randomly accessing a large stream. The
835
- first pass through the stream can periodically record the inflate state,
836
- allowing restarting inflate at those points when randomly accessing the
837
- stream.
838
-
839
- inflateCopy returns Z_OK if success, Z_MEM_ERROR if there was not
840
- enough memory, Z_STREAM_ERROR if the source stream state was inconsistent
841
- (such as zalloc being Z_NULL). msg is left unchanged in both source and
842
- destination.
843
- */
844
-
845
- ZEXTERN int ZEXPORT inflateReset OF((z_streamp strm));
846
- /*
847
- This function is equivalent to inflateEnd followed by inflateInit,
848
- but does not free and reallocate all the internal decompression state. The
849
- stream will keep attributes that may have been set by inflateInit2.
850
-
851
- inflateReset returns Z_OK if success, or Z_STREAM_ERROR if the source
852
- stream state was inconsistent (such as zalloc or state being Z_NULL).
853
- */
854
-
855
- ZEXTERN int ZEXPORT inflateReset2 OF((z_streamp strm,
856
- int windowBits));
857
- /*
858
- This function is the same as inflateReset, but it also permits changing
859
- the wrap and window size requests. The windowBits parameter is interpreted
860
- the same as it is for inflateInit2.
861
-
862
- inflateReset2 returns Z_OK if success, or Z_STREAM_ERROR if the source
863
- stream state was inconsistent (such as zalloc or state being Z_NULL), or if
864
- the windowBits parameter is invalid.
865
- */
866
-
867
- ZEXTERN int ZEXPORT inflatePrime OF((z_streamp strm,
868
- int bits,
869
- int value));
870
- /*
871
- This function inserts bits in the inflate input stream. The intent is
872
- that this function is used to start inflating at a bit position in the
873
- middle of a byte. The provided bits will be used before any bytes are used
874
- from next_in. This function should only be used with raw inflate, and
875
- should be used before the first inflate() call after inflateInit2() or
876
- inflateReset(). bits must be less than or equal to 16, and that many of the
877
- least significant bits of value will be inserted in the input.
878
-
879
- If bits is negative, then the input stream bit buffer is emptied. Then
880
- inflatePrime() can be called again to put bits in the buffer. This is used
881
- to clear out bits leftover after feeding inflate a block description prior
882
- to feeding inflate codes.
883
-
884
- inflatePrime returns Z_OK if success, or Z_STREAM_ERROR if the source
885
- stream state was inconsistent.
886
- */
887
-
888
- ZEXTERN long ZEXPORT inflateMark OF((z_streamp strm));
889
- /*
890
- This function returns two values, one in the lower 16 bits of the return
891
- value, and the other in the remaining upper bits, obtained by shifting the
892
- return value down 16 bits. If the upper value is -1 and the lower value is
893
- zero, then inflate() is currently decoding information outside of a block.
894
- If the upper value is -1 and the lower value is non-zero, then inflate is in
895
- the middle of a stored block, with the lower value equaling the number of
896
- bytes from the input remaining to copy. If the upper value is not -1, then
897
- it is the number of bits back from the current bit position in the input of
898
- the code (literal or length/distance pair) currently being processed. In
899
- that case the lower value is the number of bytes already emitted for that
900
- code.
901
-
902
- A code is being processed if inflate is waiting for more input to complete
903
- decoding of the code, or if it has completed decoding but is waiting for
904
- more output space to write the literal or match data.
905
-
906
- inflateMark() is used to mark locations in the input data for random
907
- access, which may be at bit positions, and to note those cases where the
908
- output of a code may span boundaries of random access blocks. The current
909
- location in the input stream can be determined from avail_in and data_type
910
- as noted in the description for the Z_BLOCK flush parameter for inflate.
911
-
912
- inflateMark returns the value noted above or -1 << 16 if the provided
913
- source stream state was inconsistent.
914
- */
915
-
916
- ZEXTERN int ZEXPORT inflateGetHeader OF((z_streamp strm,
917
- gz_headerp head));
918
- /*
919
- inflateGetHeader() requests that gzip header information be stored in the
920
- provided gz_header structure. inflateGetHeader() may be called after
921
- inflateInit2() or inflateReset(), and before the first call of inflate().
922
- As inflate() processes the gzip stream, head->done is zero until the header
923
- is completed, at which time head->done is set to one. If a zlib stream is
924
- being decoded, then head->done is set to -1 to indicate that there will be
925
- no gzip header information forthcoming. Note that Z_BLOCK or Z_TREES can be
926
- used to force inflate() to return immediately after header processing is
927
- complete and before any actual data is decompressed.
928
-
929
- The text, time, xflags, and os fields are filled in with the gzip header
930
- contents. hcrc is set to true if there is a header CRC. (The header CRC
931
- was valid if done is set to one.) If extra is not Z_NULL, then extra_max
932
- contains the maximum number of bytes to write to extra. Once done is true,
933
- extra_len contains the actual extra field length, and extra contains the
934
- extra field, or that field truncated if extra_max is less than extra_len.
935
- If name is not Z_NULL, then up to name_max characters are written there,
936
- terminated with a zero unless the length is greater than name_max. If
937
- comment is not Z_NULL, then up to comm_max characters are written there,
938
- terminated with a zero unless the length is greater than comm_max. When any
939
- of extra, name, or comment are not Z_NULL and the respective field is not
940
- present in the header, then that field is set to Z_NULL to signal its
941
- absence. This allows the use of deflateSetHeader() with the returned
942
- structure to duplicate the header. However if those fields are set to
943
- allocated memory, then the application will need to save those pointers
944
- elsewhere so that they can be eventually freed.
945
-
946
- If inflateGetHeader is not used, then the header information is simply
947
- discarded. The header is always checked for validity, including the header
948
- CRC if present. inflateReset() will reset the process to discard the header
949
- information. The application would need to call inflateGetHeader() again to
950
- retrieve the header from the next gzip stream.
951
-
952
- inflateGetHeader returns Z_OK if success, or Z_STREAM_ERROR if the source
953
- stream state was inconsistent.
954
- */
955
-
956
- /*
957
- ZEXTERN int ZEXPORT inflateBackInit OF((z_streamp strm, int windowBits,
958
- unsigned char FAR *window));
959
-
960
- Initialize the internal stream state for decompression using inflateBack()
961
- calls. The fields zalloc, zfree and opaque in strm must be initialized
962
- before the call. If zalloc and zfree are Z_NULL, then the default library-
963
- derived memory allocation routines are used. windowBits is the base two
964
- logarithm of the window size, in the range 8..15. window is a caller
965
- supplied buffer of that size. Except for special applications where it is
966
- assured that deflate was used with small window sizes, windowBits must be 15
967
- and a 32K byte window must be supplied to be able to decompress general
968
- deflate streams.
969
-
970
- See inflateBack() for the usage of these routines.
971
-
972
- inflateBackInit will return Z_OK on success, Z_STREAM_ERROR if any of
973
- the paramaters are invalid, Z_MEM_ERROR if the internal state could not be
974
- allocated, or Z_VERSION_ERROR if the version of the library does not match
975
- the version of the header file.
976
- */
977
-
978
- typedef unsigned (*in_func) OF((void FAR *, unsigned char FAR * FAR *));
979
- typedef int (*out_func) OF((void FAR *, unsigned char FAR *, unsigned));
980
-
981
- ZEXTERN int ZEXPORT inflateBack OF((z_streamp strm,
982
- in_func in, void FAR *in_desc,
983
- out_func out, void FAR *out_desc));
984
- /*
985
- inflateBack() does a raw inflate with a single call using a call-back
986
- interface for input and output. This is more efficient than inflate() for
987
- file i/o applications in that it avoids copying between the output and the
988
- sliding window by simply making the window itself the output buffer. This
989
- function trusts the application to not change the output buffer passed by
990
- the output function, at least until inflateBack() returns.
991
-
992
- inflateBackInit() must be called first to allocate the internal state
993
- and to initialize the state with the user-provided window buffer.
994
- inflateBack() may then be used multiple times to inflate a complete, raw
995
- deflate stream with each call. inflateBackEnd() is then called to free the
996
- allocated state.
997
-
998
- A raw deflate stream is one with no zlib or gzip header or trailer.
999
- This routine would normally be used in a utility that reads zip or gzip
1000
- files and writes out uncompressed files. The utility would decode the
1001
- header and process the trailer on its own, hence this routine expects only
1002
- the raw deflate stream to decompress. This is different from the normal
1003
- behavior of inflate(), which expects either a zlib or gzip header and
1004
- trailer around the deflate stream.
1005
-
1006
- inflateBack() uses two subroutines supplied by the caller that are then
1007
- called by inflateBack() for input and output. inflateBack() calls those
1008
- routines until it reads a complete deflate stream and writes out all of the
1009
- uncompressed data, or until it encounters an error. The function's
1010
- parameters and return types are defined above in the in_func and out_func
1011
- typedefs. inflateBack() will call in(in_desc, &buf) which should return the
1012
- number of bytes of provided input, and a pointer to that input in buf. If
1013
- there is no input available, in() must return zero--buf is ignored in that
1014
- case--and inflateBack() will return a buffer error. inflateBack() will call
1015
- out(out_desc, buf, len) to write the uncompressed data buf[0..len-1]. out()
1016
- should return zero on success, or non-zero on failure. If out() returns
1017
- non-zero, inflateBack() will return with an error. Neither in() nor out()
1018
- are permitted to change the contents of the window provided to
1019
- inflateBackInit(), which is also the buffer that out() uses to write from.
1020
- The length written by out() will be at most the window size. Any non-zero
1021
- amount of input may be provided by in().
1022
-
1023
- For convenience, inflateBack() can be provided input on the first call by
1024
- setting strm->next_in and strm->avail_in. If that input is exhausted, then
1025
- in() will be called. Therefore strm->next_in must be initialized before
1026
- calling inflateBack(). If strm->next_in is Z_NULL, then in() will be called
1027
- immediately for input. If strm->next_in is not Z_NULL, then strm->avail_in
1028
- must also be initialized, and then if strm->avail_in is not zero, input will
1029
- initially be taken from strm->next_in[0 .. strm->avail_in - 1].
1030
-
1031
- The in_desc and out_desc parameters of inflateBack() is passed as the
1032
- first parameter of in() and out() respectively when they are called. These
1033
- descriptors can be optionally used to pass any information that the caller-
1034
- supplied in() and out() functions need to do their job.
1035
-
1036
- On return, inflateBack() will set strm->next_in and strm->avail_in to
1037
- pass back any unused input that was provided by the last in() call. The
1038
- return values of inflateBack() can be Z_STREAM_END on success, Z_BUF_ERROR
1039
- if in() or out() returned an error, Z_DATA_ERROR if there was a format error
1040
- in the deflate stream (in which case strm->msg is set to indicate the nature
1041
- of the error), or Z_STREAM_ERROR if the stream was not properly initialized.
1042
- In the case of Z_BUF_ERROR, an input or output error can be distinguished
1043
- using strm->next_in which will be Z_NULL only if in() returned an error. If
1044
- strm->next_in is not Z_NULL, then the Z_BUF_ERROR was due to out() returning
1045
- non-zero. (in() will always be called before out(), so strm->next_in is
1046
- assured to be defined if out() returns non-zero.) Note that inflateBack()
1047
- cannot return Z_OK.
1048
- */
1049
-
1050
- ZEXTERN int ZEXPORT inflateBackEnd OF((z_streamp strm));
1051
- /*
1052
- All memory allocated by inflateBackInit() is freed.
1053
-
1054
- inflateBackEnd() returns Z_OK on success, or Z_STREAM_ERROR if the stream
1055
- state was inconsistent.
1056
- */
1057
-
1058
- ZEXTERN uLong ZEXPORT zlibCompileFlags OF((void));
1059
- /* Return flags indicating compile-time options.
1060
-
1061
- Type sizes, two bits each, 00 = 16 bits, 01 = 32, 10 = 64, 11 = other:
1062
- 1.0: size of uInt
1063
- 3.2: size of uLong
1064
- 5.4: size of voidpf (pointer)
1065
- 7.6: size of z_off_t
1066
-
1067
- Compiler, assembler, and debug options:
1068
- 8: DEBUG
1069
- 9: ASMV or ASMINF -- use ASM code
1070
- 10: ZLIB_WINAPI -- exported functions use the WINAPI calling convention
1071
- 11: 0 (reserved)
1072
-
1073
- One-time table building (smaller code, but not thread-safe if true):
1074
- 12: BUILDFIXED -- build static block decoding tables when needed
1075
- 13: DYNAMIC_CRC_TABLE -- build CRC calculation tables when needed
1076
- 14,15: 0 (reserved)
1077
-
1078
- Library content (indicates missing functionality):
1079
- 16: NO_GZCOMPRESS -- gz* functions cannot compress (to avoid linking
1080
- deflate code when not needed)
1081
- 17: NO_GZIP -- deflate can't write gzip streams, and inflate can't detect
1082
- and decode gzip streams (to avoid linking crc code)
1083
- 18-19: 0 (reserved)
1084
-
1085
- Operation variations (changes in library functionality):
1086
- 20: PKZIP_BUG_WORKAROUND -- slightly more permissive inflate
1087
- 21: FASTEST -- deflate algorithm with only one, lowest compression level
1088
- 22,23: 0 (reserved)
1089
-
1090
- The sprintf variant used by gzprintf (zero is best):
1091
- 24: 0 = vs*, 1 = s* -- 1 means limited to 20 arguments after the format
1092
- 25: 0 = *nprintf, 1 = *printf -- 1 means gzprintf() not secure!
1093
- 26: 0 = returns value, 1 = void -- 1 means inferred string length returned
1094
-
1095
- Remainder:
1096
- 27-31: 0 (reserved)
1097
- */
1098
-
1099
-
1100
- /* utility functions */
1101
-
1102
- /*
1103
- The following utility functions are implemented on top of the basic
1104
- stream-oriented functions. To simplify the interface, some default options
1105
- are assumed (compression level and memory usage, standard memory allocation
1106
- functions). The source code of these utility functions can be modified if
1107
- you need special options.
1108
- */
1109
-
1110
- ZEXTERN int ZEXPORT compress OF((Bytef *dest, uLongf *destLen,
1111
- const Bytef *source, uLong sourceLen));
1112
- /*
1113
- Compresses the source buffer into the destination buffer. sourceLen is
1114
- the byte length of the source buffer. Upon entry, destLen is the total size
1115
- of the destination buffer, which must be at least the value returned by
1116
- compressBound(sourceLen). Upon exit, destLen is the actual size of the
1117
- compressed buffer.
1118
-
1119
- compress returns Z_OK if success, Z_MEM_ERROR if there was not
1120
- enough memory, Z_BUF_ERROR if there was not enough room in the output
1121
- buffer.
1122
- */
1123
-
1124
- ZEXTERN int ZEXPORT compress2 OF((Bytef *dest, uLongf *destLen,
1125
- const Bytef *source, uLong sourceLen,
1126
- int level));
1127
- /*
1128
- Compresses the source buffer into the destination buffer. The level
1129
- parameter has the same meaning as in deflateInit. sourceLen is the byte
1130
- length of the source buffer. Upon entry, destLen is the total size of the
1131
- destination buffer, which must be at least the value returned by
1132
- compressBound(sourceLen). Upon exit, destLen is the actual size of the
1133
- compressed buffer.
1134
-
1135
- compress2 returns Z_OK if success, Z_MEM_ERROR if there was not enough
1136
- memory, Z_BUF_ERROR if there was not enough room in the output buffer,
1137
- Z_STREAM_ERROR if the level parameter is invalid.
1138
- */
1139
-
1140
- ZEXTERN uLong ZEXPORT compressBound OF((uLong sourceLen));
1141
- /*
1142
- compressBound() returns an upper bound on the compressed size after
1143
- compress() or compress2() on sourceLen bytes. It would be used before a
1144
- compress() or compress2() call to allocate the destination buffer.
1145
- */
1146
-
1147
- ZEXTERN int ZEXPORT uncompress OF((Bytef *dest, uLongf *destLen,
1148
- const Bytef *source, uLong sourceLen));
1149
- /*
1150
- Decompresses the source buffer into the destination buffer. sourceLen is
1151
- the byte length of the source buffer. Upon entry, destLen is the total size
1152
- of the destination buffer, which must be large enough to hold the entire
1153
- uncompressed data. (The size of the uncompressed data must have been saved
1154
- previously by the compressor and transmitted to the decompressor by some
1155
- mechanism outside the scope of this compression library.) Upon exit, destLen
1156
- is the actual size of the uncompressed buffer.
1157
-
1158
- uncompress returns Z_OK if success, Z_MEM_ERROR if there was not
1159
- enough memory, Z_BUF_ERROR if there was not enough room in the output
1160
- buffer, or Z_DATA_ERROR if the input data was corrupted or incomplete.
1161
- */
1162
-
1163
-
1164
- /* gzip file access functions */
1165
-
1166
- /*
1167
- This library supports reading and writing files in gzip (.gz) format with
1168
- an interface similar to that of stdio, using the functions that start with
1169
- "gz". The gzip format is different from the zlib format. gzip is a gzip
1170
- wrapper, documented in RFC 1952, wrapped around a deflate stream.
1171
- */
1172
-
1173
- typedef voidp gzFile; /* opaque gzip file descriptor */
1174
-
1175
- /*
1176
- ZEXTERN gzFile ZEXPORT gzopen OF((const char *path, const char *mode));
1177
-
1178
- Opens a gzip (.gz) file for reading or writing. The mode parameter is as
1179
- in fopen ("rb" or "wb") but can also include a compression level ("wb9") or
1180
- a strategy: 'f' for filtered data as in "wb6f", 'h' for Huffman-only
1181
- compression as in "wb1h", 'R' for run-length encoding as in "wb1R", or 'F'
1182
- for fixed code compression as in "wb9F". (See the description of
1183
- deflateInit2 for more information about the strategy parameter.) Also "a"
1184
- can be used instead of "w" to request that the gzip stream that will be
1185
- written be appended to the file. "+" will result in an error, since reading
1186
- and writing to the same gzip file is not supported.
1187
-
1188
- gzopen can be used to read a file which is not in gzip format; in this
1189
- case gzread will directly read from the file without decompression.
1190
-
1191
- gzopen returns NULL if the file could not be opened, if there was
1192
- insufficient memory to allocate the gzFile state, or if an invalid mode was
1193
- specified (an 'r', 'w', or 'a' was not provided, or '+' was provided).
1194
- errno can be checked to determine if the reason gzopen failed was that the
1195
- file could not be opened.
1196
- */
1197
-
1198
- ZEXTERN gzFile ZEXPORT gzdopen OF((int fd, const char *mode));
1199
- /*
1200
- gzdopen associates a gzFile with the file descriptor fd. File descriptors
1201
- are obtained from calls like open, dup, creat, pipe or fileno (if the file
1202
- has been previously opened with fopen). The mode parameter is as in gzopen.
1203
-
1204
- The next call of gzclose on the returned gzFile will also close the file
1205
- descriptor fd, just like fclose(fdopen(fd, mode)) closes the file descriptor
1206
- fd. If you want to keep fd open, use fd = dup(fd_keep); gz = gzdopen(fd,
1207
- mode);. The duplicated descriptor should be saved to avoid a leak, since
1208
- gzdopen does not close fd if it fails.
1209
-
1210
- gzdopen returns NULL if there was insufficient memory to allocate the
1211
- gzFile state, if an invalid mode was specified (an 'r', 'w', or 'a' was not
1212
- provided, or '+' was provided), or if fd is -1. The file descriptor is not
1213
- used until the next gz* read, write, seek, or close operation, so gzdopen
1214
- will not detect if fd is invalid (unless fd is -1).
1215
- */
1216
-
1217
- ZEXTERN int ZEXPORT gzbuffer OF((gzFile file, unsigned size));
1218
- /*
1219
- Set the internal buffer size used by this library's functions. The
1220
- default buffer size is 8192 bytes. This function must be called after
1221
- gzopen() or gzdopen(), and before any other calls that read or write the
1222
- file. The buffer memory allocation is always deferred to the first read or
1223
- write. Two buffers are allocated, either both of the specified size when
1224
- writing, or one of the specified size and the other twice that size when
1225
- reading. A larger buffer size of, for example, 64K or 128K bytes will
1226
- noticeably increase the speed of decompression (reading).
1227
-
1228
- The new buffer size also affects the maximum length for gzprintf().
1229
-
1230
- gzbuffer() returns 0 on success, or -1 on failure, such as being called
1231
- too late.
1232
- */
1233
-
1234
- ZEXTERN int ZEXPORT gzsetparams OF((gzFile file, int level, int strategy));
1235
- /*
1236
- Dynamically update the compression level or strategy. See the description
1237
- of deflateInit2 for the meaning of these parameters.
1238
-
1239
- gzsetparams returns Z_OK if success, or Z_STREAM_ERROR if the file was not
1240
- opened for writing.
1241
- */
1242
-
1243
- ZEXTERN int ZEXPORT gzread OF((gzFile file, voidp buf, unsigned len));
1244
- /*
1245
- Reads the given number of uncompressed bytes from the compressed file. If
1246
- the input file was not in gzip format, gzread copies the given number of
1247
- bytes into the buffer.
1248
-
1249
- After reaching the end of a gzip stream in the input, gzread will continue
1250
- to read, looking for another gzip stream, or failing that, reading the rest
1251
- of the input file directly without decompression. The entire input file
1252
- will be read if gzread is called until it returns less than the requested
1253
- len.
1254
-
1255
- gzread returns the number of uncompressed bytes actually read, less than
1256
- len for end of file, or -1 for error.
1257
- */
1258
-
1259
- ZEXTERN int ZEXPORT gzwrite OF((gzFile file,
1260
- voidpc buf, unsigned len));
1261
- /*
1262
- Writes the given number of uncompressed bytes into the compressed file.
1263
- gzwrite returns the number of uncompressed bytes written or 0 in case of
1264
- error.
1265
- */
1266
-
1267
- ZEXTERN int ZEXPORTVA gzprintf OF((gzFile file, const char *format, ...));
1268
- /*
1269
- Converts, formats, and writes the arguments to the compressed file under
1270
- control of the format string, as in fprintf. gzprintf returns the number of
1271
- uncompressed bytes actually written, or 0 in case of error. The number of
1272
- uncompressed bytes written is limited to 8191, or one less than the buffer
1273
- size given to gzbuffer(). The caller should assure that this limit is not
1274
- exceeded. If it is exceeded, then gzprintf() will return an error (0) with
1275
- nothing written. In this case, there may also be a buffer overflow with
1276
- unpredictable consequences, which is possible only if zlib was compiled with
1277
- the insecure functions sprintf() or vsprintf() because the secure snprintf()
1278
- or vsnprintf() functions were not available. This can be determined using
1279
- zlibCompileFlags().
1280
- */
1281
-
1282
- ZEXTERN int ZEXPORT gzputs OF((gzFile file, const char *s));
1283
- /*
1284
- Writes the given null-terminated string to the compressed file, excluding
1285
- the terminating null character.
1286
-
1287
- gzputs returns the number of characters written, or -1 in case of error.
1288
- */
1289
-
1290
- ZEXTERN char * ZEXPORT gzgets OF((gzFile file, char *buf, int len));
1291
- /*
1292
- Reads bytes from the compressed file until len-1 characters are read, or a
1293
- newline character is read and transferred to buf, or an end-of-file
1294
- condition is encountered. If any characters are read or if len == 1, the
1295
- string is terminated with a null character. If no characters are read due
1296
- to an end-of-file or len < 1, then the buffer is left untouched.
1297
-
1298
- gzgets returns buf which is a null-terminated string, or it returns NULL
1299
- for end-of-file or in case of error. If there was an error, the contents at
1300
- buf are indeterminate.
1301
- */
1302
-
1303
- ZEXTERN int ZEXPORT gzputc OF((gzFile file, int c));
1304
- /*
1305
- Writes c, converted to an unsigned char, into the compressed file. gzputc
1306
- returns the value that was written, or -1 in case of error.
1307
- */
1308
-
1309
- ZEXTERN int ZEXPORT gzgetc OF((gzFile file));
1310
- /*
1311
- Reads one byte from the compressed file. gzgetc returns this byte or -1
1312
- in case of end of file or error.
1313
- */
1314
-
1315
- ZEXTERN int ZEXPORT gzungetc OF((int c, gzFile file));
1316
- /*
1317
- Push one character back onto the stream to be read as the first character
1318
- on the next read. At least one character of push-back is allowed.
1319
- gzungetc() returns the character pushed, or -1 on failure. gzungetc() will
1320
- fail if c is -1, and may fail if a character has been pushed but not read
1321
- yet. If gzungetc is used immediately after gzopen or gzdopen, at least the
1322
- output buffer size of pushed characters is allowed. (See gzbuffer above.)
1323
- The pushed character will be discarded if the stream is repositioned with
1324
- gzseek() or gzrewind().
1325
- */
1326
-
1327
- ZEXTERN int ZEXPORT gzflush OF((gzFile file, int flush));
1328
- /*
1329
- Flushes all pending output into the compressed file. The parameter flush
1330
- is as in the deflate() function. The return value is the zlib error number
1331
- (see function gzerror below). gzflush is only permitted when writing.
1332
-
1333
- If the flush parameter is Z_FINISH, the remaining data is written and the
1334
- gzip stream is completed in the output. If gzwrite() is called again, a new
1335
- gzip stream will be started in the output. gzread() is able to read such
1336
- concatented gzip streams.
1337
-
1338
- gzflush should be called only when strictly necessary because it will
1339
- degrade compression if called too often.
1340
- */
1341
-
1342
- /*
1343
- ZEXTERN z_off_t ZEXPORT gzseek OF((gzFile file,
1344
- z_off_t offset, int whence));
1345
-
1346
- Sets the starting position for the next gzread or gzwrite on the given
1347
- compressed file. The offset represents a number of bytes in the
1348
- uncompressed data stream. The whence parameter is defined as in lseek(2);
1349
- the value SEEK_END is not supported.
1350
-
1351
- If the file is opened for reading, this function is emulated but can be
1352
- extremely slow. If the file is opened for writing, only forward seeks are
1353
- supported; gzseek then compresses a sequence of zeroes up to the new
1354
- starting position.
1355
-
1356
- gzseek returns the resulting offset location as measured in bytes from
1357
- the beginning of the uncompressed stream, or -1 in case of error, in
1358
- particular if the file is opened for writing and the new starting position
1359
- would be before the current position.
1360
- */
1361
-
1362
- ZEXTERN int ZEXPORT gzrewind OF((gzFile file));
1363
- /*
1364
- Rewinds the given file. This function is supported only for reading.
1365
-
1366
- gzrewind(file) is equivalent to (int)gzseek(file, 0L, SEEK_SET)
1367
- */
1368
-
1369
- /*
1370
- ZEXTERN z_off_t ZEXPORT gztell OF((gzFile file));
1371
-
1372
- Returns the starting position for the next gzread or gzwrite on the given
1373
- compressed file. This position represents a number of bytes in the
1374
- uncompressed data stream, and is zero when starting, even if appending or
1375
- reading a gzip stream from the middle of a file using gzdopen().
1376
-
1377
- gztell(file) is equivalent to gzseek(file, 0L, SEEK_CUR)
1378
- */
1379
-
1380
- /*
1381
- ZEXTERN z_off_t ZEXPORT gzoffset OF((gzFile file));
1382
-
1383
- Returns the current offset in the file being read or written. This offset
1384
- includes the count of bytes that precede the gzip stream, for example when
1385
- appending or when using gzdopen() for reading. When reading, the offset
1386
- does not include as yet unused buffered input. This information can be used
1387
- for a progress indicator. On error, gzoffset() returns -1.
1388
- */
1389
-
1390
- ZEXTERN int ZEXPORT gzeof OF((gzFile file));
1391
- /*
1392
- Returns true (1) if the end-of-file indicator has been set while reading,
1393
- false (0) otherwise. Note that the end-of-file indicator is set only if the
1394
- read tried to go past the end of the input, but came up short. Therefore,
1395
- just like feof(), gzeof() may return false even if there is no more data to
1396
- read, in the event that the last read request was for the exact number of
1397
- bytes remaining in the input file. This will happen if the input file size
1398
- is an exact multiple of the buffer size.
1399
-
1400
- If gzeof() returns true, then the read functions will return no more data,
1401
- unless the end-of-file indicator is reset by gzclearerr() and the input file
1402
- has grown since the previous end of file was detected.
1403
- */
1404
-
1405
- ZEXTERN int ZEXPORT gzdirect OF((gzFile file));
1406
- /*
1407
- Returns true (1) if file is being copied directly while reading, or false
1408
- (0) if file is a gzip stream being decompressed. This state can change from
1409
- false to true while reading the input file if the end of a gzip stream is
1410
- reached, but is followed by data that is not another gzip stream.
1411
-
1412
- If the input file is empty, gzdirect() will return true, since the input
1413
- does not contain a gzip stream.
1414
-
1415
- If gzdirect() is used immediately after gzopen() or gzdopen() it will
1416
- cause buffers to be allocated to allow reading the file to determine if it
1417
- is a gzip file. Therefore if gzbuffer() is used, it should be called before
1418
- gzdirect().
1419
- */
1420
-
1421
- ZEXTERN int ZEXPORT gzclose OF((gzFile file));
1422
- /*
1423
- Flushes all pending output if necessary, closes the compressed file and
1424
- deallocates the (de)compression state. Note that once file is closed, you
1425
- cannot call gzerror with file, since its structures have been deallocated.
1426
- gzclose must not be called more than once on the same file, just as free
1427
- must not be called more than once on the same allocation.
1428
-
1429
- gzclose will return Z_STREAM_ERROR if file is not valid, Z_ERRNO on a
1430
- file operation error, or Z_OK on success.
1431
- */
1432
-
1433
- ZEXTERN int ZEXPORT gzclose_r OF((gzFile file));
1434
- ZEXTERN int ZEXPORT gzclose_w OF((gzFile file));
1435
- /*
1436
- Same as gzclose(), but gzclose_r() is only for use when reading, and
1437
- gzclose_w() is only for use when writing or appending. The advantage to
1438
- using these instead of gzclose() is that they avoid linking in zlib
1439
- compression or decompression code that is not used when only reading or only
1440
- writing respectively. If gzclose() is used, then both compression and
1441
- decompression code will be included the application when linking to a static
1442
- zlib library.
1443
- */
1444
-
1445
- ZEXTERN const char * ZEXPORT gzerror OF((gzFile file, int *errnum));
1446
- /*
1447
- Returns the error message for the last error which occurred on the given
1448
- compressed file. errnum is set to zlib error number. If an error occurred
1449
- in the file system and not in the compression library, errnum is set to
1450
- Z_ERRNO and the application may consult errno to get the exact error code.
1451
-
1452
- The application must not modify the returned string. Future calls to
1453
- this function may invalidate the previously returned string. If file is
1454
- closed, then the string previously returned by gzerror will no longer be
1455
- available.
1456
-
1457
- gzerror() should be used to distinguish errors from end-of-file for those
1458
- functions above that do not distinguish those cases in their return values.
1459
- */
1460
-
1461
- ZEXTERN void ZEXPORT gzclearerr OF((gzFile file));
1462
- /*
1463
- Clears the error and end-of-file flags for file. This is analogous to the
1464
- clearerr() function in stdio. This is useful for continuing to read a gzip
1465
- file that is being written concurrently.
1466
- */
1467
-
1468
-
1469
- /* checksum functions */
1470
-
1471
- /*
1472
- These functions are not related to compression but are exported
1473
- anyway because they might be useful in applications using the compression
1474
- library.
1475
- */
1476
-
1477
- ZEXTERN uLong ZEXPORT adler32 OF((uLong adler, const Bytef *buf, uInt len));
1478
- /*
1479
- Update a running Adler-32 checksum with the bytes buf[0..len-1] and
1480
- return the updated checksum. If buf is Z_NULL, this function returns the
1481
- required initial value for the checksum.
1482
-
1483
- An Adler-32 checksum is almost as reliable as a CRC32 but can be computed
1484
- much faster.
1485
-
1486
- Usage example:
1487
-
1488
- uLong adler = adler32(0L, Z_NULL, 0);
1489
-
1490
- while (read_buffer(buffer, length) != EOF) {
1491
- adler = adler32(adler, buffer, length);
1492
- }
1493
- if (adler != original_adler) error();
1494
- */
1495
-
1496
- /*
1497
- ZEXTERN uLong ZEXPORT adler32_combine OF((uLong adler1, uLong adler2,
1498
- z_off_t len2));
1499
-
1500
- Combine two Adler-32 checksums into one. For two sequences of bytes, seq1
1501
- and seq2 with lengths len1 and len2, Adler-32 checksums were calculated for
1502
- each, adler1 and adler2. adler32_combine() returns the Adler-32 checksum of
1503
- seq1 and seq2 concatenated, requiring only adler1, adler2, and len2.
1504
- */
1505
-
1506
- ZEXTERN uLong ZEXPORT crc32 OF((uLong crc, const Bytef *buf, uInt len));
1507
- /*
1508
- Update a running CRC-32 with the bytes buf[0..len-1] and return the
1509
- updated CRC-32. If buf is Z_NULL, this function returns the required
1510
- initial value for the for the crc. Pre- and post-conditioning (one's
1511
- complement) is performed within this function so it shouldn't be done by the
1512
- application.
1513
-
1514
- Usage example:
1515
-
1516
- uLong crc = crc32(0L, Z_NULL, 0);
1517
-
1518
- while (read_buffer(buffer, length) != EOF) {
1519
- crc = crc32(crc, buffer, length);
1520
- }
1521
- if (crc != original_crc) error();
1522
- */
1523
-
1524
- /*
1525
- ZEXTERN uLong ZEXPORT crc32_combine OF((uLong crc1, uLong crc2, z_off_t len2));
1526
-
1527
- Combine two CRC-32 check values into one. For two sequences of bytes,
1528
- seq1 and seq2 with lengths len1 and len2, CRC-32 check values were
1529
- calculated for each, crc1 and crc2. crc32_combine() returns the CRC-32
1530
- check value of seq1 and seq2 concatenated, requiring only crc1, crc2, and
1531
- len2.
1532
- */
1533
-
1534
-
1535
- /* various hacks, don't look :) */
1536
-
1537
- /* deflateInit and inflateInit are macros to allow checking the zlib version
1538
- * and the compiler's view of z_stream:
1539
- */
1540
- ZEXTERN int ZEXPORT deflateInit_ OF((z_streamp strm, int level,
1541
- const char *version, int stream_size));
1542
- ZEXTERN int ZEXPORT inflateInit_ OF((z_streamp strm,
1543
- const char *version, int stream_size));
1544
- ZEXTERN int ZEXPORT deflateInit2_ OF((z_streamp strm, int level, int method,
1545
- int windowBits, int memLevel,
1546
- int strategy, const char *version,
1547
- int stream_size));
1548
- ZEXTERN int ZEXPORT inflateInit2_ OF((z_streamp strm, int windowBits,
1549
- const char *version, int stream_size));
1550
- ZEXTERN int ZEXPORT inflateBackInit_ OF((z_streamp strm, int windowBits,
1551
- unsigned char FAR *window,
1552
- const char *version,
1553
- int stream_size));
1554
- #define deflateInit(strm, level) \
1555
- deflateInit_((strm), (level), ZLIB_VERSION, sizeof(z_stream))
1556
- #define inflateInit(strm) \
1557
- inflateInit_((strm), ZLIB_VERSION, sizeof(z_stream))
1558
- #define deflateInit2(strm, level, method, windowBits, memLevel, strategy) \
1559
- deflateInit2_((strm),(level),(method),(windowBits),(memLevel),\
1560
- (strategy), ZLIB_VERSION, sizeof(z_stream))
1561
- #define inflateInit2(strm, windowBits) \
1562
- inflateInit2_((strm), (windowBits), ZLIB_VERSION, sizeof(z_stream))
1563
- #define inflateBackInit(strm, windowBits, window) \
1564
- inflateBackInit_((strm), (windowBits), (window), \
1565
- ZLIB_VERSION, sizeof(z_stream))
1566
-
1567
- /* provide 64-bit offset functions if _LARGEFILE64_SOURCE defined, and/or
1568
- * change the regular functions to 64 bits if _FILE_OFFSET_BITS is 64 (if
1569
- * both are true, the application gets the *64 functions, and the regular
1570
- * functions are changed to 64 bits) -- in case these are set on systems
1571
- * without large file support, _LFS64_LARGEFILE must also be true
1572
- */
1573
- #if defined(_LARGEFILE64_SOURCE) && _LFS64_LARGEFILE-0
1574
- ZEXTERN gzFile ZEXPORT gzopen64 OF((const char *, const char *));
1575
- ZEXTERN z_off64_t ZEXPORT gzseek64 OF((gzFile, z_off64_t, int));
1576
- ZEXTERN z_off64_t ZEXPORT gztell64 OF((gzFile));
1577
- ZEXTERN z_off64_t ZEXPORT gzoffset64 OF((gzFile));
1578
- ZEXTERN uLong ZEXPORT adler32_combine64 OF((uLong, uLong, z_off64_t));
1579
- ZEXTERN uLong ZEXPORT crc32_combine64 OF((uLong, uLong, z_off64_t));
1580
- #endif
1581
-
1582
- #if !defined(ZLIB_INTERNAL) && _FILE_OFFSET_BITS-0 == 64 && _LFS64_LARGEFILE-0
1583
- # define gzopen gzopen64
1584
- # define gzseek gzseek64
1585
- # define gztell gztell64
1586
- # define gzoffset gzoffset64
1587
- # define adler32_combine adler32_combine64
1588
- # define crc32_combine crc32_combine64
1589
- # ifdef _LARGEFILE64_SOURCE
1590
- ZEXTERN gzFile ZEXPORT gzopen64 OF((const char *, const char *));
1591
- ZEXTERN z_off_t ZEXPORT gzseek64 OF((gzFile, z_off_t, int));
1592
- ZEXTERN z_off_t ZEXPORT gztell64 OF((gzFile));
1593
- ZEXTERN z_off_t ZEXPORT gzoffset64 OF((gzFile));
1594
- ZEXTERN uLong ZEXPORT adler32_combine64 OF((uLong, uLong, z_off_t));
1595
- ZEXTERN uLong ZEXPORT crc32_combine64 OF((uLong, uLong, z_off_t));
1596
- # endif
1597
- #else
1598
- ZEXTERN gzFile ZEXPORT gzopen OF((const char *, const char *));
1599
- ZEXTERN z_off_t ZEXPORT gzseek OF((gzFile, z_off_t, int));
1600
- ZEXTERN z_off_t ZEXPORT gztell OF((gzFile));
1601
- ZEXTERN z_off_t ZEXPORT gzoffset OF((gzFile));
1602
- ZEXTERN uLong ZEXPORT adler32_combine OF((uLong, uLong, z_off_t));
1603
- ZEXTERN uLong ZEXPORT crc32_combine OF((uLong, uLong, z_off_t));
1604
- #endif
1605
-
1606
- /* hack for buggy compilers */
1607
- #if !defined(ZUTIL_H) && !defined(NO_DUMMY_DECL)
1608
- struct internal_state {int dummy;};
1609
- #endif
1610
-
1611
- /* undocumented functions */
1612
- ZEXTERN const char * ZEXPORT zError OF((int));
1613
- ZEXTERN int ZEXPORT inflateSyncPoint OF((z_streamp));
1614
- ZEXTERN const uLongf * ZEXPORT get_crc_table OF((void));
1615
- ZEXTERN int ZEXPORT inflateUndermine OF((z_streamp, int));
1616
-
1617
- ABC_NAMESPACE_HEADER_END
1618
-
1619
- #endif /* ZLIB_H */