logic_tools 0.3.5 → 0.3.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 70d95a4f55c418f319f6757dcd33238a96e29942
-  data.tar.gz: 41b8969baf1766988bfbd87d49ac42bda2c70b95
+  metadata.gz: 3fac599575ddf5395c3a3e1517361807b16f0de4
+  data.tar.gz: 29be7313218a9c3207222d23c99e7496e4c03a1c
 SHA512:
-  metadata.gz: 26fe17b9471050c15cc5df53bc49cc87a4e280954853871845706d84317e2c3b76c79d83efe94257a3536048b6cfb09c1e68414d3cd0e1e1f3f160a26866ca00
-  data.tar.gz: 07e758d9512566bd492b8644fd074769be0e2db6ee7b18d8df1f713c21aadf8dbdec2beeeb842e8a6512a5b1adc513efcb9d7d319f72f16581081160d256d8a4
+  metadata.gz: 7c36a7c2a6af3d8634dc7d9bbc51ac9dc65370b059888833df4950b1eee5104f0c7e2891a8bbe4eb117d9f2dc563c4a2d2687f4ba60d0feeff5d2171b53551c0
+  data.tar.gz: 5d7d3e6d2a5fb7c7b5ac1d1162906fdb7ca09f4c067b563ac1d11646b8df9928e86d7cbf416a491378e406e35646b0e66c2d34cbd8143d025bf3cb8ba2fff91c

data/lib/logic_tools/complement.rb

@@ -0,0 +1,47 @@
+#!/usr/bin/env ruby
+#########################################################################
+#         Computes (quickly) the complement of a logic expression       #
+#########################################################################
+
+
+# For building logic trees
+require "logic_tools/logictree.rb"
+
+# For parsing the inputs
+require "logic_tools/logicparse.rb"
+
+# For converting the inputs to covers.
+require "logic_tools/logicconvert.rb"
+
+# For processing the cover (and therfore check tautology)
+require "logic_tools/logiccover.rb"
+
+# For the command line interface
+require "logic_tools/logicinput.rb"
+
+include LogicTools
+
+
+
+
+
+############################
+# The main program
+
+# Iterrate on each expression
+each_input do |expr|
+    # Parse the expression.
+    parsed = string2logic(expr)
+    # print "parsed=#{parsed}\n"
+
+    # Convert it to a cover.
+    cover = parsed.to_cover
+    # print "cover=#{cover}\n"
+
+    # Computes the complement
+    complement = cover.complement
+    # print "complement=#{complement}\n"
+ 
+    # Display the result
+    print complement.to_tree, "\n"
+end

data/lib/logic_tools/logiccover.rb

@@ -13,7 +13,7 @@ module LogicTools
     #  NOTE: cubes are crutial for the performance of the implementation
     #  of the simplifying algorithm.
     #  Hence they are internally represented as strings, since they are
-    #  much more energy efficient and usually faster than arrays.
+    #  much more memory efficient and usually faster than arrays.
     #
     #  Then there are two interfaces:
     #  * The standard interface is based on strings and substrings only and

data/lib/logic_tools/logicfunction.rb

@@ -0,0 +1,101 @@
+##############################################################
+# Logic function class: used for describing a logic function #
+##############################################################
+
+
+require "logic_tools/logictree.rb"
+
+
+module LogicTools
+
+
+    ## 
+    # Represents a logic function.
+    #
+    # A logic function is described as a set of logic trees (LogicTools::Node)
+    # associated to variables (LogicTools::Variable) repreenting each one
+    # one-bit output. The inputs are represented by the variables contained
+    # by the variable nodes (LogicTools::NodeVar) of the trees.
+    #
+    # Functions can be composed together through their variables.
+    class Function
+        
+        ## Creates a new empty function.
+        def initialize
+            @assigns = {}
+        end
+        
+        ## duplicates the function.
+        def clone # :nodoc:
+            result = Function.new
+            @assigns.each { |output,tree| result.add(output,tree.clone) }
+            return result
+        end
+        alias dup clone
+
+        ## Adds an +output+ variable associated with a +tree+ for computing it.
+        def add(output,tree)
+            unless tree.is_a?(Node)
+                raise "Invalid class for a logic tree: #{tree.class}"
+            end
+            @assigns[Variable.get(output)] = tree
+        end
+        alias []= add
+
+        ## Gets the tree corresponding to an +output+ variable.
+        def get(output)
+            return @assigns[Variable.get(variable)]
+        end
+        alias [] get
+
+        ## Iterates over the assignments of the functions.
+        def each(&blk)
+            # No block given? Return an enumerator.
+            return to_enum(:each) unless block_given?
+
+            # Block given? Apply it.
+            @assigns.each(&blk)
+        end
+
+        ## Iterates over the output variables of the function.
+        def each_output(&blk)
+            # No block given? Return an enumerator.
+            return to_enum(:each_output) unless block_given?
+
+            # Block given? Apply it.
+            @assigns.each_key(&blk)
+        end
+
+        ## Gets a array containing the variables of the function sorted by name.
+        def get_variables
+            result = @assigns.each_value.reduce([]) do |ar,tree|
+                ar.concat(tree.get_variables)
+            end
+            result.uniq!.sort!
+            return result
+        end
+
+        ## Iterates over the trees of the function.
+        def each_tree(&blk)
+            # No block given? Return an enumerator.
+            return to_enum(:each_tree) unless block_given?
+
+            # Block given? Apply it.
+            @assigns.each_value(&blk)
+        end
+
+        ## Convert to a string.
+        def to_s # :nodoc:
+            result = @assigns.each.reduce("[") do |str,assign|
+                str << assign[0].to_s
+                str << "="
+                str << assign[1].to_s
+                str << ","
+            end
+            result[-1] = "]"
+            return result
+        end
+
+    end
+
+end

data/lib/logic_tools/logictree.rb

@@ -76,6 +76,8 @@ module LogicTools
 
         include Enumerable
 
+        alias dup clone
+
         ## Gets a array containing the variables of the tree sorted by name.
         def get_variables()
             result = self.get_variablesRecurse
@@ -741,8 +743,8 @@ module LogicTools
         end
 
         ## Duplicates the node.
-        def dup # :nodoc:
-            return NodeAnd.new(*@children.map(&:dup))
+        def clone # :nodoc:
+            return NodeAnd.new(*@children.map(&:clone))
         end
 
         ## Computes the value of the node.
@@ -781,7 +783,7 @@ module LogicTools
             end
         end
 
-        ## Convert to a string.
+        ## Converts to a string.
         def to_s # :nodoc:
             return @str if @str
             @str = ""
@@ -809,8 +811,8 @@ module LogicTools
         end
 
         ## Duplicates the node.
-        def dup # :nodoc:
-            return NodeOr.new(*@children.map(&:dup))
+        def clone # :nodoc:
+            return NodeOr.new(*@children.map(&:clone))
         end
 
         ## Computes the value of the node.
@@ -922,8 +924,8 @@ module LogicTools
         end
 
         ## Duplicates the node.
-        def dup # :nodoc:
-            return NodeNot.new(@child.dup)
+        def clone # :nodoc:
+            return NodeNot.new(@child.clone)
         end
 
         ## Computes the value of the node.

data/lib/logic_tools/version.rb

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

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: logic_tools
 version: !ruby/object:Gem::Version
-  version: 0.3.5
+  version: 0.3.6
 platform: ruby
 authors:
 - Lovic Gauthier
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2017-01-18 00:00:00.000000000 Z
+date: 2017-01-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -102,9 +102,11 @@ files:
 - exe/std_dij
 - exe/truth_tbl
 - lib/logic_tools.rb
+- lib/logic_tools/complement.rb
 - lib/logic_tools/is_tautology.rb
 - lib/logic_tools/logicconvert.rb
 - lib/logic_tools/logiccover.rb
+- lib/logic_tools/logicfunction.rb
 - lib/logic_tools/logicgenerator.rb
 - lib/logic_tools/logicinput.rb
 - lib/logic_tools/logicparse.rb