Contents

module Ravensat
  module RavenClaw
    def self.alo(bool_vars)
      bool_vars.reduce(:|)
    end

    def self.amo(bool_vars)
      bool_vars.combination(2).map do |e|
        e.map(&:~@).reduce(:|)
      end.reduce(:&)
    end

    def self.all_different(*int_vars)
      int_vars.combination(2).map do |int_var|
        int_var.reduce(:!=)
      end.reduce(:&)
    end
  end
end

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
ravensat-0.3.1	lib/ravensat/ravenclaw.rb
ravensat-0.3.0	lib/ravensat/ravenclaw.rb