ravensat 0.1.0 → 0.1.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 4096e2cf92f90de177d68da91023a52126e1c585ecb4adb4bebd03f98d4d7eb2
-  data.tar.gz: ed1650dda444677d788404feb1a08af0c95d11adcc9ed50863fdd4148784da63
+  metadata.gz: a47d909acb01362653613bd0a4df6da1d426303a5e0919987b587fe3adcb77fd
+  data.tar.gz: 46f323addbd8e5f183eeb8bd81c28ffd0994553bc63a2e99689b991a43d1e508
 SHA512:
-  metadata.gz: ec26889a68bf4114d3bf0ed6c56c2e8368b31e09ac1865f31272f70bdc1415f319b291f677bfdf730f71b1ed9bcc1e56ffabddbcdbcba1a11c6441e64d888bd1
-  data.tar.gz: b174cd6db0867ab511a558a19a23a372cab7d293429ed434c4892817505f6a6d12cc1e15f2a67431bfa52c7376575b8a057ba536c7315fe14fc452d7a71fcd25
+  metadata.gz: 31ebd03521bce3df1d2447d9bddba7eef23deced640285f9bbfb79cf790bdc2a4af45b6c299e4ed5c6aa8000a43e4114b4d7045f1e963305175de85728a01cee
+  data.tar.gz: '097189b8c4d177f9cd8658fa4ff16481616dfb9ca72c65fbe80fbcbb63eaa453db55067312ff152c4fff01e613f4f82c745e7594b6a00861ee2b266c7ea740d1'

data/lib/ravensat/ravenclaw.rb

@@ -1,5 +1,15 @@
-def amo(proposal_values)
-end
+module Ravensat
+  class RavenClaw
+    def initialize; end
+
+    def self.alo(prop_vars)
+      prop_vars.reduce(:|)
+    end
 
-def alo(proposal_values)
+    def self.amo(prop_vars)
+      prop_vars.combination(2).map do |e|
+        e.map(&:~@).reduce(:|)
+      end.reduce(:&)
+    end
+  end
 end

data/lib/ravensat/version.rb

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

data/lib/ravensat.rb

@@ -9,6 +9,7 @@ module Ravensat
   autoload :Solver, ravensat + '/solver.rb'
   autoload :PropVar, ravensat + '/prop_var.rb'
   autoload :PropLogic, ravensat + '/prop_logic.rb'
+  autoload :RavenClaw, ravensat + '/ravenclaw.rb'
 
   autoload :Arcteryx, arcteryx + '/arcteryx.rb'
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ravensat
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.1.1
 platform: ruby
 authors:
 - rikuto matsuda
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-12-03 00:00:00.000000000 Z
+date: 2021-12-16 00:00:00.000000000 Z
 dependencies: []
 description:
 email: