syllogism 0.2.0 → 0.2.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/Gemfile.lock +1 -1
- data/lib/syllogism.rb +2 -3
- data/lib/syllogism/version.rb +1 -1
- metadata +1 -1
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 6ad005a2e8bd7ddc588c2560ce9909beabe56596d768887ce4b859e7c6a3ee20
|
4
|
+
data.tar.gz: 44d9c5fa05434ba543be9b2ac30e6a424f58d7339b91156272dccd17788b5adb
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: f86543e5b34a1039a6fcb45540c67495724095859c39713d838258613d2bfaaaa0ac1f8b06046bb8821902fe817b3d78ae29fcba4472509478b9f301d0ae8fdb
|
7
|
+
data.tar.gz: 191175b76be5a5ef38c900de8dfe9dc800575325361fb5d8affbb39386294e009f7efc8b27844dc6cf04162093f1f806556336fe5738f2d2a43f428ffacc4db1
|
data/Gemfile.lock
CHANGED
data/lib/syllogism.rb
CHANGED
@@ -31,9 +31,8 @@ class Syllogism
|
|
31
31
|
end
|
32
32
|
|
33
33
|
def ==(other)
|
34
|
-
premises.map(&:formula).sort == other.premises.map(&:formula) &&
|
35
|
-
conclusion.formula == other.conclusion.formula
|
36
|
-
valid? == valid?
|
34
|
+
premises.map(&:formula).sort == other.premises.map(&:formula).sort &&
|
35
|
+
conclusion.formula == other.conclusion.formula
|
37
36
|
end
|
38
37
|
|
39
38
|
def premises
|
data/lib/syllogism/version.rb
CHANGED