nysol-zdd 3.0.2

Sign up to get free protection for your applications and to get access to all the features.
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: []