stamina 0.4.0 → 0.5.0

data/lib/stamina/utils.rb

@@ -1 +0,0 @@
-require 'stamina/utils/decorate'

data/lib/stamina/utils/decorate.rb

@@ -1,81 +0,0 @@
-module Stamina
-  module Utils
-    #
-    # Decorates states of an automaton by applying a propagation rule 
-    # until a fix point is reached.
-    #
-    class Decorate
-      
-      # The key to use to maintain the decoration on states (:invariant
-      # is used by default)
-      attr_writer :decoration_key
-      
-      # Creates a decoration algorithm instance
-      def initialize(decoration_key = :invariant)
-        @decoration_key = decoration_key
-        @suppremum = nil
-        @propagate = nil
-      end
-      
-      # Installs a suppremum function through a block.
-      def set_suppremum(&block)
-        raise ArgumentError, 'Suppremum expected through a block' if block.nil?
-        raise ArgumentError, 'Block of arity 2 expected' unless block.arity==2
-        @suppremum = block
-      end
-      
-      # Installs a propagate function through a block.
-      def set_propagate(&block)
-        raise ArgumentError, 'Propagate expected through a block' if block.nil?
-        raise ArgumentError, 'Block of arity 2 expected' unless block.arity==2
-        @propagate = block
-      end
-      
-      # Computes the suppremum between two decorations. By default, this method
-      # looks for a suppremum function installed with set_suppremum. If not found,
-      # it tries calling a suppremum method on d0. If not found it raises an error. 
-      # This method may be overriden.
-      def suppremum(d0, d1)
-        return @suppremum.call(d0, d1) if @suppremum
-        return d0.suppremum(d1) if d0.respond_to?(:suppremum)
-        raise "No suppremum function installed or implemented by decorations"
-      end
-      
-      # Computes the propagation rule. By default, this method looks for a propagate 
-      # function installed with set_propagate. If not found, it tries calling a + 
-      # method on deco. If not found it raises an error. 
-      # This method may be overriden.
-      def propagate(deco, edge)
-        return @propagate.call(deco, edge) if @propagate
-        return deco.+(edge) if deco.respond_to?(:+)
-        raise "No propagate function installed or implemented by decorations"
-      end
-      
-      # Executes the propagation algorithm on a given automaton.
-      def execute(fa, bottom, d0)
-        # install initial decoration
-        fa.states.each do |s|
-          s[@decoration_key] = (s.initial? ? d0 : bottom)
-        end
-        
-        # fix-point loop starting with initial states
-        to_explore = fa.initial_states
-        until to_explore.empty?
-          source = to_explore.pop
-          source.out_edges.each do |edge|
-            target = edge.target
-            p_decor = propagate(source[@decoration_key], edge)
-            p_decor = suppremum(target[@decoration_key], p_decor)
-            unless p_decor == target[@decoration_key]
-              target[@decoration_key] = p_decor
-              to_explore << target unless to_explore.include?(target)
-            end
-          end
-        end
-        
-        fa
-      end
-      
-    end # class Decorate
-  end # module Utils
-end # module Stamina

data/lib/stamina/version.rb

@@ -1,14 +0,0 @@
-module Stamina
-  module Version
-  
-    MAJOR = 0
-    MINOR = 4
-    TINY  = 0
-  
-    def self.to_s
-      [ MAJOR, MINOR, TINY ].join('.')
-    end
-  
-  end 
-  VERSION = Version.to_s
-end

data/stamina.gemspec

@@ -1,191 +0,0 @@
-# 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 "stamina/version"
-$version = Stamina::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 = "stamina"
-  
-  # Gem version (required)
-  s.version = $version
-  
-  # A short summary of this gem
-  #
-  # This is displayed in `gem list -d`.
-  s.summary = "Automaton and Regular Inference Toolkit"
-
-  # 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 = "Stamina is an automaton and regular inference toolkit initially developped for the baseline \nof the Stamina Competition (stamina.chefbe.net)."
-  
-  # The URL of this gem home page (optional)
-  s.homepage = "http://stamina.chefbe.net/"
-
-  # 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.8.7")
-  s.add_development_dependency("bundler", "~> 1.0")
-  s.add_development_dependency("rspec", "~> 2.4.0")
-  s.add_development_dependency("yard", "~> 0.6.4")
-  s.add_development_dependency("bluecloth", "~> 2.0.9")
-  s.add_development_dependency("wlang", "~> 0.10.1")
-  s.add_development_dependency("gnuplot", "~> 2.3.6")
-  s.add_dependency("quickl", "~> 0.2.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/stamina.noespec

@@ -1,32 +0,0 @@
-# Noe template for ruby gem libraries (https://github.com/blambeau/noe) - short version
-# Run 'noe show-spec' and 'noe help show-spec' for additional details.
-template-info:
-  name: "ruby"
-  version: 1.3.0
-variables:
-  lower: 
-    stamina
-  upper:
-    Stamina
-  version:
-    0.4.0
-  summary: |-
-    Automaton and Regular Inference Toolkit
-  description: |-
-    Stamina is an automaton and regular inference toolkit initially developped for the baseline 
-    of the Stamina Competition (stamina.chefbe.net).
-  authors: 
-    - name: Bernard Lambeau
-      email: blambeau@gmail.com
-  links: 
-    - http://stamina.chefbe.net/
-    - http://github.com/blambeau/stamina
-  dependencies: 
-    - {name: quickl,    version: "~> 0.2.0",  groups: [runtime]}
-    - {name: rake,      version: "~> 0.8.7",  groups: [development]}
-    - {name: bundler,   version: "~> 1.0",    groups: [development]}
-    - {name: rspec,     version: "~> 2.4.0",  groups: [development]}
-    - {name: yard,      version: "~> 0.6.4",  groups: [development]}
-    - {name: bluecloth, version: "~> 2.0.9",  groups: [development]}
-    - {name: wlang,     version: "~> 0.10.1", groups: [development]}
-    - {name: gnuplot,   version: "~> 2.3.6",  groups: [development]}

data/tasks/debug_mail.rake

@@ -1,78 +0,0 @@
-# Installs a rake task for debuging the announcement mail.
-#
-# This file installs the 'rake debug_mail' that flushes an announcement mail
-# for your library on the standard output. It is automatically generated 
-# by Noe from your .noespec file, and should therefore be configured there, 
-# under the variables/rake_tasks/debug_mail entry, as illustrated below:
-#
-# variables:
-#   rake_tasks:
-#     debug_mail:
-#       rx_changelog_sections: /^#/
-#       nb_changelog_sections: 1
-#       ...
-#
-# 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/debug_mail.rake:
-#       safe-override: false
-#
-# The mail template used can be found in debug_mail.txt. That file may be
-# changed to tune the mail you want to send. If you do so, don't forget to
-# add a manifest entry in your .noespec file to avoid overriding you 
-# changes. The mail template uses wlang, with parentheses for block 
-# delimiters.
-#
-# template-info:
-#   manifest:
-#     tasks/debug_mail.txt:
-#       safe-override: false
-#
-begin
-  require 'wlang'
-  require 'yaml'
-  
-  desc "Debug the release announcement mail"
-  task :debug_mail do 
-    # Check that a .noespec file exists
-    noespec_file = File.expand_path('../../stamina.noespec', __FILE__)
-    unless File.exists?(noespec_file)
-      raise "Unable to find .noespec project file, sorry."
-    end
-    
-    # Load it as well as variables and options
-    noespec = YAML::load(File.read(noespec_file))
-    vars = noespec['variables'] || {}
-
-    # Changes are taken from CHANGELOG 
-    logs = Dir[File.expand_path("../../CHANGELOG.*", __FILE__)]
-    unless logs.size == 1
-      abort "Unable to find a changelog file"
-    end
-
-    # Load interesting changesets
-    changes, end_found = [], 0
-    File.readlines(logs.first).select{|line|
-      if line =~ /^#/
-        break if end_found >= 1
-        end_found += 1
-      end
-      changes << line
-    }
-    vars['changes'] = changes.join
-    
-    # WLang template
-    template = File.expand_path('../debug_mail.txt', __FILE__)
-    
-    # Let's go!
-    $stdout << WLang::file_instantiate(template, vars, "wlang/active-text")
-  end
-
-rescue LoadError 
-  task :debug_mail do
-    abort "wlang is not available. Try 'gem install wlang'"
-  end
-end

data/tasks/debug_mail.txt

@@ -1,13 +0,0 @@
-Subject: [ANN] !{lower} !{version} Released
-
-!{lower} version !{version} has been released!
-
-!{summary}
-
-*{links as l}{* <!{l}>}{!{"\n"}}
-
-!{description}
-
-Changes:
-
-!{changes}

data/tasks/gem.rake

@@ -1,68 +0,0 @@
-# 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'
-  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