magic_logic 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 5c4a0aaa6c54d1ee66d0c45910f2d060d7913eb1
+  data.tar.gz: 3710e90bb50ebf6272dcceb9ea20b3b684883ee9
+SHA512:
+  metadata.gz: e485ebfea4853ac66e84bea93978de5f14d44e48958f737df698ee05fe9bb1699eba0f86ad6b08467096b13cbc7f1dbbc1a6dea421baed38129860021294d00b
+  data.tar.gz: a42e2628b438320dda98333e58014b0e8e62e4a0bf87feae7646c9ff7f738aea9972196d016e8f4df45b83dbcee8c5a2e41a1155aab2935c2ca03ac51596738e

data/.gitignore

@@ -0,0 +1,14 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+*.bundle
+*.so
+*.o
+*.a
+mkmf.log

data/.travis.yml

@@ -0,0 +1,3 @@
+language: ruby
+rvm:
+  - 2.2.0

data/Gemfile

@@ -0,0 +1,4 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in magic_logic.gemspec
+gemspec

data/LICENSE.txt

@@ -0,0 +1,22 @@
+Copyright (c) 2015 gogotanaka
+
+MIT License
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.md

@@ -0,0 +1,31 @@
+# MagicLogic
+
+TODO: Write a gem description
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'magic_logic'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install magic_logic
+
+## Usage
+
+TODO: Write usage instructions here
+
+## Contributing
+
+1. Fork it ( https://github.com/[my-github-username]/magic_logic/fork )
+2. Create your feature branch (`git checkout -b my-new-feature`)
+3. Commit your changes (`git commit -am 'Add some feature'`)
+4. Push to the branch (`git push origin my-new-feature`)
+5. Create a new Pull Request

data/Rakefile

@@ -0,0 +1,9 @@
+require "bundler/gem_tasks"
+require "rake/testtask"
+
+Rake::TestTask.new(:test) do |t|
+  t.libs << "test"
+end
+
+task :default => :test
+

data/bin/magic_logic

@@ -0,0 +1,3 @@
+#!/usr/bin/env ruby
+
+require 'magic_logic'

data/lib/magic_logic/version.rb

@@ -0,0 +1,3 @@
+module MagicLogic
+  VERSION = "0.0.1"
+end

data/lib/magic_logic.rb

@@ -0,0 +1,157 @@
+require "magic_logic/version"
+
+module MagicLogic
+  module Operator
+    def ~@
+      if    is_neg?  then p
+      elsif is_form? then vars.map(&:~).inject(reope)
+      else                NEG.new(self)
+      end
+    end
+
+    def *(q)
+      case q
+      when Taut  then self
+      when UTaut then $utout
+      when self  then self
+      else
+        if neg?(q) then $utout
+        else            FORM.new([self, q], :*)
+        end
+      end
+    end
+
+    def +(q)
+      case q
+      when Taut  then $tout
+      when UTaut then self
+      when self  then self
+      else
+        if neg?(q) then $tout
+        else            FORM.new([self, q], :+)
+        end
+      end
+    end
+
+    def >=(q)
+      (~self + q)
+    end
+
+    def <=>(q)
+      (self >= q) * (q >= self)
+    end
+  end
+
+  module Utils
+    def neg?(p)
+      (is_neg? && self.p == p) || (p.is_neg? && p.p == self)
+    end
+
+    def is_neg?
+      is_a?(NEG)
+    end
+
+    def is_form?(ope=nil)
+      return is_a?(FORM) && @ope == ope if ope
+      is_a?(FORM)
+    end
+
+    def is_or?
+      is_form?(:+)
+    end
+
+    def is_and?
+      is_form?(:*)
+    end
+
+    def include?(p)
+      false
+    end
+
+    def dpll!
+      !!!!!!!!!!!!self
+    end
+  end
+
+  module Base; include Operator; include Utils end
+
+  # Tautology
+  class Taut
+    include Base
+    def ~@;   $utout end
+    def +(q); $tout  end
+    def *(q); q      end
+    def !@;   $tout  end
+    def to_s; 'TRUE' end
+  end
+  $tout = Taut.new
+
+  # Non Tautology
+  class UTaut
+    include Base
+    def ~@;   $tout   end
+    def +(q); q       end
+    def *(q); $utout  end
+    def !@;   $utout  end
+    def to_s; 'FALSE' end
+  end
+  $utout = UTaut.new
+
+  class Atom < Struct.new(:p)
+    include Base
+    def to_s;          p.to_s      end
+    def !@;            self        end
+    def depth;         1           end
+  end
+
+  class NEG < Struct.new(:p)
+    include Base
+    def to_s;          "~#{p}"      end
+    def !@;             ~(!p)       end
+    def depth;          p.depth+1   end
+  end
+
+  class FORM
+    include Base
+    attr_reader :vars, :ope
+    def initialize(vars, ope)
+      @vars = vars.map { |var| var.is_form?(ope) ? var.vars : var }.flatten
+      @ope = ope
+    end
+
+    def to_s; "(#{vars.map(&:to_s).join(loope)})" end
+
+    def !@
+      if is_or? && (and_form = vars.find { |var| var.is_and? })
+        and_form.vars.map { |a| a + FORM.new((vars - [and_form]), :+) }.inject(:*)
+      elsif are_there_neg?
+        is_or? ? $tout : $utout
+      else
+        vars.map(&:!).inject(ope)
+      end
+    end
+
+    def depth;       [p.depth, q.depth].max+1;     end
+
+    def include?(p)
+      vars.include?(p)
+    end
+
+    def loope
+      ope == :* ? '&' : '|'
+    end
+
+    def reope
+      is_and? ? :+ : :*
+    end
+
+    private
+      def are_there_neg?
+        pvars = vars.reject { |var| var.is_neg? }
+        nvars = vars.select { |var| var.is_neg? }
+        pvars.any? { |pvar|
+          nvars.any? { |nvar| nvar.neg?(pvar) }
+        }
+      end
+  end
+end

data/magic_logic.gemspec

@@ -0,0 +1,24 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'magic_logic/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "magic_logic"
+  spec.version       = MagicLogic::VERSION
+  spec.authors       = ["gogotanaka"]
+  spec.email         = ["mail@tanakakazuki.com"]
+  spec.summary       = %q{ Magic logic }
+  spec.description   = %q{ Magic logic }
+  spec.homepage      = ""
+  spec.license       = "MIT"
+
+  spec.files         = `git ls-files -z`.split("\x0")
+  spec.executables   = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
+  spec.test_files    = spec.files.grep(%r{^(test|spec|features)/})
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.7"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "minitest"
+end

data/test/minitest_helper.rb

@@ -0,0 +1,4 @@
+$LOAD_PATH.unshift File.expand_path('../../lib', __FILE__)
+require 'magic_logic'
+
+require 'minitest/autorun'

data/test/test_magic_logic.rb

@@ -0,0 +1,72 @@
+require 'minitest_helper'
+include MagicLogic
+class TestMagicLogic < MiniTest::Unit::TestCase
+  $p = Atom.new(:P)
+  $q = Atom.new(:Q)
+  $r = Atom.new(:R)
+
+  def setup
+
+  end
+  def assert_to_s(exp, obj)
+    assert_equal(exp, ((!!!!!!!obj).to_s))
+  end
+
+  def test_utils
+    assert_equal(true, $p.neg?(~$p))
+    assert_equal(true, (~$p).neg?($p))
+    assert_equal(false, ($p).neg?($p))
+    assert_equal(false, ($p).neg?($p))
+    assert_equal(true, ($p + $q).include?($p))
+    assert_equal(true, ($p + $q).include?($q))
+  end
+
+  def test_0_1
+    assert_to_s("TRUE", $p + $tout)
+    assert_to_s("TRUE", $tout + $p)
+    assert_to_s("P", $p + $utout)
+    assert_to_s("P", $utout + $p)
+    assert_to_s("TRUE", $p + ~$p)
+    assert_to_s("TRUE", ~$p + $p)
+
+    assert_to_s("P", $p * $tout)
+    assert_to_s("P", $tout * $p)
+    assert_to_s("FALSE", $p * $utout)
+    assert_to_s("FALSE", $utout * $p)
+    assert_to_s("FALSE", $p * ~$p)
+    assert_to_s("FALSE", ~$p * $p)
+  end
+
+  def test_basis
+    assert_to_s("P", $p)
+    assert_to_s("(P|Q)", $p + $q)
+    assert_to_s("(P&Q)", $p * $q)
+    assert_to_s("~P", ~$p)
+    assert_to_s("(~P|Q)", $p >= $q)
+    assert_to_s("((~P|Q)&(~Q|P))", $p <=> $q)
+  end
+
+  def test_main
+    assert_to_s("(~P&~Q)", ~($p + $q))
+    assert_to_s("(~P|~Q)", ~($p * $q))
+    assert_to_s("P", ~(~$p))
+    assert_to_s("((Q|P)&(R|P))", $p + ($q * $r))
+    assert_to_s("(P&Q&R)", $p * ($q * $r))
+    assert_to_s("(P&(~P|Q))", $p * ($p >= $q))
+    assert_to_s("P", (~$p >= $p))
+  end
+
+  def test_tautology
+    assert_to_s("TRUE", ~(~$p) >= $p)
+    assert_to_s("TRUE", ($p * ($p >= $q)) >= $q)
+    assert_to_s("TRUE", (($p >= $q) * ($q >= $r)) >= ($p >= $r))
+    assert_to_s("TRUE", (~$p * ($p + $q)) >= ($q))
+    assert_to_s("TRUE", (($p >= $q) * ($q >= $r) * $p) >= ($r))
+    assert_to_s("TRUE", ($p * ~$p) >= $r)
+  end
+
+  def test_no_tautology
+    assert_to_s("FALSE", $p * $q * ~$p)
+    assert_to_s("FALSE", ~$p * (~$p >= $p))
+  end
+end

metadata

@@ -0,0 +1,101 @@
+--- !ruby/object:Gem::Specification
+name: magic_logic
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- gogotanaka
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2015-01-22 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: minitest
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: " Magic logic "
+email:
+- mail@tanakakazuki.com
+executables:
+- magic_logic
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".travis.yml"
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/magic_logic
+- lib/magic_logic.rb
+- lib/magic_logic/version.rb
+- magic_logic.gemspec
+- test/minitest_helper.rb
+- test/test_magic_logic.rb
+homepage: ''
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.4.5
+signing_key: 
+specification_version: 4
+summary: Magic logic
+test_files:
+- test/minitest_helper.rb
+- test/test_magic_logic.rb