cudd-rb 0.0.1

data/CHANGELOG.md

@@ -0,0 +1,5 @@
+# 0.0.1 / FIX ME
+
+* Enhancements
+
+  * Birthday!

data/Gemfile

@@ -0,0 +1,12 @@
+source 'http://rubygems.org'
+
+group :runtime do
+  gem "ffi", "~> 1.1"
+end
+
+group :development do
+  gem "rake", "~> 0.9.2"
+  gem "rspec", "~> 2.11"
+  gem "yard", "~> 0.7.2"
+  gem "bluecloth", "~> 2.2"
+end

data/Gemfile.lock

@@ -0,0 +1,26 @@
+GEM
+  remote: http://rubygems.org/
+  specs:
+    bluecloth (2.2.0)
+    diff-lcs (1.1.3)
+    ffi (1.1.5)
+    rake (0.9.2.2)
+    rspec (2.11.0)
+      rspec-core (~> 2.11.0)
+      rspec-expectations (~> 2.11.0)
+      rspec-mocks (~> 2.11.0)
+    rspec-core (2.11.1)
+    rspec-expectations (2.11.3)
+      diff-lcs (~> 1.1.3)
+    rspec-mocks (2.11.2)
+    yard (0.7.5)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  bluecloth (~> 2.2)
+  ffi (~> 1.1)
+  rake (~> 0.9.2)
+  rspec (~> 2.11)
+  yard (~> 0.7.2)

data/LICENCE.md

@@ -0,0 +1,22 @@
+# The MIT Licence
+
+    Copyright (c) 2012 - Bernard Lambeau
+
+    Permission is hereby granted, free of charge, to any person obtaining
+    a copy of this software and associated documentation files (the
+    "Software"), to deal in the Software without restriction, including
+    without limitation the rights to use, copy, modify, merge, publish,
+    distribute, sublicense, and/or sell copies of the Software, and to
+    permit persons to whom the Software is furnished to do so, subject to
+    the following conditions:
+
+    The above copyright notice and this permission notice shall be
+    included in all copies or substantial portions of the Software.
+
+    THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+    EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+    MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+    NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+    LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+    OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+    WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/Manifest.txt

@@ -0,0 +1,15 @@
+cudd-rb.gemspec
+cudd-rb.noespec
+.gemtest
+CHANGELOG.md
+Gemfile
+Gemfile.lock
+bin/**/*
+lib/**/*
+LICENCE.md
+Manifest.txt
+Rakefile
+README.md
+spec/**/*
+tasks/**/*
+test/**/*

data/README.md

@@ -0,0 +1,7 @@
+# Cudd
+
+A ruby bridge to the CU Decision Diagram package (CUDD).
+
+## Links
+
+https://github.com/blambeau/cudd-rb

data/Rakefile

@@ -0,0 +1,11 @@
+# We run tests by default
+task :default => :test
+
+#
+# Install all tasks found in tasks folder
+#
+# See .rake files there for complete documentation.
+#
+Dir["tasks/*.rake"].each do |taskfile|
+  load taskfile
+end

data/cudd-rb.gemspec

@@ -0,0 +1,188 @@
+# We require your library, mainly to have access to the VERSION number.
+# Feel free to set $version manually.
+$LOAD_PATH.unshift File.expand_path('../lib', __FILE__)
+require "cudd-rb/version"
+$version = Cudd::Version.to_s
+
+#
+# This is your Gem specification. Default values are provided so that your library
+# should be correctly packaged given what you have described in the .noespec file.
+#
+Gem::Specification.new do |s|
+
+  ################################################################### ABOUT YOUR GEM
+
+  # Gem name (required)
+  s.name = "cudd-rb"
+
+  # Gem version (required)
+  s.version = $version
+
+  # A short summary of this gem
+  #
+  # This is displayed in `gem list -d`.
+  s.summary = "A ruby bridge to the CU Decision Diagram package (CUDD)."
+
+  # A long description of this gem (required)
+  #
+  # The description should be more detailed than the summary.  For example,
+  # you might wish to copy the entire README into the description.
+  s.description = "cudd-rb is a ruby bridge to the CU Decision Diagram (CUDD), an implementation of \nBinary Decision Diagrams."
+
+  # The URL of this gem home page (optional)
+  s.homepage = "https://github.com/blambeau/cudd-rb"
+
+  # Gem publication date (required but auto)
+  #
+  # Today is automatically used by default, uncomment only if
+  # you know what you do!
+  #
+  # s.date = Time.now.strftime('%Y-%m-%d')
+
+  # The license(s) for the library.  Each license must be a short name, no
+  # more than 64 characters.
+  #
+  # s.licences = %w{}
+
+  # The rubyforge project this gem lives under (optional)
+  #
+  # s.rubyforge_project = nil
+
+  ################################################################### ABOUT THE AUTHORS
+
+  # The list of author names who wrote this gem.
+  #
+  # If you are providing multiple authors and multiple emails they should be
+  # in the same order.
+  #
+  s.authors = ["Bernard Lambeau"]
+
+  # Contact emails for this gem
+  #
+  # If you are providing multiple authors and multiple emails they should be
+  # in the same order.
+  #
+  # NOTE: Somewhat strangly this attribute is always singular!
+  #       Don't replace by s.emails = ...
+  s.email  = ["blambeau@gmail.com"]
+
+  ################################################################### PATHS, FILES, BINARIES
+
+  # Paths in the gem to add to $LOAD_PATH when this gem is
+  # activated (required).
+  #
+  # The default 'lib' is typically sufficient.
+  s.require_paths = ["lib"]
+
+  # Files included in this gem.
+  #
+  # By default, we take all files included in the Manifest.txt file on root
+  # of the project. Entries of the manifest are interpreted as Dir[...]
+  # patterns so that lazy people may use wilcards like lib/**/*
+  #
+  here = File.expand_path(File.dirname(__FILE__))
+  s.files = File.readlines(File.join(here, 'Manifest.txt')).
+                 inject([]){|files, pattern| files + Dir[File.join(here, pattern.strip)]}.
+                 collect{|x| x[(1+here.size)..-1]}
+
+  # Test files included in this gem.
+  #
+  s.test_files = Dir["test/**/*"] + Dir["spec/**/*"]
+
+  # The path in the gem for executable scripts (optional)
+  #
+  s.bindir = "bin"
+
+  # Executables included in the gem.
+  #
+  s.executables = (Dir["bin/*"]).collect{|f| File.basename(f)}
+
+  ################################################################### REQUIREMENTS & INSTALL
+  # Remember the gem version requirements operators and schemes:
+  #   =  Equals version
+  #   != Not equal to version
+  #   >  Greater than version
+  #   <  Less than version
+  #   >= Greater than or equal to
+  #   <= Less than or equal to
+  #   ~> Approximately greater than
+  #
+  # Don't forget to have a look at http://lmgtfy.com/?q=Ruby+Versioning+Policies
+  # for setting your gem version.
+  #
+  # For your requirements to other gems, remember that
+  #   ">= 2.2.0"              (optimistic:  specify minimal version)
+  #   ">= 2.2.0", "< 3.0"     (pessimistic: not greater than the next major)
+  #   "~> 2.2"                (shortcut for ">= 2.2.0", "< 3.0")
+  #   "~> 2.2.0"              (shortcut for ">= 2.2.0", "< 2.3.0")
+  #
+
+  #
+  # One call to add_dependency('gem_name', 'gem version requirement') for each
+  # runtime dependency. These gems will be installed with your gem.
+  # One call to add_development_dependency('gem_name', 'gem version requirement')
+  # for each development dependency. These gems are required for developers
+  #
+  s.add_development_dependency("rake", "~> 0.9.2")
+  s.add_development_dependency("rspec", "~> 2.11")
+  s.add_development_dependency("yard", "~> 0.7.2")
+  s.add_development_dependency("bluecloth", "~> 2.2")
+  s.add_dependency("ffi", "~> 1.0")
+
+  # The version of ruby required by this gem
+  #
+  # Uncomment and set this if your gem requires specific ruby versions.
+  #
+  # s.required_ruby_version = ">= 0"
+
+  # The RubyGems version required by this gem
+  #
+  # s.required_rubygems_version = ">= 0"
+
+  # The platform this gem runs on.  See Gem::Platform for details.
+  #
+  # s.platform = nil
+
+  # Extensions to build when installing the gem.
+  #
+  # Valid types of extensions are extconf.rb files, configure scripts
+  # and rakefiles or mkrf_conf files.
+  #
+  s.extensions = []
+
+  # External (to RubyGems) requirements that must be met for this gem to work.
+  # It’s simply information for the user.
+  #
+  s.requirements = nil
+
+  # A message that gets displayed after the gem is installed
+  #
+  # Uncomment and set this if you want to say something to the user
+  # after gem installation
+  #
+  s.post_install_message = nil
+
+  ################################################################### SECURITY
+
+  # The key used to sign this gem.  See Gem::Security for details.
+  #
+  # s.signing_key = nil
+
+  # The certificate chain used to sign this gem.  See Gem::Security for
+  # details.
+  #
+  # s.cert_chain = []
+
+  ################################################################### RDOC
+
+  # An ARGV style array of options to RDoc
+  #
+  # See 'rdoc --help' about this
+  #
+  s.rdoc_options = []
+
+  # Extra files to add to RDoc such as README
+  #
+  s.extra_rdoc_files = Dir["README.md"] + Dir["CHANGELOG.md"] + Dir["LICENCE.md"]
+
+end

data/cudd-rb.noespec

@@ -0,0 +1,30 @@
+template-info:
+  name: "rubygem.noe"
+  version: 1.7.4
+  manifest:
+    tasks/debug_mail.txt:
+      ignore: true
+    tasks/debug_mail.rake:
+      ignore: true
+variables:
+  lower:
+    cudd-rb
+  upper:
+    Cudd
+  version:
+    0.0.1
+  summary: |-
+    A ruby bridge to the CU Decision Diagram package (CUDD).
+  description: |-
+    cudd-rb is a ruby bridge to the CU Decision Diagram (CUDD), an implementation of 
+    Binary Decision Diagrams.
+  authors:
+  - {name: Bernard Lambeau, email: blambeau@gmail.com}
+  links:
+  - https://github.com/blambeau/cudd-rb
+  dependencies:
+  - {name: ffi,       version: "~> 1.0",    groups: [runtime]}
+  - {name: rake,      version: "~> 0.9.2",  groups: [development]}
+  - {name: rspec,     version: "~> 2.11",   groups: [development]}
+  - {name: yard,      version: "~> 0.7.2",  groups: [development]}
+  - {name: bluecloth, version: "~> 2.2",    groups: [development]}

data/lib/cudd-rb/bdd.rb

@@ -0,0 +1,68 @@
+module Cudd
+  module BDD
+
+    def self.define_delegate_method(from, to = from)
+      define_method from do |*args, &bl|
+        manager.send(to, *([self] + args), &bl)
+      end
+    end
+
+    def self.define_delegate_methods(*methods)
+      methods = methods.first if methods.size==1 && methods.first.is_a?(Hash)
+      methods.each do |m|
+        define_delegate_method *Array(m)
+      end
+    end
+
+    attr_reader :manager
+
+    define_delegate_methods(:var_index, :var_name)
+    alias :index :var_index
+    alias :name  :var_name
+
+    def zero?
+      self == manager.zero
+    end
+    alias :false? :zero?
+    alias :contradiction? :zero?
+
+    def one?
+      self == manager.one
+    end
+    alias :true? :one?
+    alias :tautology? :one?
+
+    define_delegate_methods(:ref, :deref)
+    define_delegate_methods(:is_complement?)
+
+    define_delegate_methods(:ite)
+    define_delegate_methods(:and, :or, :not, :nand, :nor, :xor, :xnor)
+    define_delegate_methods(:& => :and, :| => :or, :! => :not)
+    define_delegate_methods(:* => :and, :+ => :or, :~ => :not)
+
+    define_delegate_methods(:cofactor, :restrict)
+    define_delegate_methods(:exist_abstract, :univ_abstract, :exist, :univ, :forall)
+
+    define_delegate_methods(:eval, :satisfiable?, :satisfied?)
+    define_delegate_methods(:each_cube, :one_cube, :all_cubes)
+
+    define_delegate_methods(:support)
+
+    define_delegate_methods(:to_cube => :bdd2cube, :to_dnf => :bdd2dnf)
+
+    def hash
+      address.hash
+    end
+
+    def ==(other)
+      address==other.address
+    end
+    alias :eql? :==
+
+    def to_s
+      "BDD(#{address})"
+    end
+    alias :inspect :to_s
+
+  end # module BDD
+end # module Cudd

data/lib/cudd-rb/cube.rb

@@ -0,0 +1,94 @@
+module Cudd
+  class Cube
+
+    attr_reader :interface
+
+    def initialize(interface, a012)
+      @interface = interface
+      @a012      = a012.freeze
+    end
+
+    def self.new(interface, arg)
+      return arg if arg.is_a?(Cube)
+      if arg.is_a?(BDD)
+        super(interface, interface.bdd2cube(arg))
+      else
+        a012 = Array.new(interface.size, 2)
+        enum = arg.is_a?(Hash) ? arg.each_pair : arg.each_with_index
+        enum.each do |k,v|
+          k,v = v,k unless arg.is_a?(Hash)
+          index = [k, v].find{|x| x.is_a?(Cudd::BDD) }.index rescue k
+          a012[index] = truth_to_012(v)
+        end
+        super(interface, a012)
+      end
+    end
+
+    def hash
+      @hash ||= to_a012.hash + 37*interface.hash
+    end
+
+    def ==(other)
+      return nil unless other.is_a?(Cube) && other.interface==interface
+      to_a012 == other.to_a012
+    end
+
+    def to_cube
+      self
+    end
+
+    def to_a012
+      @a012
+    end
+
+    def to_bdd
+      interface.cube2bdd(to_a012)
+    end
+
+    def to_truths
+      to_a012.map{|x| Cube.arg012_to_truth(x)}
+    end
+
+    def to_hash
+      h = {}
+      to_a012.each_with_index do |val,index|
+        truth = Cube.arg012_to_truth(val)
+        h[interface.ith_var(index)] = truth unless truth.nil?
+      end
+      h
+    end
+
+    def to_dnf
+      buf = ""
+      to_a012.each_with_index do |val, index|
+        next if val == 2
+        name = interface.ith_var(index).var_name
+        name = name.respond_to?(:to_dnf) ? name.to_dnf : name.to_s
+        buf << " & " unless buf.empty?
+        buf << "!" if val==0
+        buf << name
+      end
+      buf
+    end
+    alias :to_s :to_dnf
+
+  private
+
+    def self.arg012_to_truth(arg012)
+      arg012 <= 1 ? (arg012 == 1) : nil
+    end
+
+    def self.truth_to_012(truth)
+      case truth
+      when Cudd::BDD  then truth.is_complement? ? 0 : 1
+      when Integer    then (truth >= 0 and truth <= 1) ? truth : 2
+      when TrueClass  then 1
+      when FalseClass then 0
+      when NilClass   then 2
+      else
+        raise ArgumentError, "Invalid truth value #{truth}"
+      end
+    end
+
+  end # class Cube
+end # module Cudd

data/lib/cudd-rb/errors.rb

@@ -0,0 +1,4 @@
+module Cudd
+  class Error < StandardError; end
+  class NotACubeError < StandardError; end
+end