prop_logic 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/CHANGELOG.md +3 -0
- data/lib/prop_logic/term.rb +4 -1
- data/lib/prop_logic/version.rb +1 -1
- metadata +2 -2
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 786b02e5d2a85b6a91518d38aff7109673fe0e01
|
4
|
+
data.tar.gz: 5ab1400af5310be722c5a220b62330dd58e7eb1a
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: d40416deba21d74dfb81377bd25394fa24f3103ed70b9246e79d41dd716fd2f5cf6d98daa122269b9f13da157d151fffdac206ed2fa64b108cf371a77538655c
|
7
|
+
data.tar.gz: c49f9bd5fadfe17dbe751352db562493ea3f4cd17da2ed73fade37db853efc546c70c700aaa2df3b423a27b8916c7e006d03db9af716cc80a98e015fbc28faed
|
data/CHANGELOG.md
CHANGED
data/lib/prop_logic/term.rb
CHANGED
@@ -162,7 +162,10 @@ module PropLogic
|
|
162
162
|
return to_enum(:each_sat) unless block_given?
|
163
163
|
sat_loop(self) do |sat, solver|
|
164
164
|
yield sat
|
165
|
-
|
165
|
+
negated_vars = sat.terms.map do |t|
|
166
|
+
t.is_a?(NotTerm) ? t.terms[0] : ~t
|
167
|
+
end
|
168
|
+
solver << PropLogic.all_or(*negated_vars)
|
166
169
|
end
|
167
170
|
end
|
168
171
|
|
data/lib/prop_logic/version.rb
CHANGED
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: prop_logic
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.2.
|
4
|
+
version: 0.2.1
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Jkr2255
|
8
8
|
autorequire:
|
9
9
|
bindir: exe
|
10
10
|
cert_chain: []
|
11
|
-
date: 2016-
|
11
|
+
date: 2016-04-02 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: ref
|