cudd-rb 0.0.1

data/spec/spec_helper.rb

@@ -0,0 +1,45 @@
+$LOAD_PATH.unshift File.expand_path('../../lib', __FILE__)
+require 'cudd-rb'
+
+require_relative 'shared/a_bdd'
+
+module Helpers
+
+  def with_manager(&bl)
+    Cudd.manager(&bl)
+  end
+
+  def bdd_interface
+    @bdd_interface ||= Cudd.manager.interface(:BDD)
+  end
+
+  def one
+    bdd_interface.one
+  end
+
+  def zero
+    bdd_interface.zero
+  end
+
+  def x
+    bdd_interface.ith_var(0)
+  end
+
+  def y
+    bdd_interface.ith_var(1)
+  end
+
+  def z
+    bdd_interface.ith_var(2)
+  end
+
+  def cube(*args, &bl)
+    bdd_interface.cube(*args, &bl)
+  end
+
+end
+
+RSpec.configure do |c|
+  c.include(Helpers)
+  c.after(:all){ bdd_interface.close if @bdd_interface }
+end

data/spec/test_cudd-rb.rb

@@ -0,0 +1,8 @@
+require 'spec_helper'
+describe Cudd do
+
+  it "should have a version number" do
+    Cudd.const_defined?(:VERSION).should be_true
+  end
+
+end

data/spec/wrapper/test_assumptions.rb

@@ -0,0 +1,28 @@
+require 'spec_helper'
+module Cudd
+  describe Wrapper do
+
+    let(:manager){
+      Wrapper.Init(0,0,Cudd::UNIQUE_SLOTS,Cudd::CACHE_SLOTS,0)
+    }
+    
+    after do
+      Wrapper.Quit(manager) if manager
+    end
+
+    it 'returns equal, yet different objects for multiple invocations to ReadZero' do
+      x = Wrapper.ReadZero(manager)
+      y = Wrapper.ReadZero(manager)
+      x.should eq(y)
+      x.object_id.should_not eq(y.object_id)
+    end
+
+    it 'returns equal, yet different objects for multiple invocations to ReadOne' do
+      x = Wrapper.ReadOne(manager)
+      y = Wrapper.ReadOne(manager)
+      x.should eq(y)
+      x.object_id.should_not eq(y.object_id)
+    end
+
+  end
+end

data/tasks/gem.rake

@@ -0,0 +1,73 @@
+# Installs rake tasks for gemming and packaging
+#
+# This file installs the 'rake package', 'rake gem' tasks and associates
+# (clobber_package, repackage, ...). It is automatically generated by Noe
+# from your .noespec file, and should therefore be configured there, under
+# the variables/rake_tasks/gem entry, as illustrated below:
+#
+# variables:
+#   rake_tasks:
+#     gem:
+#       package_dir: pkg
+#       need_tar: false
+#       need_tar_gz: false
+#       need_tar_bz2: false
+#       need_zip: false
+#       ...
+#
+# If you have specific needs requiring manual intervention on this file,
+# don't forget to set safe-override to false in your noe specification:
+#
+# template-info:
+#   manifest:
+#     tasks/gem.rake:
+#       safe-override: false
+#
+begin
+  require 'rubygems/package_task'
+
+  # Dynamically load the gem spec
+  gemspec_file = File.expand_path('../../cudd-rb.gemspec', __FILE__)
+  gemspec      = Kernel.eval(File.read(gemspec_file))
+
+  Gem::PackageTask.new(gemspec) do |t|
+
+    # Name of the package
+    t.name = gemspec.name
+
+    # Version of the package
+    t.version = gemspec.version
+
+    # Directory used to store the package files
+    t.package_dir = "pkg"
+
+    # True if a gzipped tar file (tgz) should be produced
+    t.need_tar = false
+
+    # True if a gzipped tar file (tar.gz) should be produced
+    t.need_tar_gz = false
+
+    # True if a bzip2'd tar file (tar.bz2) should be produced
+    t.need_tar_bz2 = false
+
+    # True if a zip file should be produced (default is false)
+    t.need_zip = false
+
+    # List of files to be included in the package.
+    t.package_files = gemspec.files
+
+    # Tar command for gzipped or bzip2ed archives.
+    t.tar_command = "tar"
+
+    # Zip command for zipped archives.
+    t.zip_command = "zip"
+
+  end
+rescue LoadError
+  task :gem do
+    abort 'rubygems/package_task is not available. You should verify your rubygems installation'
+  end
+  task :package do
+    abort 'rubygems/package_task is not available. You should verify your rubygems installation'
+  end
+end

data/tasks/spec_test.rake

@@ -0,0 +1,71 @@
+# Installs a rake task for for running examples written using rspec.
+#
+# This file installs the 'rake spec_test' (aliased as 'rake spec') as well as
+# extends 'rake test' to run spec tests, if any. It is automatically generated
+# by Noe from your .noespec file, and should therefore be configured there,
+# under the variables/rake_tasks/spec_test entry, as illustrated below:
+#
+# variables:
+#   rake_tasks:
+#     spec_test:
+#       pattern: spec/**/*_spec.rb
+#       verbose: true
+#       rspec_opts: [--color, --backtrace]
+#       ...
+#
+# If you have specific needs requiring manual intervention on this file,
+# don't forget to set safe-override to false in your noe specification:
+#
+# template-info:
+#   manifest:
+#     tasks/spec_test.rake:
+#       safe-override: false
+#
+# This file has been written to conform to RSpec v2.4.0. More information about
+# rspec and options of the rake task defined below can be found on
+# http://relishapp.com/rspec
+#
+begin
+  require "rspec/core/rake_task"
+  desc "Run RSpec code examples"
+  RSpec::Core::RakeTask.new(:spec_test) do |t|
+    # Glob pattern to match files.
+    t.pattern = "spec/**/test_*.rb"
+
+    # Whether or not to fail Rake when an error occurs (typically when
+    # examples fail).
+    t.fail_on_error = true
+
+    # A message to print to stderr when there are failures.
+    t.failure_message = nil
+
+    # Use verbose output. If this is set to true, the task will print the
+    # executed spec command to stdout.
+    t.verbose = true
+
+    # Use rcov for code coverage?
+    t.rcov = false
+
+    # Path to rcov.
+    t.rcov_path = "rcov"
+
+    # Command line options to pass to rcov. See 'rcov --help' about this
+    t.rcov_opts = []
+
+    # Command line options to pass to ruby. See 'ruby --help' about this
+    t.ruby_opts = []
+
+    # Path to rspec
+    t.rspec_path = "rspec"
+
+    # Command line options to pass to rspec. See 'rspec --help' about this
+    t.rspec_opts = ["--color", "--backtrace"]
+  end
+rescue LoadError => ex
+  task :spec_test do
+    abort 'rspec is not available. In order to run spec, you must: gem install rspec'
+  end
+ensure
+  task :spec => [:spec_test]
+  task :test => [:spec_test]
+end

data/tasks/unit_test.rake

@@ -0,0 +1,76 @@
+# Installs a rake task for for running unit tests.
+#
+# This file installs the 'rake unit_test' and extends 'rake test' to run unit
+# tests, if any. It is automatically generated by Noe from your .noespec file,
+# and should therefore be configured there, under the variables/rake_tasks/unit_test
+# entry, as illustrated below:
+#
+# variables:
+#   rake_tasks:
+#     unit_test:
+#       pattern: test/test*.rb
+#       verbose: false
+#       warning: false
+#       ...
+#
+# If you have specific needs requiring manual intervention on this file,
+# don't forget to set safe-override to false in your noe specification:
+#
+# template-info:
+#   manifest:
+#     tasks/unit_test.rake:
+#       safe-override: false
+#
+# More info about the TestTask and its options can be found on
+# http://rake.rubyforge.org/classes/Rake/TestTask.html
+#
+begin
+  require 'rake/testtask'
+  desc "Run unit tests"
+  Rake::TestTask.new(:unit_test) do |t|
+
+    # List of directories to added to $LOAD_PATH before running the
+    # tests. (default is 'lib')
+    t.libs = ["lib"]
+
+    # True if verbose test output desired. (default is false)
+    t.verbose = false
+
+    # Test options passed to the test suite.  An explicit TESTOPTS=opts
+    # on the command line will override this. (default is NONE)
+    t.options = nil
+
+    # Request that the tests be run with the warning flag set.
+    # E.g. warning=true implies "ruby -w" used to run the tests.
+    t.warning = false
+
+    # Glob pattern to match test files. (default is 'test/test*.rb')
+    t.pattern = "test/test_*.rb"
+
+    # Style of test loader to use.  Options are:
+    #
+    # * :rake -- Rake provided test loading script (default).
+    # * :testrb -- Ruby provided test loading script.
+    # * :direct -- Load tests using command line loader.
+    #
+    t.loader = :rake
+
+    # Array of commandline options to pass to ruby when running test
+    # loader.
+    t.ruby_opts = []
+
+    # Explicitly define the list of test files to be included in a
+    # test.  +list+ is expected to be an array of file names (a
+    # FileList is acceptable).  If both +pattern+ and +test_files+ are
+    # used, then the list of test files is the union of the two.
+    t.test_files = nil
+
+  end
+rescue LoadError => ex
+  task :unit_test do
+    abort "rake/testtask does not seem available...\n  #{ex.message}"
+  end
+ensure
+  desc "Run all tests"
+  task :test => [:unit_test]
+end

data/tasks/yard.rake

@@ -0,0 +1,51 @@
+# Installs a rake task to generate API documentation using yard.
+#
+# This file installs the 'rake yard' task. It is automatically generated by Noe from
+# your .noespec file, and should therefore be configured there, under the
+# variables/rake_tasks/yard entry, as illustrated below:
+#
+# variables:
+#   rake_tasks:
+#     yard:
+#       files: lib/**/*.rb
+#       options: []
+#       ...
+#
+# If you have specific needs requiring manual intervention on this file,
+# don't forget to set safe-override to false in your noe specification:
+#
+# template-info:
+#   manifest:
+#     tasks/yard.rake:
+#       safe-override: false
+#
+# This file has been written to conform to yard v0.6.4. More information about
+# yard and the rake task installed below can be found on http://yardoc.org/
+#
+begin
+  require "yard"
+  desc "Generate yard documentation"
+  YARD::Rake::YardocTask.new(:yard) do |t|
+    # Array of options passed to yardoc commandline. See 'yardoc --help' about this
+    t.options = ["--output-dir", "doc/api", "-", "README.md", "CHANGELOG.md", "LICENCE.md"]
+
+    # Array of ruby source files (and any extra documentation files
+    # separated by '-')
+    t.files = ["lib/**/*.rb"]
+
+    # A proc to call before running the task
+    # t.before = proc{ }
+
+    # A proc to call after running the task
+    # r.after = proc{ }
+
+    # An optional lambda to run against all objects being generated.
+    # Any object that the lambda returns false for will be excluded
+    # from documentation.
+    # t.verifier = lambda{|obj| true}
+  end
+rescue LoadError
+  task :yard do
+    abort 'yard is not available. In order to run yard, you must: gem install yard'
+  end
+end

metadata

@@ -0,0 +1,218 @@
+--- !ruby/object:Gem::Specification
+name: cudd-rb
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+  prerelease: 
+platform: ruby
+authors:
+- Bernard Lambeau
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2012-09-12 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: &70210468650120 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.9.2
+  type: :development
+  prerelease: false
+  version_requirements: *70210468650120
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: &70210468665740 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '2.11'
+  type: :development
+  prerelease: false
+  version_requirements: *70210468665740
+- !ruby/object:Gem::Dependency
+  name: yard
+  requirement: &70210468660380 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.7.2
+  type: :development
+  prerelease: false
+  version_requirements: *70210468660380
+- !ruby/object:Gem::Dependency
+  name: bluecloth
+  requirement: &70210468679380 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '2.2'
+  type: :development
+  prerelease: false
+  version_requirements: *70210468679380
+- !ruby/object:Gem::Dependency
+  name: ffi
+  requirement: &70210468673680 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '1.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: *70210468673680
+description: ! "cudd-rb is a ruby bridge to the CU Decision Diagram (CUDD), an implementation
+  of \nBinary Decision Diagrams."
+email:
+- blambeau@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files:
+- README.md
+- CHANGELOG.md
+- LICENCE.md
+files:
+- cudd-rb.gemspec
+- cudd-rb.noespec
+- CHANGELOG.md
+- Gemfile
+- Gemfile.lock
+- lib/cudd-rb/bdd.rb
+- lib/cudd-rb/cube.rb
+- lib/cudd-rb/errors.rb
+- lib/cudd-rb/interfaces/bdd.rb
+- lib/cudd-rb/interfaces/root.rb
+- lib/cudd-rb/loader.rb
+- lib/cudd-rb/manager.rb
+- lib/cudd-rb/version.rb
+- lib/cudd-rb/wrapper.rb
+- lib/cudd-rb.rb
+- LICENCE.md
+- Manifest.txt
+- Rakefile
+- README.md
+- spec/cube/test_equality.rb
+- spec/cube/test_hash.rb
+- spec/cube/test_new.rb
+- spec/cube/test_to_a012.rb
+- spec/cube/test_to_bdd.rb
+- spec/cube/test_to_cube.rb
+- spec/cube/test_to_dnf.rb
+- spec/cube/test_to_hash.rb
+- spec/cube/test_to_truths.rb
+- spec/cudd/test_manager.rb
+- spec/interfaces/bdd/test_and.rb
+- spec/interfaces/bdd/test_bdd2cube.rb
+- spec/interfaces/bdd/test_bdd2dnf.rb
+- spec/interfaces/bdd/test_cofactor.rb
+- spec/interfaces/bdd/test_cube.rb
+- spec/interfaces/bdd/test_cube2bdd.rb
+- spec/interfaces/bdd/test_each_cube.rb
+- spec/interfaces/bdd/test_eval.rb
+- spec/interfaces/bdd/test_exist.rb
+- spec/interfaces/bdd/test_forall.rb
+- spec/interfaces/bdd/test_is_complement.rb
+- spec/interfaces/bdd/test_ite.rb
+- spec/interfaces/bdd/test_ith_var.rb
+- spec/interfaces/bdd/test_ith_vars.rb
+- spec/interfaces/bdd/test_new_var.rb
+- spec/interfaces/bdd/test_new_vars.rb
+- spec/interfaces/bdd/test_not.rb
+- spec/interfaces/bdd/test_one.rb
+- spec/interfaces/bdd/test_one_cube.rb
+- spec/interfaces/bdd/test_or.rb
+- spec/interfaces/bdd/test_restrict.rb
+- spec/interfaces/bdd/test_satisfiable.rb
+- spec/interfaces/bdd/test_satisfied.rb
+- spec/interfaces/bdd/test_size.rb
+- spec/interfaces/bdd/test_support.rb
+- spec/interfaces/bdd/test_var_index.rb
+- spec/interfaces/bdd/test_var_name.rb
+- spec/interfaces/bdd/test_var_names.rb
+- spec/interfaces/bdd/test_zero.rb
+- spec/manager/test_interface.rb
+- spec/shared/a_bdd.rb
+- spec/spec_helper.rb
+- spec/test_cudd-rb.rb
+- spec/wrapper/test_assumptions.rb
+- tasks/gem.rake
+- tasks/spec_test.rake
+- tasks/unit_test.rake
+- tasks/yard.rake
+homepage: https://github.com/blambeau/cudd-rb
+licenses: []
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+      segments:
+      - 0
+      hash: 2697852571902403534
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 1.8.15
+signing_key: 
+specification_version: 3
+summary: A ruby bridge to the CU Decision Diagram package (CUDD).
+test_files:
+- spec/cube/test_equality.rb
+- spec/cube/test_hash.rb
+- spec/cube/test_new.rb
+- spec/cube/test_to_a012.rb
+- spec/cube/test_to_bdd.rb
+- spec/cube/test_to_cube.rb
+- spec/cube/test_to_dnf.rb
+- spec/cube/test_to_hash.rb
+- spec/cube/test_to_truths.rb
+- spec/cudd/test_manager.rb
+- spec/interfaces/bdd/test_and.rb
+- spec/interfaces/bdd/test_bdd2cube.rb
+- spec/interfaces/bdd/test_bdd2dnf.rb
+- spec/interfaces/bdd/test_cofactor.rb
+- spec/interfaces/bdd/test_cube.rb
+- spec/interfaces/bdd/test_cube2bdd.rb
+- spec/interfaces/bdd/test_each_cube.rb
+- spec/interfaces/bdd/test_eval.rb
+- spec/interfaces/bdd/test_exist.rb
+- spec/interfaces/bdd/test_forall.rb
+- spec/interfaces/bdd/test_is_complement.rb
+- spec/interfaces/bdd/test_ite.rb
+- spec/interfaces/bdd/test_ith_var.rb
+- spec/interfaces/bdd/test_ith_vars.rb
+- spec/interfaces/bdd/test_new_var.rb
+- spec/interfaces/bdd/test_new_vars.rb
+- spec/interfaces/bdd/test_not.rb
+- spec/interfaces/bdd/test_one.rb
+- spec/interfaces/bdd/test_one_cube.rb
+- spec/interfaces/bdd/test_or.rb
+- spec/interfaces/bdd/test_restrict.rb
+- spec/interfaces/bdd/test_satisfiable.rb
+- spec/interfaces/bdd/test_satisfied.rb
+- spec/interfaces/bdd/test_size.rb
+- spec/interfaces/bdd/test_support.rb
+- spec/interfaces/bdd/test_var_index.rb
+- spec/interfaces/bdd/test_var_name.rb
+- spec/interfaces/bdd/test_var_names.rb
+- spec/interfaces/bdd/test_zero.rb
+- spec/manager/test_interface.rb
+- spec/shared/a_bdd.rb
+- spec/spec_helper.rb
+- spec/test_cudd-rb.rb
+- spec/wrapper/test_assumptions.rb