prop_logic 0.2.0 → 0.2.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 4bf3b6daa1a3ae0949907abf3a4ea6e5410c214f
-  data.tar.gz: 851df2ca76ce16d822389c1e6d6842c6f36863fe
+  metadata.gz: 786b02e5d2a85b6a91518d38aff7109673fe0e01
+  data.tar.gz: 5ab1400af5310be722c5a220b62330dd58e7eb1a
 SHA512:
-  metadata.gz: 8c2079a701b5827e330b06c662a2a12a3620f68da7519604bc90db2448ac78ac8772df48b4671c83eb98273be3be5f8e1aeeb890dadce449f285026db31bd754
-  data.tar.gz: 1cd28c2060c5898327889adfb6cf28a268cd6101f60f5030c5abdc37aff699579b7f87977278c7bb70951b94b6261db79a4fe9e866a2cb52758ae2b4699beae5
+  metadata.gz: d40416deba21d74dfb81377bd25394fa24f3103ed70b9246e79d41dd716fd2f5cf6d98daa122269b9f13da157d151fffdac206ed2fa64b108cf371a77538655c
+  data.tar.gz: c49f9bd5fadfe17dbe751352db562493ea3f4cd17da2ed73fade37db853efc546c70c700aaa2df3b423a27b8916c7e006d03db9af716cc80a98e015fbc28faed

data/CHANGELOG.md

@@ -1,3 +1,6 @@
+# Ver. 0.2.1 (2016/04/02)
+- Improve performance in `#each_sat`
+
 # Ver. 0.2.0 (2016/03/13)
 - Add interface for incremental solver
 - add `Term#each_sat`

data/lib/prop_logic/term.rb

@@ -162,7 +162,10 @@ module PropLogic
       return to_enum(:each_sat) unless block_given?
       sat_loop(self) do |sat, solver|
         yield sat
-        solver << ~sat
+        negated_vars = sat.terms.map do |t|
+          t.is_a?(NotTerm) ? t.terms[0] : ~t
+        end
+        solver << PropLogic.all_or(*negated_vars)
       end
     end
 

data/lib/prop_logic/version.rb

@@ -1,3 +1,3 @@
 module PropLogic
-  VERSION = '0.2.0'
+  VERSION = '0.2.1'
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: prop_logic
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.2.1
 platform: ruby
 authors:
 - Jkr2255
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2016-03-13 00:00:00.000000000 Z
+date: 2016-04-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ref