logic_tools 0.3.6 → 0.3.7

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 3fac599575ddf5395c3a3e1517361807b16f0de4
-  data.tar.gz: 29be7313218a9c3207222d23c99e7496e4c03a1c
+  metadata.gz: 8ac5ee19f5e2583fb76459f21c1081a79251d190
+  data.tar.gz: 4d5ca6164a8a43d70b3cb3eaf2e2bdf476047b5d
 SHA512:
-  metadata.gz: 7c36a7c2a6af3d8634dc7d9bbc51ac9dc65370b059888833df4950b1eee5104f0c7e2891a8bbe4eb117d9f2dc563c4a2d2687f4ba60d0feeff5d2171b53551c0
-  data.tar.gz: 5d7d3e6d2a5fb7c7b5ac1d1162906fdb7ca09f4c067b563ac1d11646b8df9928e86d7cbf416a491378e406e35646b0e66c2d34cbd8143d025bf3cb8ba2fff91c
+  metadata.gz: a814d9ef74ffd4e25cc667af4afa2debac676a4f35d32b50338e574cd7fe1d8de863281ad0cfad7a03ec33e56a7c4e035ac36a15d8067267ac2b11cb34f708b0
+  data.tar.gz: 6017ef5ac0677d76574861ecfc32ec5727f553f5f47c0b7459f18410dd4e66319ac931b21e734f6703697d9cdc62798cbbbc7bc1a006abae6ab21c57fa84937b

data/lib/logic_tools/logicconvert.rb

@@ -36,7 +36,7 @@ module LogicTools
             # print "vars=#{vars}\n"
             # Converts the tree rooted by self to a sum of products
             # (reduced to limit the number of cubes and their sizes).
-            tree = self.to_sum_product.reduce
+            tree = self.to_sum_product.flatten.reduce
             # print "tree=#{tree}\n"
             
             # Create an empty cover.
@@ -72,6 +72,8 @@ module LogicTools
             # Ensure we have a sum of product structure.
             tree = [ tree ] unless tree.op == :or
 
+            # print "tree=#{tree}\n"
+
             # Fill it with the cubes corresponding to each product
             tree.each do |product|
                 product = [ product ] unless product.is_a?(NodeNary)
@@ -92,6 +94,7 @@ module LogicTools
                             str[index] = "0"
                         end
                     else
+                        # print "lit=#{lit}\n"
                         index = vars.index(lit.variable.to_s)
                         # The litteral is a variable
                         if str[index] == "0" then

data/lib/logic_tools/version.rb

@@ -1,3 +1,3 @@
 module LogicTools
-  VERSION = "0.3.6"
+  VERSION = "0.3.7"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: logic_tools
 version: !ruby/object:Gem::Version
-  version: 0.3.6
+  version: 0.3.7
 platform: ruby
 authors:
 - Lovic Gauthier
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2017-01-24 00:00:00.000000000 Z
+date: 2017-01-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler