stamina-core 0.5.0

data/lib/stamina-core/stamina/utils.rb

@@ -0,0 +1 @@
+require_relative 'utils/decorate'

data/lib/stamina-core/stamina/utils/decorate.rb

@@ -0,0 +1,81 @@
+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-core/stamina/version.rb

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

metadata

@@ -0,0 +1,93 @@
+--- !ruby/object:Gem::Specification
+name: stamina-core
+version: !ruby/object:Gem::Version
+  version: 0.5.0
+  prerelease: 
+platform: ruby
+authors:
+- Bernard Lambeau
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2012-02-24 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: quickl
+  requirement: &70173945608140 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.4.3
+  type: :runtime
+  prerelease: false
+  version_requirements: *70173945608140
+description: ! "Stamina is an automaton and regular inference toolkit initially developped
+  for the \nbaseline of the Stamina Competition (stamina.chefbe.net)."
+email:
+- blambeau@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- LICENCE.md
+- CHANGELOG.md
+- lib/stamina-core/stamina/adl.rb
+- lib/stamina-core/stamina/automaton/complement.rb
+- lib/stamina-core/stamina/automaton/complete.rb
+- lib/stamina-core/stamina/automaton/compose.rb
+- lib/stamina-core/stamina/automaton/determinize.rb
+- lib/stamina-core/stamina/automaton/equivalence.rb
+- lib/stamina-core/stamina/automaton/hide.rb
+- lib/stamina-core/stamina/automaton/metrics.rb
+- lib/stamina-core/stamina/automaton/minimize/hopcroft.rb
+- lib/stamina-core/stamina/automaton/minimize/pitchies.rb
+- lib/stamina-core/stamina/automaton/minimize.rb
+- lib/stamina-core/stamina/automaton/strip.rb
+- lib/stamina-core/stamina/automaton/walking.rb
+- lib/stamina-core/stamina/automaton.rb
+- lib/stamina-core/stamina/command/adl2dot.rb
+- lib/stamina-core/stamina/command/help.rb
+- lib/stamina-core/stamina/command/robustness.rb
+- lib/stamina-core/stamina/command/run.rb
+- lib/stamina-core/stamina/command.rb
+- lib/stamina-core/stamina/core.rb
+- lib/stamina-core/stamina/dsl/automata.rb
+- lib/stamina-core/stamina/dsl/core.rb
+- lib/stamina-core/stamina/dsl.rb
+- lib/stamina-core/stamina/engine/context.rb
+- lib/stamina-core/stamina/engine.rb
+- lib/stamina-core/stamina/errors.rb
+- lib/stamina-core/stamina/ext/math.rb
+- lib/stamina-core/stamina/loader.rb
+- lib/stamina-core/stamina/markable.rb
+- lib/stamina-core/stamina/utils/decorate.rb
+- lib/stamina-core/stamina/utils.rb
+- lib/stamina-core/stamina/version.rb
+- lib/stamina-core/stamina-core.rb
+homepage: https://github.com/blambeau/stamina
+licenses: []
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib/stamina-core
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 1.8.10
+signing_key: 
+specification_version: 3
+summary: Automaton and Regular Inference Toolkit
+test_files: []
+has_rdoc: