nysol-zdd 3.0.1-universal-darwin-13

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