ravensat 1.0.5 → 1.0.8

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 56180e12d568856b7aecc556c6351157b35214ee2b8baccfbdf7069db9f87f11
-  data.tar.gz: 61d38033566cc2c5683300765589938e45e2a8140b9fc74646ca7cb9f838818a
+  metadata.gz: d64d337bf293ce23f27a118bc1896ecf7c35709f3d0a0a7c217fa3bef2e495a6
+  data.tar.gz: 38c00c661b514dff04fd0fdcc2854ae9c37104598fb6dc2f8235eac0178595dd
 SHA512:
-  metadata.gz: 6ad53a3be42a987284db8d89f5e3fa4da21097e6c019c82e3fb34f49718b2907de49f9235922dd1892e318d94f193fba2b899b5317e5da780fceb1894cddbfb9
-  data.tar.gz: 38439434b8b7e40492743a7ee5b8815ffe71adfe8894ec678761c041af0e49db0f81e8ea684d5d3e4aef5288a68ff46796c871ccab9e9b349c424da3d0cdc500
+  metadata.gz: 853077cca8f5220f9ecfbcec4c14323678b5f6d36f197892a3b49646ca6cff39a032fbcdf2199e524ab46f3d5806cf86a9f45152a71bd968d4d0388dcf0cacb7
+  data.tar.gz: 10de270cfe07b3c1041dd0e398b8c1e8c1bd58d103917b8e116fb3f84caa8235747e5cb775ca9601a2b3be63b673efac5d0b6dade9451e0c121f8dcc9872594b

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/initial_node.rb

@@ -1,10 +1,12 @@
 module Ravensat
   class InitialNode < Node
     def &(object)
+      raise TypeError.new("#{object.class} can't be coerced into Ravensat::Node") unless object.is_a? Node
       object
     end
 
     def |(object)
+      raise TypeError.new("#{object.class} can't be coerced into Ravensat::Node") unless object.is_a? Node
       object
     end
   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,16 +1,19 @@
 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(:&)

data/lib/ravensat/version.rb

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

metadata

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