nysol-zdd 3.0.2

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 (47) hide show
  1. checksums.yaml +7 -0
  2. data/ext/zdd_so/BDD.cc +495 -0
  3. data/ext/zdd_so/BDD.h +356 -0
  4. data/ext/zdd_so/BDDDG.cc +1818 -0
  5. data/ext/zdd_so/BDDDG.h +107 -0
  6. data/ext/zdd_so/BDDHASH.cc +91 -0
  7. data/ext/zdd_so/BtoI.cc +503 -0
  8. data/ext/zdd_so/BtoI.h +144 -0
  9. data/ext/zdd_so/CtoI.cc +1072 -0
  10. data/ext/zdd_so/CtoI.h +186 -0
  11. data/ext/zdd_so/MLZBDDV.cc +153 -0
  12. data/ext/zdd_so/MLZBDDV.h +42 -0
  13. data/ext/zdd_so/SOP.cc +608 -0
  14. data/ext/zdd_so/SOP.h +199 -0
  15. data/ext/zdd_so/ZBDD.cc +1035 -0
  16. data/ext/zdd_so/ZBDD.h +243 -0
  17. data/ext/zdd_so/ZBDDDG.cc +1834 -0
  18. data/ext/zdd_so/ZBDDDG.h +105 -0
  19. data/ext/zdd_so/ZBDDHASH.cc +91 -0
  20. data/ext/zdd_so/bddc.c +2816 -0
  21. data/ext/zdd_so/bddc.h +132 -0
  22. data/ext/zdd_so/extconf.rb +25 -0
  23. data/ext/zdd_so/include/aheap.c +211 -0
  24. data/ext/zdd_so/include/aheap.h +111 -0
  25. data/ext/zdd_so/include/base.c +93 -0
  26. data/ext/zdd_so/include/base.h +60 -0
  27. data/ext/zdd_so/include/itemset.c +473 -0
  28. data/ext/zdd_so/include/itemset.h +153 -0
  29. data/ext/zdd_so/include/problem.c +371 -0
  30. data/ext/zdd_so/include/problem.h +160 -0
  31. data/ext/zdd_so/include/queue.c +518 -0
  32. data/ext/zdd_so/include/queue.h +177 -0
  33. data/ext/zdd_so/include/sgraph.c +331 -0
  34. data/ext/zdd_so/include/sgraph.h +170 -0
  35. data/ext/zdd_so/include/stdlib2.c +832 -0
  36. data/ext/zdd_so/include/stdlib2.h +746 -0
  37. data/ext/zdd_so/include/trsact.c +723 -0
  38. data/ext/zdd_so/include/trsact.h +167 -0
  39. data/ext/zdd_so/include/vec.c +583 -0
  40. data/ext/zdd_so/include/vec.h +159 -0
  41. data/ext/zdd_so/lcm-vsop.cc +596 -0
  42. data/ext/zdd_so/print.cc +683 -0
  43. data/ext/zdd_so/table.cc +330 -0
  44. data/ext/zdd_so/vsop.h +88 -0
  45. data/ext/zdd_so/zdd_so.cpp +3277 -0
  46. data/lib/nysol/zdd.rb +31 -0
  47. metadata +131 -0
data/lib/nysol/zdd.rb ADDED
@@ -0,0 +1,31 @@
1
+ require "rubygems"
2
+ require "nysol/zdd_so"
3
+
4
+ class String
5
+ alias_method :plus ,:+
6
+ def +(other)
7
+ if String == other.class then
8
+ return ( self.plus(other) )
9
+ else
10
+ return (ZDD.itemset(self) + other)
11
+ end
12
+ end
13
+
14
+ #宣言してからzdd生成(引数がmoduleだった場合"+"とする)
15
+ def v(val=nil,to="bottom")
16
+ if ( val.kind_of? Module) then
17
+ ZDD.symbol(self,nil,"bottom")
18
+ base = ZDD.itemset(self)
19
+ return base + val
20
+ else
21
+ ZDD.symbol(self,val,to)
22
+ return ZDD.itemset(self)
23
+ end
24
+ end
25
+ end
26
+
27
+ class Integer
28
+ def v
29
+ ZDD.constant(self)
30
+ end
31
+ end
metadata ADDED
@@ -0,0 +1,131 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: nysol-zdd
3
+ version: !ruby/object:Gem::Version
4
+ version: 3.0.2
5
+ platform: ruby
6
+ authors:
7
+ - nysol
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+ date: 2017-06-29 00:00:00.000000000 Z
12
+ dependencies:
13
+ - !ruby/object:Gem::Dependency
14
+ name: bundler
15
+ requirement: !ruby/object:Gem::Requirement
16
+ requirements:
17
+ - - ~>
18
+ - !ruby/object:Gem::Version
19
+ version: '1.11'
20
+ type: :development
21
+ prerelease: false
22
+ version_requirements: !ruby/object:Gem::Requirement
23
+ requirements:
24
+ - - ~>
25
+ - !ruby/object:Gem::Version
26
+ version: '1.11'
27
+ - !ruby/object:Gem::Dependency
28
+ name: rake
29
+ requirement: !ruby/object:Gem::Requirement
30
+ requirements:
31
+ - - ~>
32
+ - !ruby/object:Gem::Version
33
+ version: '10.0'
34
+ type: :development
35
+ prerelease: false
36
+ version_requirements: !ruby/object:Gem::Requirement
37
+ requirements:
38
+ - - ~>
39
+ - !ruby/object:Gem::Version
40
+ version: '10.0'
41
+ - !ruby/object:Gem::Dependency
42
+ name: rake-compiler
43
+ requirement: !ruby/object:Gem::Requirement
44
+ requirements:
45
+ - - '>='
46
+ - !ruby/object:Gem::Version
47
+ version: '0'
48
+ type: :development
49
+ prerelease: false
50
+ version_requirements: !ruby/object:Gem::Requirement
51
+ requirements:
52
+ - - '>='
53
+ - !ruby/object:Gem::Version
54
+ version: '0'
55
+ description: nysol zdd package
56
+ email:
57
+ - info@nysol.jp
58
+ executables: []
59
+ extensions:
60
+ - ext/zdd_so/extconf.rb
61
+ extra_rdoc_files: []
62
+ files:
63
+ - lib/nysol/zdd.rb
64
+ - ext/zdd_so/extconf.rb
65
+ - ext/zdd_so/zdd_so.cpp
66
+ - ext/zdd_so/lcm-vsop.cc
67
+ - ext/zdd_so/BDD.cc
68
+ - ext/zdd_so/BDDDG.cc
69
+ - ext/zdd_so/BDDHASH.cc
70
+ - ext/zdd_so/BtoI.cc
71
+ - ext/zdd_so/CtoI.cc
72
+ - ext/zdd_so/MLZBDDV.cc
73
+ - ext/zdd_so/SOP.cc
74
+ - ext/zdd_so/ZBDD.cc
75
+ - ext/zdd_so/ZBDDDG.cc
76
+ - ext/zdd_so/ZBDDHASH.cc
77
+ - ext/zdd_so/bddc.c
78
+ - ext/zdd_so/print.cc
79
+ - ext/zdd_so/table.cc
80
+ - ext/zdd_so/include/aheap.c
81
+ - ext/zdd_so/include/aheap.h
82
+ - ext/zdd_so/include/base.c
83
+ - ext/zdd_so/include/base.h
84
+ - ext/zdd_so/include/itemset.c
85
+ - ext/zdd_so/include/itemset.h
86
+ - ext/zdd_so/include/problem.c
87
+ - ext/zdd_so/include/problem.h
88
+ - ext/zdd_so/include/queue.c
89
+ - ext/zdd_so/include/queue.h
90
+ - ext/zdd_so/include/sgraph.c
91
+ - ext/zdd_so/include/sgraph.h
92
+ - ext/zdd_so/include/stdlib2.c
93
+ - ext/zdd_so/include/stdlib2.h
94
+ - ext/zdd_so/include/trsact.c
95
+ - ext/zdd_so/include/trsact.h
96
+ - ext/zdd_so/include/vec.c
97
+ - ext/zdd_so/include/vec.h
98
+ - ext/zdd_so/BDD.h
99
+ - ext/zdd_so/bddc.h
100
+ - ext/zdd_so/BDDDG.h
101
+ - ext/zdd_so/BtoI.h
102
+ - ext/zdd_so/CtoI.h
103
+ - ext/zdd_so/MLZBDDV.h
104
+ - ext/zdd_so/SOP.h
105
+ - ext/zdd_so/vsop.h
106
+ - ext/zdd_so/ZBDD.h
107
+ - ext/zdd_so/ZBDDDG.h
108
+ homepage: http://www.nysol.jp/
109
+ licenses: []
110
+ metadata: {}
111
+ post_install_message:
112
+ rdoc_options: []
113
+ require_paths:
114
+ - lib
115
+ required_ruby_version: !ruby/object:Gem::Requirement
116
+ requirements:
117
+ - - '>='
118
+ - !ruby/object:Gem::Version
119
+ version: '0'
120
+ required_rubygems_version: !ruby/object:Gem::Requirement
121
+ requirements:
122
+ - - '>='
123
+ - !ruby/object:Gem::Version
124
+ version: '0'
125
+ requirements: []
126
+ rubyforge_project:
127
+ rubygems_version: 2.0.14
128
+ signing_key:
129
+ specification_version: 4
130
+ summary: nysol zdd package
131
+ test_files: []