logica 0.0.1 → 0.0.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 6f7c39b53470ab8de4b254289de127f5381dd1e5
-  data.tar.gz: 5b6c07bb425e77e05aac88438db2b433dec846fc
+  metadata.gz: b5f69fc7c70bbb40ae01a78fcacfba75da2dcc6a
+  data.tar.gz: 50da7366dedbbf9324fa1467982cb72b7cc9e15f
 SHA512:
-  metadata.gz: e1c8605b2591fdd244bdb060655a4599a6d46b9f630b737c53b70733a335e43c93ad90491e31800f4027cf00a2d00b6b133a2ef41ab45a9909050ffca54d0fb1
-  data.tar.gz: 7c9eccba730c03480e363eed52bcd3fb61521c94ab93bb215a2b856591508bab57fffd2f15221563f1321844ac6168e3676fbbeae78dea522c38c38f9c37e08c
+  metadata.gz: 43687704c5b6da44951eb805e8dd4bb3bb9a374115fb5bab13612373d0cc8b8c3ff5491962db0e419daa7d54211a2d4cf0c3c176ec0e4e9f8d049794e92fa0f3
+  data.tar.gz: a4ed6aa6082300e43310b04e022d5d61ca12a89aefe80fb8fadd11c174796e27b0bd06e83c0e4a59d9d2a88df85a6a042ba788243e7724dcd2d5b6c105f234cb

data/CHANGELOG.md

@@ -6,9 +6,14 @@ All notable changes to this project will be documented in this file. This projec
 
 * Your contribution here!
 
+## [0.0.2][] (2017-06-24)
+
+* Fixed detection of some trivial simplifications of compounds
+
 ## 0.0.1 (2017-06-20)
 
 * Initial release
 
 [Semver]: http://semver.org
-[Unreleased]: https://github.com/eugeniobruno/logica/compare/v0.0.1...HEAD
+[Unreleased]: https://github.com/eugeniobruno/logica/compare/v0.0.2...HEAD
+[0.0.2]: https://github.com/eugeniobruno/logica/compare/v0.0.1...v0.0.2

data/lib/logica/predicates/compounds/base.rb

@@ -80,7 +80,7 @@ module Logica
         end
 
         def annihilated_by?(other)
-          predicates.any? { |own_predicate| annihilation?(own_predicate, other) }
+          ([self] + predicates).any? { |pred| annihilation?(pred, other) }
         end
 
         def subsumes?(other)

data/lib/logica/predicates/compounds/conjunction.rb

@@ -33,7 +33,8 @@ module Logica
         end
 
         def specialization_of_other?(other)
-          predicates.any? { |predicate| predicate.specialization_of?(other) }
+          other.generalization_of_other?(self) ||
+          predicates.any? { |pred| pred.specialization_of?(other) }
         end
 
         def portion_satisfied_by(*arguments)

data/lib/logica/predicates/compounds/disjunction.rb

@@ -33,7 +33,7 @@ module Logica
         end
 
         def generalization_of_other?(other)
-          predicates.any? { |predicate| predicate.generalization_of?(other) }
+          super || predicates.any? { |pred| pred.generalization_of?(other) }
         end
 
         def portion_satisfied_by(*arguments)

data/lib/logica/version.rb

@@ -1,3 +1,3 @@
 module Logica
-  VERSION = '0.0.1'.freeze
+  VERSION = '0.0.2'.freeze
 end

data/logica.gemspec

@@ -7,7 +7,7 @@ require 'logica/version'
 Gem::Specification.new do |spec|
   spec.name     = 'logica'
   spec.version  = Logica::VERSION
-  spec.date     = '2017-06-20'
+  spec.date     = '2017-06-24'
   spec.authors  = ['Eugenio Bruno']
   spec.email    = ['eugeniobruno@gmail.com']
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: logica
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.0.2
 platform: ruby
 authors:
 - Eugenio Bruno
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2017-06-20 00:00:00.000000000 Z
+date: 2017-06-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: openhouse