ravensat 1.0.4 → 1.0.7

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: e53ca35aa21cc9c623de888c201c19d54146d586c34a549db7dab634e16ad3d6
-  data.tar.gz: bf87c8b08b9be42c7c9fbf7b1bddbfc88293ad266a8f190e1d8479e7131e1277
+  metadata.gz: ceabe3e3d03de374a38f92df583ab84bc69cbdfd80bc842d722bf8730a60c69e
+  data.tar.gz: 1973d2e270011520d59ec8ab32296f4589a4511901b4701bb58c74f066535a57
 SHA512:
-  metadata.gz: b1e524ea817f9f6ab63892e9c608b6aea58d7b499dc0db5275d9634206680de45a1e2a22c0e19f78b6efaff5fd5e972a164dded7e19d1ffde10785e60e2c5156
-  data.tar.gz: 06a06b8914d6d654c127b4b36e94afe84cfbfe322f50717d3d3cbbfb1598e8726c05155ecf624b21fc765ac3e32b003ab0374f806555255499b31778c674a7b1
+  metadata.gz: b6e2aa1f4f21111d07f8e586876293fe2569190eeb4875cfef4bf35d1bc23c755475d0470b15f24dd6e640d6f7d3a4ec927b6102f8401c3dc7a46527f1b5d2fd
+  data.tar.gz: 6f69d190d6fe8546035a59ba4643c33322210716a295a3b6c556d4f063d1a187e54afd507d0b4c0a10d65bc3db3766f23f2b58cc522f6ad67d0955ed78b77ca7

data/lib/ravensat/ast/and_node.rb

@@ -1,6 +1,7 @@
 module Ravensat
   class AndNode < OprNode
     def &(object)
+      raise TypeError.new("#{object.class} can't be coerced into Ravensat::Node") unless object.is_a? Node
       @children.append object
       self
     end

data/lib/ravensat/ast/node.rb

@@ -63,10 +63,12 @@ module Ravensat
     end
 
     def &(object)
+      raise TypeError.new("#{object.class} can't be coerced into Ravensat::Node") unless object.is_a? Node
       AndNode.new(self, object)
     end
 
     def |(object)
+      raise TypeError.new("#{object.class} can't be coerced into Ravensat::Node") unless object.is_a? Node
       OrNode.new(self, object)
     end
 

data/lib/ravensat/ast/or_node.rb

@@ -1,6 +1,7 @@
 module Ravensat
   class OrNode < OprNode
     def |(object)
+      raise TypeError.new("#{object.class} can't be coerced into Ravensat::Node") unless object.is_a? Node
       @children.append object
       self
     end

data/lib/ravensat/claw.rb

@@ -1,9 +1,24 @@
 module Ravensat
   module Claw
     def self.alo(bool_vars)
+      return bool_vars.first if bool_vars.size == 1
       bool_vars.reduce(:|)
     end
 
+    def self.at_most_k(bool_vars, k)
+      return bool_vars.first if bool_vars.size == 1
+      bool_vars.combination(k+1).map do |e|
+        e.map(&:~@).reduce(:|)
+      end.reduce(:&)
+    end
+
+    def self.at_least_k(bool_vars, k)
+      return bool_vars.first if bool_vars.size == 1
+      bool_vars.combination(k-1).map do |e|
+        alo(bool_vars - e)
+      end.reduce(:&)
+    end
+
     def self.pairwise_amo(bool_vars)
       return bool_vars.first if bool_vars.size == 1
       bool_vars.combination(2).map do |e|

data/lib/ravensat/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Ravensat
-  VERSION = "1.0.4"
+  VERSION = "1.0.7"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ravensat
 version: !ruby/object:Gem::Version
-  version: 1.0.4
+  version: 1.0.7
 platform: ruby
 authors:
 - rikuto matsuda
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2022-08-18 00:00:00.000000000 Z
+date: 2022-08-23 00:00:00.000000000 Z
 dependencies: []
 description:
 email: