logica 0.0.1 → 0.0.2
Sign up to get free protection for your applications and to get access to all the features.
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: b5f69fc7c70bbb40ae01a78fcacfba75da2dcc6a
|
4
|
+
data.tar.gz: 50da7366dedbbf9324fa1467982cb72b7cc9e15f
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: 43687704c5b6da44951eb805e8dd4bb3bb9a374115fb5bab13612373d0cc8b8c3ff5491962db0e419daa7d54211a2d4cf0c3c176ec0e4e9f8d049794e92fa0f3
|
7
|
+
data.tar.gz: a4ed6aa6082300e43310b04e022d5d61ca12a89aefe80fb8fadd11c174796e27b0bd06e83c0e4a59d9d2a88df85a6a042ba788243e7724dcd2d5b6c105f234cb
|
data/CHANGELOG.md
CHANGED
@@ -6,9 +6,14 @@ All notable changes to this project will be documented in this file. This projec
|
|
6
6
|
|
7
7
|
* Your contribution here!
|
8
8
|
|
9
|
+
## [0.0.2][] (2017-06-24)
|
10
|
+
|
11
|
+
* Fixed detection of some trivial simplifications of compounds
|
12
|
+
|
9
13
|
## 0.0.1 (2017-06-20)
|
10
14
|
|
11
15
|
* Initial release
|
12
16
|
|
13
17
|
[Semver]: http://semver.org
|
14
|
-
[Unreleased]: https://github.com/eugeniobruno/logica/compare/v0.0.
|
18
|
+
[Unreleased]: https://github.com/eugeniobruno/logica/compare/v0.0.2...HEAD
|
19
|
+
[0.0.2]: https://github.com/eugeniobruno/logica/compare/v0.0.1...v0.0.2
|
@@ -33,7 +33,8 @@ module Logica
|
|
33
33
|
end
|
34
34
|
|
35
35
|
def specialization_of_other?(other)
|
36
|
-
|
36
|
+
other.generalization_of_other?(self) ||
|
37
|
+
predicates.any? { |pred| pred.specialization_of?(other) }
|
37
38
|
end
|
38
39
|
|
39
40
|
def portion_satisfied_by(*arguments)
|
data/lib/logica/version.rb
CHANGED
data/logica.gemspec
CHANGED
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: logica
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.0.
|
4
|
+
version: 0.0.2
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Eugenio Bruno
|
8
8
|
autorequire:
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
|
-
date: 2017-06-
|
11
|
+
date: 2017-06-24 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: openhouse
|