nysol-zdd 3.0.1-universal-darwin-13

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.
@@ -0,0 +1,7 @@
1
+ ---
2
+ SHA1:
3
+ metadata.gz: d22c5fa55f9866ae6ee5864f7cf68f3d8cc8adcb
4
+ data.tar.gz: 1688efcaee4d21aeac8285999446b29e3271ba6f
5
+ SHA512:
6
+ metadata.gz: f57a898496fcedc89a34d6920e8e26da574ec4c2d6b7ca5d6164994ee0a06a9ec9156d4967c0c7cdafa3f3fc7e0d1056f34c636eb49d9ecf6e81e3286c1a16fa
7
+ data.tar.gz: d340e7565f9cc5e07c1597b06f6e6a7c257058ed8a21fc239c83343f829fc0e53eb749d0cf4bc1b1ff16dfa6d98077eb5b1b73fc0db81af5e7090a79636d2bb1
@@ -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
Binary file
metadata ADDED
@@ -0,0 +1,87 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: nysol-zdd
3
+ version: !ruby/object:Gem::Version
4
+ version: 3.0.1
5
+ platform: universal-darwin-13
6
+ authors:
7
+ - nysol
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+ date: 2017-02-18 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
+ extra_rdoc_files: []
61
+ files:
62
+ - lib/nysol/zdd_so.bundle
63
+ - lib/nysol/zdd.rb
64
+ homepage: http://www.nysol.jp/
65
+ licenses: []
66
+ metadata: {}
67
+ post_install_message:
68
+ rdoc_options: []
69
+ require_paths:
70
+ - lib
71
+ required_ruby_version: !ruby/object:Gem::Requirement
72
+ requirements:
73
+ - - '>='
74
+ - !ruby/object:Gem::Version
75
+ version: '0'
76
+ required_rubygems_version: !ruby/object:Gem::Requirement
77
+ requirements:
78
+ - - '>='
79
+ - !ruby/object:Gem::Version
80
+ version: '0'
81
+ requirements: []
82
+ rubyforge_project:
83
+ rubygems_version: 2.0.14
84
+ signing_key:
85
+ specification_version: 4
86
+ summary: nysol zdd package
87
+ test_files: []