logic_tools 0.3.4 → 0.3.5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 84eda2845101b1b4e6e59e9ad408f4d2e246e930
-  data.tar.gz: f2b8eaa53ef5b7f14e7a93240a12acc122021d92
+  metadata.gz: 70d95a4f55c418f319f6757dcd33238a96e29942
+  data.tar.gz: 41b8969baf1766988bfbd87d49ac42bda2c70b95
 SHA512:
-  metadata.gz: b13d4bb1a6227c6abc413296077d374dbbf833b701830ebf5a5d2ad24ef7c13e9a8561367a7ccd67db7bcfb1044c1bfdd5b1755142858ea082d704f6e54a91ca
-  data.tar.gz: 57e5fd61601d088914c024c812b5310474dbd6c526c70169ddacb16098f47e40bf798aa40697156bae67b16c81d9bfb4194180a4192ccd07ed728c2da11e5455
+  metadata.gz: 26fe17b9471050c15cc5df53bc49cc87a4e280954853871845706d84317e2c3b76c79d83efe94257a3536048b6cfb09c1e68414d3cd0e1e1f3f160a26866ca00
+  data.tar.gz: 07e758d9512566bd492b8644fd074769be0e2db6ee7b18d8df1f713c21aadf8dbdec2beeeb842e8a6512a5b1adc513efcb9d7d319f72f16581081160d256d8a4

data/exe/complement

@@ -0,0 +1,12 @@
+#!/usr/bin/env ruby
+######################################################################
+#      Computes (quickly) the complement of a logic expression       #
+######################################################################
+
+begin
+    require 'rubygems'
+    gem 'logic_tools'
+rescue LoadError
+end
+
+load "logic_tools/complement.rb"

data/lib/logic_tools/logicsimplify_es.rb

@@ -9,9 +9,10 @@ require "logic_tools/traces.rb"
 module LogicTools
 
 
-
+    #--
     # Enhances the Cube class with methods for applying the
-    # Espresso algorithm
+    # Espresso algorithm.
+    #++
     class Cube
 
         ## Computes the blocking matrix relatively to an +off+ cover.
@@ -530,8 +531,10 @@ module LogicTools
     end
 
 
+    #--
     # Enhances the Cover class with simplifying using the Espresso
     # algorithm.
+    #++
     class Cover
 
         include LogicTools::Traces
@@ -713,8 +716,10 @@ module LogicTools
     end
 
 
+    #--
     # Enhances the Node class with expression simplifying using the
     # Espresso algorithm.
+    #++
     class Node
 
         ## Generates an equivalent but simplified representation of the

data/lib/logic_tools/logicsimplify_qm.rb

@@ -13,7 +13,7 @@ module LogicTools
 
 
     ## Converts the array of variables +var+ to a bit vector according to
-    #  their values
+    #  their values.
     def vars2int(vars)
         res = ""
         vars.each_with_index do |var,i|
@@ -27,7 +27,7 @@ module LogicTools
 
 
     ##
-    # Represents a logic implicant
+    # Represents a logic implicant.
     class Implicant
         include Enumerable
 
@@ -76,7 +76,7 @@ module LogicTools
             @bits
         end
 
-        def inspect #:nodoc:
+        def inspect # :nodoc:
             @bits.dup
         end
 
@@ -217,35 +217,37 @@ module LogicTools
         end
     end
 
-    ## 
-    #  Describes a pseudo variable associated to an implicant.
-    #
-    #  Used for the Petrick's method.
-    class VarImp < Variable
-        @@base = 0 # The index of the VarImp for building the variable names
-
-        ## The implicant the pseudo variable is associated to.
-        attr_reader :implicant
-
-        ## Creates a pseudo variable assoctiated to an +implicant+.
-        def initialize(implicant)
-            # Create the name of the variable
-            name = nil
-            begin
-                name = "P" + @@base.to_s
-                @@base += 1
-            end while Variable.exists?(name)
-            # Create the variable
-            super(name)
-            # Associate it with the implicant
-            @implicant = implicant
-            implicant.var = self
-        end
-    end
-
-
-
-    ## Enhances the Node class with expression simplifying.
+    # ## 
+    # #  Describes a pseudo variable associated to an implicant.
+    # #
+    # #  Used for the Petrick's method.
+    # class VarImp < Variable
+    #     @@base = 0 # The index of the VarImp for building the variable names
+
+    #     ## The implicant the pseudo variable is associated to.
+    #     attr_reader :implicant
+
+    #     ## Creates a pseudo variable assoctiated to an +implicant+.
+    #     def initialize(implicant)
+    #         # Create the name of the variable
+    #         name = nil
+    #         begin
+    #             name = "P" + @@base.to_s
+    #             @@base += 1
+    #         end while Variable.exists?(name)
+    #         # Create the variable
+    #         super(name)
+    #         # Associate it with the implicant
+    #         @implicant = implicant
+    #         implicant.var = self
+    #     end
+    # end
+
+
+
+    #--
+    # Enhances the Node class with expression simplifying.
+    #++
     class Node
         
         ## Generates an equivalent but simplified representation of the

data/lib/logic_tools/version.rb

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

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: logic_tools
 version: !ruby/object:Gem::Version
-  version: 0.3.4
+  version: 0.3.5
 platform: ruby
 authors:
 - Lovic Gauthier
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2017-01-17 00:00:00.000000000 Z
+date: 2017-01-18 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -76,6 +76,7 @@ description: "LogicTools is a set of command-line tools for processing logic exp
 email:
 - lovic@ariake-nct.ac.jp
 executables:
+- complement
 - is_tautology
 - simplify_es
 - simplify_qm
@@ -93,6 +94,7 @@ files:
 - Rakefile
 - bin/console
 - bin/setup
+- exe/complement
 - exe/is_tautology
 - exe/simplify_es
 - exe/simplify_qm