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,1369 +0,0 @@
1
- /* This is an implementation of the threads API of POSIX 1003.1-2001.
2
- *
3
- * --------------------------------------------------------------------------
4
- *
5
- * Pthreads-win32 - POSIX Threads Library for Win32
6
- * Copyright(C) 1998 John E. Bossom
7
- * Copyright(C) 1999,2005 Pthreads-win32 contributors
8
- *
9
- * Contact Email: rpj@callisto.canberra.edu.au
10
- *
11
- * The current list of contributors is contained
12
- * in the file CONTRIBUTORS included with the source
13
- * code distribution. The list can also be seen at the
14
- * following World Wide Web location:
15
- * http://sources.redhat.com/pthreads-win32/contributors.html
16
- *
17
- * This library is free software; you can redistribute it and/or
18
- * modify it under the terms of the GNU Lesser General Public
19
- * License as published by the Free Software Foundation; either
20
- * version 2 of the License, or (at your option) any later version.
21
- *
22
- * This library is distributed in the hope that it will be useful,
23
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
24
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
25
- * Lesser General Public License for more details.
26
- *
27
- * You should have received a copy of the GNU Lesser General Public
28
- * License along with this library in the file COPYING.LIB;
29
- * if not, write to the Free Software Foundation, Inc.,
30
- * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
31
- */
32
-
33
- #if !defined( PTHREAD_H )
34
- #define PTHREAD_H
35
-
36
- /*
37
- * See the README file for an explanation of the pthreads-win32 version
38
- * numbering scheme and how the DLL is named etc.
39
- */
40
- #define PTW32_VERSION 2,8,0,0
41
- #define PTW32_VERSION_STRING "2, 8, 0, 0\0"
42
-
43
- /* There are three implementations of cancel cleanup.
44
- * Note that pthread.h is included in both application
45
- * compilation units and also internally for the library.
46
- * The code here and within the library aims to work
47
- * for all reasonable combinations of environments.
48
- *
49
- * The three implementations are:
50
- *
51
- * WIN32 SEH
52
- * C
53
- * C++
54
- *
55
- * Please note that exiting a push/pop block via
56
- * "return", "exit", "break", or "continue" will
57
- * lead to different behaviour amongst applications
58
- * depending upon whether the library was built
59
- * using SEH, C++, or C. For example, a library built
60
- * with SEH will call the cleanup routine, while both
61
- * C++ and C built versions will not.
62
- */
63
-
64
- /*
65
- * Define defaults for cleanup code.
66
- * Note: Unless the build explicitly defines one of the following, then
67
- * we default to standard C style cleanup. This style uses setjmp/longjmp
68
- * in the cancelation and thread exit implementations and therefore won't
69
- * do stack unwinding if linked to applications that have it (e.g.
70
- * C++ apps). This is currently consistent with most/all commercial Unix
71
- * POSIX threads implementations.
72
- */
73
- #if !defined( __CLEANUP_SEH ) && !defined( __CLEANUP_CXX ) && !defined( __CLEANUP_C )
74
- # define __CLEANUP_C
75
- #endif
76
-
77
- #if defined( __CLEANUP_SEH ) && ( !defined( _MSC_VER ) && !defined(PTW32_RC_MSC))
78
- #error ERROR [__FILE__, line __LINE__]: SEH is not supported for this compiler.
79
- #endif
80
-
81
- /*
82
- * Stop here if we are being included by the resource compiler.
83
- */
84
- #ifndef RC_INVOKED
85
-
86
- #undef PTW32_LEVEL
87
-
88
- #if defined(_POSIX_SOURCE)
89
- #define PTW32_LEVEL 0
90
- /* Early POSIX */
91
- #endif
92
-
93
- #if defined(_POSIX_C_SOURCE) && _POSIX_C_SOURCE >= 199309
94
- #undef PTW32_LEVEL
95
- #define PTW32_LEVEL 1
96
- /* Include 1b, 1c and 1d */
97
- #endif
98
-
99
- #if defined(INCLUDE_NP)
100
- #undef PTW32_LEVEL
101
- #define PTW32_LEVEL 2
102
- /* Include Non-Portable extensions */
103
- #endif
104
-
105
- #define PTW32_LEVEL_MAX 3
106
-
107
- #if !defined(PTW32_LEVEL)
108
- #define PTW32_LEVEL PTW32_LEVEL_MAX
109
- /* Include everything */
110
- #endif
111
-
112
- #ifdef _UWIN
113
- # define HAVE_STRUCT_TIMESPEC 1
114
- # define HAVE_SIGNAL_H 1
115
- # undef HAVE_CONFIG_H
116
- # pragma comment(lib, "pthread")
117
- #endif
118
-
119
- /*
120
- * -------------------------------------------------------------
121
- *
122
- *
123
- * Module: pthread.h
124
- *
125
- * Purpose:
126
- * Provides an implementation of PThreads based upon the
127
- * standard:
128
- *
129
- * POSIX 1003.1-2001
130
- * and
131
- * The Single Unix Specification version 3
132
- *
133
- * (these two are equivalent)
134
- *
135
- * in order to enhance code portability between Windows,
136
- * various commercial Unix implementations, and Linux.
137
- *
138
- * See the ANNOUNCE file for a full list of conforming
139
- * routines and defined constants, and a list of missing
140
- * routines and constants not defined in this implementation.
141
- *
142
- * Authors:
143
- * There have been many contributors to this library.
144
- * The initial implementation was contributed by
145
- * John Bossom, and several others have provided major
146
- * sections or revisions of parts of the implementation.
147
- * Often significant effort has been contributed to
148
- * find and fix important bugs and other problems to
149
- * improve the reliability of the library, which sometimes
150
- * is not reflected in the amount of code which changed as
151
- * result.
152
- * As much as possible, the contributors are acknowledged
153
- * in the ChangeLog file in the source code distribution
154
- * where their changes are noted in detail.
155
- *
156
- * Contributors are listed in the CONTRIBUTORS file.
157
- *
158
- * As usual, all bouquets go to the contributors, and all
159
- * brickbats go to the project maintainer.
160
- *
161
- * Maintainer:
162
- * The code base for this project is coordinated and
163
- * eventually pre-tested, packaged, and made available by
164
- *
165
- * Ross Johnson <rpj@callisto.canberra.edu.au>
166
- *
167
- * QA Testers:
168
- * Ultimately, the library is tested in the real world by
169
- * a host of competent and demanding scientists and
170
- * engineers who report bugs and/or provide solutions
171
- * which are then fixed or incorporated into subsequent
172
- * versions of the library. Each time a bug is fixed, a
173
- * test case is written to prove the fix and ensure
174
- * that later changes to the code don't reintroduce the
175
- * same error. The number of test cases is slowly growing
176
- * and therefore so is the code reliability.
177
- *
178
- * Compliance:
179
- * See the file ANNOUNCE for the list of implemented
180
- * and not-implemented routines and defined options.
181
- * Of course, these are all defined is this file as well.
182
- *
183
- * Web site:
184
- * The source code and other information about this library
185
- * are available from
186
- *
187
- * http://sources.redhat.com/pthreads-win32/
188
- *
189
- * -------------------------------------------------------------
190
- */
191
-
192
- /* Try to avoid including windows.h */
193
- #if defined(__MINGW32__) && defined(__cplusplus)
194
- #define PTW32_INCLUDE_WINDOWS_H
195
- #endif
196
-
197
- #ifdef PTW32_INCLUDE_WINDOWS_H
198
- #include <windows.h>
199
- #endif
200
-
201
- #if defined(_MSC_VER) && _MSC_VER < 1300 || defined(__DMC__)
202
- /*
203
- * VC++6.0 or early compiler's header has no DWORD_PTR type.
204
- */
205
- typedef unsigned long DWORD_PTR;
206
- #endif
207
- /*
208
- * -----------------
209
- * autoconf switches
210
- * -----------------
211
- */
212
-
213
- #if HAVE_CONFIG_H
214
- #include "config.h"
215
- #endif /* HAVE_CONFIG_H */
216
-
217
- #ifndef NEED_FTIME
218
- #include <time.h>
219
- #else /* NEED_FTIME */
220
- /* use native WIN32 time API */
221
- #endif /* NEED_FTIME */
222
-
223
- #if HAVE_SIGNAL_H
224
- #include <signal.h>
225
- #endif /* HAVE_SIGNAL_H */
226
-
227
- #include <setjmp.h>
228
- #include <limits.h>
229
-
230
- /*
231
- * Boolean values to make us independent of system includes.
232
- */
233
- enum {
234
- PTW32_FALSE = 0,
235
- PTW32_TRUE = (! PTW32_FALSE)
236
- };
237
-
238
- /*
239
- * This is a duplicate of what is in the autoconf config.h,
240
- * which is only used when building the pthread-win32 libraries.
241
- */
242
-
243
- #ifndef PTW32_CONFIG_H
244
- # if defined(WINCE)
245
- # define NEED_ERRNO
246
- # define NEED_SEM
247
- # endif
248
- # if defined(_UWIN) || defined(__MINGW32__)
249
- # define HAVE_MODE_T
250
- # endif
251
- #endif
252
-
253
- /*
254
- *
255
- */
256
-
257
- #if PTW32_LEVEL >= PTW32_LEVEL_MAX
258
- #ifdef NEED_ERRNO
259
- #include "need_errno.h"
260
- #else
261
- #include <errno.h>
262
- #endif
263
- #endif /* PTW32_LEVEL >= PTW32_LEVEL_MAX */
264
-
265
- /*
266
- * Several systems don't define some error numbers.
267
- */
268
- #ifndef ENOTSUP
269
- # define ENOTSUP 48 /* This is the value in Solaris. */
270
- #endif
271
-
272
- #ifndef ETIMEDOUT
273
- # define ETIMEDOUT 10060 /* This is the value in winsock.h. */
274
- #endif
275
-
276
- #ifndef ENOSYS
277
- # define ENOSYS 140 /* Semi-arbitrary value */
278
- #endif
279
-
280
- #ifndef EDEADLK
281
- # ifdef EDEADLOCK
282
- # define EDEADLK EDEADLOCK
283
- # else
284
- # define EDEADLK 36 /* This is the value in MSVC. */
285
- # endif
286
- #endif
287
-
288
- //#include <sched.h> -- changed by alanmi
289
- #include "sched.h"
290
-
291
- /*
292
- * To avoid including windows.h we define only those things that we
293
- * actually need from it.
294
- */
295
- #ifndef PTW32_INCLUDE_WINDOWS_H
296
- #ifndef HANDLE
297
- # define PTW32__HANDLE_DEF
298
- # define HANDLE void *
299
- #endif
300
- #ifndef DWORD
301
- # define PTW32__DWORD_DEF
302
- # define DWORD unsigned long
303
- #endif
304
- #endif
305
-
306
- #ifndef HAVE_STRUCT_TIMESPEC
307
- #define HAVE_STRUCT_TIMESPEC 1
308
- struct timespec {
309
- long tv_sec;
310
- long tv_nsec;
311
- };
312
- #endif /* HAVE_STRUCT_TIMESPEC */
313
-
314
- #ifndef SIG_BLOCK
315
- #define SIG_BLOCK 0
316
- #endif /* SIG_BLOCK */
317
-
318
- #ifndef SIG_UNBLOCK
319
- #define SIG_UNBLOCK 1
320
- #endif /* SIG_UNBLOCK */
321
-
322
- #ifndef SIG_SETMASK
323
- #define SIG_SETMASK 2
324
- #endif /* SIG_SETMASK */
325
-
326
- #ifdef __cplusplus
327
- extern "C"
328
- {
329
- #endif /* __cplusplus */
330
-
331
- /*
332
- * -------------------------------------------------------------
333
- *
334
- * POSIX 1003.1-2001 Options
335
- * =========================
336
- *
337
- * Options are normally set in <unistd.h>, which is not provided
338
- * with pthreads-win32.
339
- *
340
- * For conformance with the Single Unix Specification (version 3), all of the
341
- * options below are defined, and have a value of either -1 (not supported)
342
- * or 200112L (supported).
343
- *
344
- * These options can neither be left undefined nor have a value of 0, because
345
- * either indicates that sysconf(), which is not implemented, may be used at
346
- * runtime to check the status of the option.
347
- *
348
- * _POSIX_THREADS (== 200112L)
349
- * If == 200112L, you can use threads
350
- *
351
- * _POSIX_THREAD_ATTR_STACKSIZE (== 200112L)
352
- * If == 200112L, you can control the size of a thread's
353
- * stack
354
- * pthread_attr_getstacksize
355
- * pthread_attr_setstacksize
356
- *
357
- * _POSIX_THREAD_ATTR_STACKADDR (== -1)
358
- * If == 200112L, you can allocate and control a thread's
359
- * stack. If not supported, the following functions
360
- * will return ENOSYS, indicating they are not
361
- * supported:
362
- * pthread_attr_getstackaddr
363
- * pthread_attr_setstackaddr
364
- *
365
- * _POSIX_THREAD_PRIORITY_SCHEDULING (== -1)
366
- * If == 200112L, you can use realtime scheduling.
367
- * This option indicates that the behaviour of some
368
- * implemented functions conforms to the additional TPS
369
- * requirements in the standard. E.g. rwlocks favour
370
- * writers over readers when threads have equal priority.
371
- *
372
- * _POSIX_THREAD_PRIO_INHERIT (== -1)
373
- * If == 200112L, you can create priority inheritance
374
- * mutexes.
375
- * pthread_mutexattr_getprotocol +
376
- * pthread_mutexattr_setprotocol +
377
- *
378
- * _POSIX_THREAD_PRIO_PROTECT (== -1)
379
- * If == 200112L, you can create priority ceiling mutexes
380
- * Indicates the availability of:
381
- * pthread_mutex_getprioceiling
382
- * pthread_mutex_setprioceiling
383
- * pthread_mutexattr_getprioceiling
384
- * pthread_mutexattr_getprotocol +
385
- * pthread_mutexattr_setprioceiling
386
- * pthread_mutexattr_setprotocol +
387
- *
388
- * _POSIX_THREAD_PROCESS_SHARED (== -1)
389
- * If set, you can create mutexes and condition
390
- * variables that can be shared with another
391
- * process.If set, indicates the availability
392
- * of:
393
- * pthread_mutexattr_getpshared
394
- * pthread_mutexattr_setpshared
395
- * pthread_condattr_getpshared
396
- * pthread_condattr_setpshared
397
- *
398
- * _POSIX_THREAD_SAFE_FUNCTIONS (== 200112L)
399
- * If == 200112L you can use the special *_r library
400
- * functions that provide thread-safe behaviour
401
- *
402
- * _POSIX_READER_WRITER_LOCKS (== 200112L)
403
- * If == 200112L, you can use read/write locks
404
- *
405
- * _POSIX_SPIN_LOCKS (== 200112L)
406
- * If == 200112L, you can use spin locks
407
- *
408
- * _POSIX_BARRIERS (== 200112L)
409
- * If == 200112L, you can use barriers
410
- *
411
- * + These functions provide both 'inherit' and/or
412
- * 'protect' protocol, based upon these macro
413
- * settings.
414
- *
415
- * -------------------------------------------------------------
416
- */
417
-
418
- /*
419
- * POSIX Options
420
- */
421
- #undef _POSIX_THREADS
422
- #define _POSIX_THREADS 200112L
423
-
424
- #undef _POSIX_READER_WRITER_LOCKS
425
- #define _POSIX_READER_WRITER_LOCKS 200112L
426
-
427
- #undef _POSIX_SPIN_LOCKS
428
- #define _POSIX_SPIN_LOCKS 200112L
429
-
430
- #undef _POSIX_BARRIERS
431
- #define _POSIX_BARRIERS 200112L
432
-
433
- #undef _POSIX_THREAD_SAFE_FUNCTIONS
434
- #define _POSIX_THREAD_SAFE_FUNCTIONS 200112L
435
-
436
- #undef _POSIX_THREAD_ATTR_STACKSIZE
437
- #define _POSIX_THREAD_ATTR_STACKSIZE 200112L
438
-
439
- /*
440
- * The following options are not supported
441
- */
442
- #undef _POSIX_THREAD_ATTR_STACKADDR
443
- #define _POSIX_THREAD_ATTR_STACKADDR -1
444
-
445
- #undef _POSIX_THREAD_PRIO_INHERIT
446
- #define _POSIX_THREAD_PRIO_INHERIT -1
447
-
448
- #undef _POSIX_THREAD_PRIO_PROTECT
449
- #define _POSIX_THREAD_PRIO_PROTECT -1
450
-
451
- /* TPS is not fully supported. */
452
- #undef _POSIX_THREAD_PRIORITY_SCHEDULING
453
- #define _POSIX_THREAD_PRIORITY_SCHEDULING -1
454
-
455
- #undef _POSIX_THREAD_PROCESS_SHARED
456
- #define _POSIX_THREAD_PROCESS_SHARED -1
457
-
458
-
459
- /*
460
- * POSIX 1003.1-2001 Limits
461
- * ===========================
462
- *
463
- * These limits are normally set in <limits.h>, which is not provided with
464
- * pthreads-win32.
465
- *
466
- * PTHREAD_DESTRUCTOR_ITERATIONS
467
- * Maximum number of attempts to destroy
468
- * a thread's thread-specific data on
469
- * termination (must be at least 4)
470
- *
471
- * PTHREAD_KEYS_MAX
472
- * Maximum number of thread-specific data keys
473
- * available per process (must be at least 128)
474
- *
475
- * PTHREAD_STACK_MIN
476
- * Minimum supported stack size for a thread
477
- *
478
- * PTHREAD_THREADS_MAX
479
- * Maximum number of threads supported per
480
- * process (must be at least 64).
481
- *
482
- * SEM_NSEMS_MAX
483
- * The maximum number of semaphores a process can have.
484
- * (must be at least 256)
485
- *
486
- * SEM_VALUE_MAX
487
- * The maximum value a semaphore can have.
488
- * (must be at least 32767)
489
- *
490
- */
491
- #undef _POSIX_THREAD_DESTRUCTOR_ITERATIONS
492
- #define _POSIX_THREAD_DESTRUCTOR_ITERATIONS 4
493
-
494
- #undef PTHREAD_DESTRUCTOR_ITERATIONS
495
- #define PTHREAD_DESTRUCTOR_ITERATIONS _POSIX_THREAD_DESTRUCTOR_ITERATIONS
496
-
497
- #undef _POSIX_THREAD_KEYS_MAX
498
- #define _POSIX_THREAD_KEYS_MAX 128
499
-
500
- #undef PTHREAD_KEYS_MAX
501
- #define PTHREAD_KEYS_MAX _POSIX_THREAD_KEYS_MAX
502
-
503
- #undef PTHREAD_STACK_MIN
504
- #define PTHREAD_STACK_MIN 0
505
-
506
- #undef _POSIX_THREAD_THREADS_MAX
507
- #define _POSIX_THREAD_THREADS_MAX 64
508
-
509
- /* Arbitrary value */
510
- #undef PTHREAD_THREADS_MAX
511
- #define PTHREAD_THREADS_MAX 2019
512
-
513
- #undef _POSIX_SEM_NSEMS_MAX
514
- #define _POSIX_SEM_NSEMS_MAX 256
515
-
516
- /* Arbitrary value */
517
- #undef SEM_NSEMS_MAX
518
- #define SEM_NSEMS_MAX 1024
519
-
520
- #undef _POSIX_SEM_VALUE_MAX
521
- #define _POSIX_SEM_VALUE_MAX 32767
522
-
523
- #undef SEM_VALUE_MAX
524
- #define SEM_VALUE_MAX INT_MAX
525
-
526
-
527
- #if __GNUC__ && ! defined (__declspec)
528
- # error Please upgrade your GNU compiler to one that supports __declspec.
529
- #endif
530
-
531
- /*
532
- * When building the DLL code, you should define PTW32_BUILD so that
533
- * the variables/functions are exported correctly. When using the DLL,
534
- * do NOT define PTW32_BUILD, and then the variables/functions will
535
- * be imported correctly.
536
- */
537
- #ifndef PTW32_STATIC_LIB
538
- # ifdef PTW32_BUILD
539
- # define PTW32_DLLPORT __declspec (dllexport)
540
- # else
541
- # define PTW32_DLLPORT __declspec (dllimport)
542
- # endif
543
- #else
544
- # define PTW32_DLLPORT
545
- #endif
546
-
547
- /*
548
- * The Open Watcom C/C++ compiler uses a non-standard calling convention
549
- * that passes function args in registers unless __cdecl is explicitly specified
550
- * in exposed function prototypes.
551
- *
552
- * We force all calls to cdecl even though this could slow Watcom code down
553
- * slightly. If you know that the Watcom compiler will be used to build both
554
- * the DLL and application, then you can probably define this as a null string.
555
- * Remember that pthread.h (this file) is used for both the DLL and application builds.
556
- */
557
- #define PTW32_CDECL __cdecl
558
-
559
- #if defined(_UWIN) && PTW32_LEVEL >= PTW32_LEVEL_MAX
560
- # include <sys/types.h>
561
- #else
562
- /*
563
- * Generic handle type - intended to extend uniqueness beyond
564
- * that available with a simple pointer. It should scale for either
565
- * IA-32 or IA-64.
566
- */
567
- typedef struct {
568
- void * p; /* Pointer to actual object */
569
- unsigned int x; /* Extra information - reuse count etc */
570
- } ptw32_handle_t;
571
-
572
- typedef ptw32_handle_t pthread_t;
573
- typedef struct pthread_attr_t_ * pthread_attr_t;
574
- typedef struct pthread_once_t_ pthread_once_t;
575
- typedef struct pthread_key_t_ * pthread_key_t;
576
- typedef struct pthread_mutex_t_ * pthread_mutex_t;
577
- typedef struct pthread_mutexattr_t_ * pthread_mutexattr_t;
578
- typedef struct pthread_cond_t_ * pthread_cond_t;
579
- typedef struct pthread_condattr_t_ * pthread_condattr_t;
580
- #endif
581
- typedef struct pthread_rwlock_t_ * pthread_rwlock_t;
582
- typedef struct pthread_rwlockattr_t_ * pthread_rwlockattr_t;
583
- typedef struct pthread_spinlock_t_ * pthread_spinlock_t;
584
- typedef struct pthread_barrier_t_ * pthread_barrier_t;
585
- typedef struct pthread_barrierattr_t_ * pthread_barrierattr_t;
586
-
587
- /*
588
- * ====================
589
- * ====================
590
- * POSIX Threads
591
- * ====================
592
- * ====================
593
- */
594
-
595
- enum {
596
- /*
597
- * pthread_attr_{get,set}detachstate
598
- */
599
- PTHREAD_CREATE_JOINABLE = 0, /* Default */
600
- PTHREAD_CREATE_DETACHED = 1,
601
-
602
- /*
603
- * pthread_attr_{get,set}inheritsched
604
- */
605
- PTHREAD_INHERIT_SCHED = 0,
606
- PTHREAD_EXPLICIT_SCHED = 1, /* Default */
607
-
608
- /*
609
- * pthread_{get,set}scope
610
- */
611
- PTHREAD_SCOPE_PROCESS = 0,
612
- PTHREAD_SCOPE_SYSTEM = 1, /* Default */
613
-
614
- /*
615
- * pthread_setcancelstate paramters
616
- */
617
- PTHREAD_CANCEL_ENABLE = 0, /* Default */
618
- PTHREAD_CANCEL_DISABLE = 1,
619
-
620
- /*
621
- * pthread_setcanceltype parameters
622
- */
623
- PTHREAD_CANCEL_ASYNCHRONOUS = 0,
624
- PTHREAD_CANCEL_DEFERRED = 1, /* Default */
625
-
626
- /*
627
- * pthread_mutexattr_{get,set}pshared
628
- * pthread_condattr_{get,set}pshared
629
- */
630
- PTHREAD_PROCESS_PRIVATE = 0,
631
- PTHREAD_PROCESS_SHARED = 1,
632
-
633
- /*
634
- * pthread_barrier_wait
635
- */
636
- PTHREAD_BARRIER_SERIAL_THREAD = -1
637
- };
638
-
639
- /*
640
- * ====================
641
- * ====================
642
- * Cancelation
643
- * ====================
644
- * ====================
645
- */
646
- #define PTHREAD_CANCELED ((void *) -1)
647
-
648
-
649
- /*
650
- * ====================
651
- * ====================
652
- * Once Key
653
- * ====================
654
- * ====================
655
- */
656
- #define PTHREAD_ONCE_INIT { PTW32_FALSE, 0, 0, 0}
657
-
658
- struct pthread_once_t_
659
- {
660
- int done; /* indicates if user function has been executed */
661
- void * lock;
662
- int reserved1;
663
- int reserved2;
664
- };
665
-
666
-
667
- /*
668
- * ====================
669
- * ====================
670
- * Object initialisers
671
- * ====================
672
- * ====================
673
- */
674
- #define PTHREAD_MUTEX_INITIALIZER ((pthread_mutex_t) -1)
675
- #define PTHREAD_RECURSIVE_MUTEX_INITIALIZER ((pthread_mutex_t) -2)
676
- #define PTHREAD_ERRORCHECK_MUTEX_INITIALIZER ((pthread_mutex_t) -3)
677
-
678
- /*
679
- * Compatibility with LinuxThreads
680
- */
681
- #define PTHREAD_RECURSIVE_MUTEX_INITIALIZER_NP PTHREAD_RECURSIVE_MUTEX_INITIALIZER
682
- #define PTHREAD_ERRORCHECK_MUTEX_INITIALIZER_NP PTHREAD_ERRORCHECK_MUTEX_INITIALIZER
683
-
684
- #define PTHREAD_COND_INITIALIZER ((pthread_cond_t) -1)
685
-
686
- #define PTHREAD_RWLOCK_INITIALIZER ((pthread_rwlock_t) -1)
687
-
688
- #define PTHREAD_SPINLOCK_INITIALIZER ((pthread_spinlock_t) -1)
689
-
690
-
691
- /*
692
- * Mutex types.
693
- */
694
- enum
695
- {
696
- /* Compatibility with LinuxThreads */
697
- PTHREAD_MUTEX_FAST_NP,
698
- PTHREAD_MUTEX_RECURSIVE_NP,
699
- PTHREAD_MUTEX_ERRORCHECK_NP,
700
- PTHREAD_MUTEX_TIMED_NP = PTHREAD_MUTEX_FAST_NP,
701
- PTHREAD_MUTEX_ADAPTIVE_NP = PTHREAD_MUTEX_FAST_NP,
702
- /* For compatibility with POSIX */
703
- PTHREAD_MUTEX_NORMAL = PTHREAD_MUTEX_FAST_NP,
704
- PTHREAD_MUTEX_RECURSIVE = PTHREAD_MUTEX_RECURSIVE_NP,
705
- PTHREAD_MUTEX_ERRORCHECK = PTHREAD_MUTEX_ERRORCHECK_NP,
706
- PTHREAD_MUTEX_DEFAULT = PTHREAD_MUTEX_NORMAL
707
- };
708
-
709
-
710
- typedef struct ptw32_cleanup_t ptw32_cleanup_t;
711
-
712
- #if defined(_MSC_VER)
713
- /* Disable MSVC 'anachronism used' warning */
714
- #pragma warning( disable : 4229 )
715
- #endif
716
-
717
- typedef void (* PTW32_CDECL ptw32_cleanup_callback_t)(void *);
718
-
719
- #if defined(_MSC_VER)
720
- #pragma warning( default : 4229 )
721
- #endif
722
-
723
- struct ptw32_cleanup_t
724
- {
725
- ptw32_cleanup_callback_t routine;
726
- void *arg;
727
- struct ptw32_cleanup_t *prev;
728
- };
729
-
730
- #ifdef __CLEANUP_SEH
731
- /*
732
- * WIN32 SEH version of cancel cleanup.
733
- */
734
-
735
- #define pthread_cleanup_push( _rout, _arg ) \
736
- { \
737
- ptw32_cleanup_t _cleanup; \
738
- \
739
- _cleanup.routine = (ptw32_cleanup_callback_t)(_rout); \
740
- _cleanup.arg = (_arg); \
741
- __try \
742
- { \
743
-
744
- #define pthread_cleanup_pop( _execute ) \
745
- } \
746
- __finally \
747
- { \
748
- if( _execute || AbnormalTermination()) \
749
- { \
750
- (*(_cleanup.routine))( _cleanup.arg ); \
751
- } \
752
- } \
753
- }
754
-
755
- #else /* __CLEANUP_SEH */
756
-
757
- #ifdef __CLEANUP_C
758
-
759
- /*
760
- * C implementation of PThreads cancel cleanup
761
- */
762
-
763
- #define pthread_cleanup_push( _rout, _arg ) \
764
- { \
765
- ptw32_cleanup_t _cleanup; \
766
- \
767
- ptw32_push_cleanup( &_cleanup, (ptw32_cleanup_callback_t) (_rout), (_arg) ); \
768
-
769
- #define pthread_cleanup_pop( _execute ) \
770
- (void) ptw32_pop_cleanup( _execute ); \
771
- }
772
-
773
- #else /* __CLEANUP_C */
774
-
775
- #ifdef __CLEANUP_CXX
776
-
777
- /*
778
- * C++ version of cancel cleanup.
779
- * - John E. Bossom.
780
- */
781
-
782
- class PThreadCleanup {
783
- /*
784
- * PThreadCleanup
785
- *
786
- * Purpose
787
- * This class is a C++ helper class that is
788
- * used to implement pthread_cleanup_push/
789
- * pthread_cleanup_pop.
790
- * The destructor of this class automatically
791
- * pops the pushed cleanup routine regardless
792
- * of how the code exits the scope
793
- * (i.e. such as by an exception)
794
- */
795
- ptw32_cleanup_callback_t cleanUpRout;
796
- void * obj;
797
- int executeIt;
798
-
799
- public:
800
- PThreadCleanup() :
801
- cleanUpRout( 0 ),
802
- obj( 0 ),
803
- executeIt( 0 )
804
- /*
805
- * No cleanup performed
806
- */
807
- {
808
- }
809
-
810
- PThreadCleanup(
811
- ptw32_cleanup_callback_t routine,
812
- void * arg ) :
813
- cleanUpRout( routine ),
814
- obj( arg ),
815
- executeIt( 1 )
816
- /*
817
- * Registers a cleanup routine for 'arg'
818
- */
819
- {
820
- }
821
-
822
- ~PThreadCleanup()
823
- {
824
- if ( executeIt && ((void *) cleanUpRout != (void *) 0) )
825
- {
826
- (void) (*cleanUpRout)( obj );
827
- }
828
- }
829
-
830
- void execute( int exec )
831
- {
832
- executeIt = exec;
833
- }
834
- };
835
-
836
- /*
837
- * C++ implementation of PThreads cancel cleanup;
838
- * This implementation takes advantage of a helper
839
- * class who's destructor automatically calls the
840
- * cleanup routine if we exit our scope weirdly
841
- */
842
- #define pthread_cleanup_push( _rout, _arg ) \
843
- { \
844
- PThreadCleanup cleanup((ptw32_cleanup_callback_t)(_rout), \
845
- (void *) (_arg) );
846
-
847
- #define pthread_cleanup_pop( _execute ) \
848
- cleanup.execute( _execute ); \
849
- }
850
-
851
- #else
852
-
853
- #error ERROR [__FILE__, line __LINE__]: Cleanup type undefined.
854
-
855
- #endif /* __CLEANUP_CXX */
856
-
857
- #endif /* __CLEANUP_C */
858
-
859
- #endif /* __CLEANUP_SEH */
860
-
861
- /*
862
- * ===============
863
- * ===============
864
- * Methods
865
- * ===============
866
- * ===============
867
- */
868
-
869
- /*
870
- * PThread Attribute Functions
871
- */
872
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_init (pthread_attr_t * attr);
873
-
874
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_destroy (pthread_attr_t * attr);
875
-
876
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_getdetachstate (const pthread_attr_t * attr,
877
- int *detachstate);
878
-
879
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_getstackaddr (const pthread_attr_t * attr,
880
- void **stackaddr);
881
-
882
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_getstacksize (const pthread_attr_t * attr,
883
- size_t * stacksize);
884
-
885
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_setdetachstate (pthread_attr_t * attr,
886
- int detachstate);
887
-
888
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_setstackaddr (pthread_attr_t * attr,
889
- void *stackaddr);
890
-
891
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_setstacksize (pthread_attr_t * attr,
892
- size_t stacksize);
893
-
894
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_getschedparam (const pthread_attr_t *attr,
895
- struct sched_param *param);
896
-
897
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_setschedparam (pthread_attr_t *attr,
898
- const struct sched_param *param);
899
-
900
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_setschedpolicy (pthread_attr_t *,
901
- int);
902
-
903
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_getschedpolicy (pthread_attr_t *,
904
- int *);
905
-
906
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_setinheritsched(pthread_attr_t * attr,
907
- int inheritsched);
908
-
909
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_getinheritsched(pthread_attr_t * attr,
910
- int * inheritsched);
911
-
912
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_setscope (pthread_attr_t *,
913
- int);
914
-
915
- PTW32_DLLPORT int PTW32_CDECL pthread_attr_getscope (const pthread_attr_t *,
916
- int *);
917
-
918
- /*
919
- * PThread Functions
920
- */
921
- PTW32_DLLPORT int PTW32_CDECL pthread_create (pthread_t * tid,
922
- const pthread_attr_t * attr,
923
- void *(*start) (void *),
924
- void *arg);
925
-
926
- PTW32_DLLPORT int PTW32_CDECL pthread_detach (pthread_t tid);
927
-
928
- PTW32_DLLPORT int PTW32_CDECL pthread_equal (pthread_t t1,
929
- pthread_t t2);
930
-
931
- PTW32_DLLPORT void PTW32_CDECL pthread_exit (void *value_ptr);
932
-
933
- PTW32_DLLPORT int PTW32_CDECL pthread_join (pthread_t thread,
934
- void **value_ptr);
935
-
936
- PTW32_DLLPORT pthread_t PTW32_CDECL pthread_self (void);
937
-
938
- PTW32_DLLPORT int PTW32_CDECL pthread_cancel (pthread_t thread);
939
-
940
- PTW32_DLLPORT int PTW32_CDECL pthread_setcancelstate (int state,
941
- int *oldstate);
942
-
943
- PTW32_DLLPORT int PTW32_CDECL pthread_setcanceltype (int type,
944
- int *oldtype);
945
-
946
- PTW32_DLLPORT void PTW32_CDECL pthread_testcancel (void);
947
-
948
- PTW32_DLLPORT int PTW32_CDECL pthread_once (pthread_once_t * once_control,
949
- void (*init_routine) (void));
950
-
951
- #if PTW32_LEVEL >= PTW32_LEVEL_MAX
952
- PTW32_DLLPORT ptw32_cleanup_t * PTW32_CDECL ptw32_pop_cleanup (int execute);
953
-
954
- PTW32_DLLPORT void PTW32_CDECL ptw32_push_cleanup (ptw32_cleanup_t * cleanup,
955
- void (*routine) (void *),
956
- void *arg);
957
- #endif /* PTW32_LEVEL >= PTW32_LEVEL_MAX */
958
-
959
- /*
960
- * Thread Specific Data Functions
961
- */
962
- PTW32_DLLPORT int PTW32_CDECL pthread_key_create (pthread_key_t * key,
963
- void (*destructor) (void *));
964
-
965
- PTW32_DLLPORT int PTW32_CDECL pthread_key_delete (pthread_key_t key);
966
-
967
- PTW32_DLLPORT int PTW32_CDECL pthread_setspecific (pthread_key_t key,
968
- const void *value);
969
-
970
- PTW32_DLLPORT void * PTW32_CDECL pthread_getspecific (pthread_key_t key);
971
-
972
-
973
- /*
974
- * Mutex Attribute Functions
975
- */
976
- PTW32_DLLPORT int PTW32_CDECL pthread_mutexattr_init (pthread_mutexattr_t * attr);
977
-
978
- PTW32_DLLPORT int PTW32_CDECL pthread_mutexattr_destroy (pthread_mutexattr_t * attr);
979
-
980
- PTW32_DLLPORT int PTW32_CDECL pthread_mutexattr_getpshared (const pthread_mutexattr_t
981
- * attr,
982
- int *pshared);
983
-
984
- PTW32_DLLPORT int PTW32_CDECL pthread_mutexattr_setpshared (pthread_mutexattr_t * attr,
985
- int pshared);
986
-
987
- PTW32_DLLPORT int PTW32_CDECL pthread_mutexattr_settype (pthread_mutexattr_t * attr, int kind);
988
- PTW32_DLLPORT int PTW32_CDECL pthread_mutexattr_gettype (pthread_mutexattr_t * attr, int *kind);
989
-
990
- /*
991
- * Barrier Attribute Functions
992
- */
993
- PTW32_DLLPORT int PTW32_CDECL pthread_barrierattr_init (pthread_barrierattr_t * attr);
994
-
995
- PTW32_DLLPORT int PTW32_CDECL pthread_barrierattr_destroy (pthread_barrierattr_t * attr);
996
-
997
- PTW32_DLLPORT int PTW32_CDECL pthread_barrierattr_getpshared (const pthread_barrierattr_t
998
- * attr,
999
- int *pshared);
1000
-
1001
- PTW32_DLLPORT int PTW32_CDECL pthread_barrierattr_setpshared (pthread_barrierattr_t * attr,
1002
- int pshared);
1003
-
1004
- /*
1005
- * Mutex Functions
1006
- */
1007
- PTW32_DLLPORT int PTW32_CDECL pthread_mutex_init (pthread_mutex_t * mutex,
1008
- const pthread_mutexattr_t * attr);
1009
-
1010
- PTW32_DLLPORT int PTW32_CDECL pthread_mutex_destroy (pthread_mutex_t * mutex);
1011
-
1012
- PTW32_DLLPORT int PTW32_CDECL pthread_mutex_lock (pthread_mutex_t * mutex);
1013
-
1014
- PTW32_DLLPORT int PTW32_CDECL pthread_mutex_timedlock(pthread_mutex_t *mutex,
1015
- const struct timespec *abstime);
1016
-
1017
- PTW32_DLLPORT int PTW32_CDECL pthread_mutex_trylock (pthread_mutex_t * mutex);
1018
-
1019
- PTW32_DLLPORT int PTW32_CDECL pthread_mutex_unlock (pthread_mutex_t * mutex);
1020
-
1021
- /*
1022
- * Spinlock Functions
1023
- */
1024
- PTW32_DLLPORT int PTW32_CDECL pthread_spin_init (pthread_spinlock_t * lock, int pshared);
1025
-
1026
- PTW32_DLLPORT int PTW32_CDECL pthread_spin_destroy (pthread_spinlock_t * lock);
1027
-
1028
- PTW32_DLLPORT int PTW32_CDECL pthread_spin_lock (pthread_spinlock_t * lock);
1029
-
1030
- PTW32_DLLPORT int PTW32_CDECL pthread_spin_trylock (pthread_spinlock_t * lock);
1031
-
1032
- PTW32_DLLPORT int PTW32_CDECL pthread_spin_unlock (pthread_spinlock_t * lock);
1033
-
1034
- /*
1035
- * Barrier Functions
1036
- */
1037
- PTW32_DLLPORT int PTW32_CDECL pthread_barrier_init (pthread_barrier_t * barrier,
1038
- const pthread_barrierattr_t * attr,
1039
- unsigned int count);
1040
-
1041
- PTW32_DLLPORT int PTW32_CDECL pthread_barrier_destroy (pthread_barrier_t * barrier);
1042
-
1043
- PTW32_DLLPORT int PTW32_CDECL pthread_barrier_wait (pthread_barrier_t * barrier);
1044
-
1045
- /*
1046
- * Condition Variable Attribute Functions
1047
- */
1048
- PTW32_DLLPORT int PTW32_CDECL pthread_condattr_init (pthread_condattr_t * attr);
1049
-
1050
- PTW32_DLLPORT int PTW32_CDECL pthread_condattr_destroy (pthread_condattr_t * attr);
1051
-
1052
- PTW32_DLLPORT int PTW32_CDECL pthread_condattr_getpshared (const pthread_condattr_t * attr,
1053
- int *pshared);
1054
-
1055
- PTW32_DLLPORT int PTW32_CDECL pthread_condattr_setpshared (pthread_condattr_t * attr,
1056
- int pshared);
1057
-
1058
- /*
1059
- * Condition Variable Functions
1060
- */
1061
- PTW32_DLLPORT int PTW32_CDECL pthread_cond_init (pthread_cond_t * cond,
1062
- const pthread_condattr_t * attr);
1063
-
1064
- PTW32_DLLPORT int PTW32_CDECL pthread_cond_destroy (pthread_cond_t * cond);
1065
-
1066
- PTW32_DLLPORT int PTW32_CDECL pthread_cond_wait (pthread_cond_t * cond,
1067
- pthread_mutex_t * mutex);
1068
-
1069
- PTW32_DLLPORT int PTW32_CDECL pthread_cond_timedwait (pthread_cond_t * cond,
1070
- pthread_mutex_t * mutex,
1071
- const struct timespec *abstime);
1072
-
1073
- PTW32_DLLPORT int PTW32_CDECL pthread_cond_signal (pthread_cond_t * cond);
1074
-
1075
- PTW32_DLLPORT int PTW32_CDECL pthread_cond_broadcast (pthread_cond_t * cond);
1076
-
1077
- /*
1078
- * Scheduling
1079
- */
1080
- PTW32_DLLPORT int PTW32_CDECL pthread_setschedparam (pthread_t thread,
1081
- int policy,
1082
- const struct sched_param *param);
1083
-
1084
- PTW32_DLLPORT int PTW32_CDECL pthread_getschedparam (pthread_t thread,
1085
- int *policy,
1086
- struct sched_param *param);
1087
-
1088
- PTW32_DLLPORT int PTW32_CDECL pthread_setconcurrency (int);
1089
-
1090
- PTW32_DLLPORT int PTW32_CDECL pthread_getconcurrency (void);
1091
-
1092
- /*
1093
- * Read-Write Lock Functions
1094
- */
1095
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlock_init(pthread_rwlock_t *lock,
1096
- const pthread_rwlockattr_t *attr);
1097
-
1098
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlock_destroy(pthread_rwlock_t *lock);
1099
-
1100
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlock_tryrdlock(pthread_rwlock_t *);
1101
-
1102
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlock_trywrlock(pthread_rwlock_t *);
1103
-
1104
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlock_rdlock(pthread_rwlock_t *lock);
1105
-
1106
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlock_timedrdlock(pthread_rwlock_t *lock,
1107
- const struct timespec *abstime);
1108
-
1109
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlock_wrlock(pthread_rwlock_t *lock);
1110
-
1111
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlock_timedwrlock(pthread_rwlock_t *lock,
1112
- const struct timespec *abstime);
1113
-
1114
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlock_unlock(pthread_rwlock_t *lock);
1115
-
1116
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlockattr_init (pthread_rwlockattr_t * attr);
1117
-
1118
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlockattr_destroy (pthread_rwlockattr_t * attr);
1119
-
1120
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlockattr_getpshared (const pthread_rwlockattr_t * attr,
1121
- int *pshared);
1122
-
1123
- PTW32_DLLPORT int PTW32_CDECL pthread_rwlockattr_setpshared (pthread_rwlockattr_t * attr,
1124
- int pshared);
1125
-
1126
- #if PTW32_LEVEL >= PTW32_LEVEL_MAX - 1
1127
-
1128
- /*
1129
- * Signal Functions. Should be defined in <signal.h> but MSVC and MinGW32
1130
- * already have signal.h that don't define these.
1131
- */
1132
- PTW32_DLLPORT int PTW32_CDECL pthread_kill(pthread_t thread, int sig);
1133
-
1134
- /*
1135
- * Non-portable functions
1136
- */
1137
-
1138
- /*
1139
- * Compatibility with Linux.
1140
- */
1141
- PTW32_DLLPORT int PTW32_CDECL pthread_mutexattr_setkind_np(pthread_mutexattr_t * attr,
1142
- int kind);
1143
- PTW32_DLLPORT int PTW32_CDECL pthread_mutexattr_getkind_np(pthread_mutexattr_t * attr,
1144
- int *kind);
1145
-
1146
- /*
1147
- * Possibly supported by other POSIX threads implementations
1148
- */
1149
- PTW32_DLLPORT int PTW32_CDECL pthread_delay_np (struct timespec * interval);
1150
- PTW32_DLLPORT int PTW32_CDECL pthread_num_processors_np(void);
1151
-
1152
- /*
1153
- * Useful if an application wants to statically link
1154
- * the lib rather than load the DLL at run-time.
1155
- */
1156
- PTW32_DLLPORT int PTW32_CDECL pthread_win32_process_attach_np(void);
1157
- PTW32_DLLPORT int PTW32_CDECL pthread_win32_process_detach_np(void);
1158
- PTW32_DLLPORT int PTW32_CDECL pthread_win32_thread_attach_np(void);
1159
- PTW32_DLLPORT int PTW32_CDECL pthread_win32_thread_detach_np(void);
1160
-
1161
- /*
1162
- * Features that are auto-detected at load/run time.
1163
- */
1164
- PTW32_DLLPORT int PTW32_CDECL pthread_win32_test_features_np(int);
1165
- enum ptw32_features {
1166
- PTW32_SYSTEM_INTERLOCKED_COMPARE_EXCHANGE = 0x0001, /* System provides it. */
1167
- PTW32_ALERTABLE_ASYNC_CANCEL = 0x0002 /* Can cancel blocked threads. */
1168
- };
1169
-
1170
- /*
1171
- * Register a system time change with the library.
1172
- * Causes the library to perform various functions
1173
- * in response to the change. Should be called whenever
1174
- * the application's top level window receives a
1175
- * WM_TIMECHANGE message. It can be passed directly to
1176
- * pthread_create() as a new thread if desired.
1177
- */
1178
- PTW32_DLLPORT void * PTW32_CDECL pthread_timechange_handler_np(void *);
1179
-
1180
- #endif /*PTW32_LEVEL >= PTW32_LEVEL_MAX - 1 */
1181
-
1182
- #if PTW32_LEVEL >= PTW32_LEVEL_MAX
1183
-
1184
- /*
1185
- * Returns the Win32 HANDLE for the POSIX thread.
1186
- */
1187
- PTW32_DLLPORT HANDLE PTW32_CDECL pthread_getw32threadhandle_np(pthread_t thread);
1188
-
1189
-
1190
- /*
1191
- * Protected Methods
1192
- *
1193
- * This function blocks until the given WIN32 handle
1194
- * is signaled or pthread_cancel had been called.
1195
- * This function allows the caller to hook into the
1196
- * PThreads cancel mechanism. It is implemented using
1197
- *
1198
- * WaitForMultipleObjects
1199
- *
1200
- * on 'waitHandle' and a manually reset WIN32 Event
1201
- * used to implement pthread_cancel. The 'timeout'
1202
- * argument to TimedWait is simply passed to
1203
- * WaitForMultipleObjects.
1204
- */
1205
- PTW32_DLLPORT int PTW32_CDECL pthreadCancelableWait (HANDLE waitHandle);
1206
- PTW32_DLLPORT int PTW32_CDECL pthreadCancelableTimedWait (HANDLE waitHandle,
1207
- DWORD timeout);
1208
-
1209
- #endif /* PTW32_LEVEL >= PTW32_LEVEL_MAX */
1210
-
1211
- /*
1212
- * Thread-Safe C Runtime Library Mappings.
1213
- */
1214
- #ifndef _UWIN
1215
- # if defined(NEED_ERRNO)
1216
- PTW32_DLLPORT int * PTW32_CDECL _errno( void );
1217
- # else
1218
- # ifndef errno
1219
- # if (defined(_MT) || defined(_DLL))
1220
- __declspec(dllimport) extern int * __cdecl _errno(void);
1221
- # define errno (*_errno())
1222
- # endif
1223
- # endif
1224
- # endif
1225
- #endif
1226
-
1227
- /*
1228
- * WIN32 C runtime library had been made thread-safe
1229
- * without affecting the user interface. Provide
1230
- * mappings from the UNIX thread-safe versions to
1231
- * the standard C runtime library calls.
1232
- * Only provide function mappings for functions that
1233
- * actually exist on WIN32.
1234
- */
1235
-
1236
- #if !defined(__MINGW32__)
1237
- #define strtok_r( _s, _sep, _lasts ) \
1238
- ( *(_lasts) = strtok( (_s), (_sep) ) )
1239
- #endif /* !__MINGW32__ */
1240
-
1241
- #define asctime_r( _tm, _buf ) \
1242
- ( strcpy( (_buf), asctime( (_tm) ) ), \
1243
- (_buf) )
1244
-
1245
- #define ctime_r( _clock, _buf ) \
1246
- ( strcpy( (_buf), ctime( (_clock) ) ), \
1247
- (_buf) )
1248
-
1249
- #define gmtime_r( _clock, _result ) \
1250
- ( *(_result) = *gmtime( (_clock) ), \
1251
- (_result) )
1252
-
1253
- #define localtime_r( _clock, _result ) \
1254
- ( *(_result) = *localtime( (_clock) ), \
1255
- (_result) )
1256
-
1257
- #define rand_r( _seed ) \
1258
- ( _seed == _seed? rand() : rand() )
1259
-
1260
-
1261
- /*
1262
- * Some compiler environments don't define some things.
1263
- */
1264
- #if defined(__BORLANDC__)
1265
- # define _ftime ftime
1266
- # define _timeb timeb
1267
- #endif
1268
-
1269
- #ifdef __cplusplus
1270
-
1271
- /*
1272
- * Internal exceptions
1273
- */
1274
- class ptw32_exception {};
1275
- class ptw32_exception_cancel : public ptw32_exception {};
1276
- class ptw32_exception_exit : public ptw32_exception {};
1277
-
1278
- #endif
1279
-
1280
- #if PTW32_LEVEL >= PTW32_LEVEL_MAX
1281
-
1282
- /* FIXME: This is only required if the library was built using SEH */
1283
- /*
1284
- * Get internal SEH tag
1285
- */
1286
- PTW32_DLLPORT DWORD PTW32_CDECL ptw32_get_exception_services_code(void);
1287
-
1288
- #endif /* PTW32_LEVEL >= PTW32_LEVEL_MAX */
1289
-
1290
- #ifndef PTW32_BUILD
1291
-
1292
- #ifdef __CLEANUP_SEH
1293
-
1294
- /*
1295
- * Redefine the SEH __except keyword to ensure that applications
1296
- * propagate our internal exceptions up to the library's internal handlers.
1297
- */
1298
- #define __except( E ) \
1299
- __except( ( GetExceptionCode() == ptw32_get_exception_services_code() ) \
1300
- ? EXCEPTION_CONTINUE_SEARCH : ( E ) )
1301
-
1302
- #endif /* __CLEANUP_SEH */
1303
-
1304
- #ifdef __CLEANUP_CXX
1305
-
1306
- /*
1307
- * Redefine the C++ catch keyword to ensure that applications
1308
- * propagate our internal exceptions up to the library's internal handlers.
1309
- */
1310
- #ifdef _MSC_VER
1311
- /*
1312
- * WARNING: Replace any 'catch( ... )' with 'PtW32CatchAll'
1313
- * if you want Pthread-Win32 cancelation and pthread_exit to work.
1314
- */
1315
-
1316
- #ifndef PtW32NoCatchWarn
1317
-
1318
- #pragma message("Specify \"/DPtW32NoCatchWarn\" compiler flag to skip this message.")
1319
- #pragma message("------------------------------------------------------------------")
1320
- #pragma message("When compiling applications with MSVC++ and C++ exception handling:")
1321
- #pragma message(" Replace any 'catch( ... )' in routines called from POSIX threads")
1322
- #pragma message(" with 'PtW32CatchAll' or 'CATCHALL' if you want POSIX thread")
1323
- #pragma message(" cancelation and pthread_exit to work. For example:")
1324
- #pragma message("")
1325
- #pragma message(" #ifdef PtW32CatchAll")
1326
- #pragma message(" PtW32CatchAll")
1327
- #pragma message(" #else")
1328
- #pragma message(" catch(...)")
1329
- #pragma message(" #endif")
1330
- #pragma message(" {")
1331
- #pragma message(" /* Catchall block processing */")
1332
- #pragma message(" }")
1333
- #pragma message("------------------------------------------------------------------")
1334
-
1335
- #endif
1336
-
1337
- #define PtW32CatchAll \
1338
- catch( ptw32_exception & ) { throw; } \
1339
- catch( ... )
1340
-
1341
- #else /* _MSC_VER */
1342
-
1343
- #define catch( E ) \
1344
- catch( ptw32_exception & ) { throw; } \
1345
- catch( E )
1346
-
1347
- #endif /* _MSC_VER */
1348
-
1349
- #endif /* __CLEANUP_CXX */
1350
-
1351
- #endif /* ! PTW32_BUILD */
1352
-
1353
- #ifdef __cplusplus
1354
- } /* End of extern "C" */
1355
- #endif /* __cplusplus */
1356
-
1357
- #ifdef PTW32__HANDLE_DEF
1358
- # undef HANDLE
1359
- #endif
1360
- #ifdef PTW32__DWORD_DEF
1361
- # undef DWORD
1362
- #endif
1363
-
1364
- #undef PTW32_LEVEL
1365
- #undef PTW32_LEVEL_MAX
1366
-
1367
- #endif /* ! RC_INVOKED */
1368
-
1369
- #endif /* PTHREAD_H */