unific 0.11 → 0.12

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 0cffd941f46277c184647c88bea6f1f4109b19ff
-  data.tar.gz: 3f92e05f3920f8d3c547de271f9556987984ece6
+  metadata.gz: c9d2f5ada87e333e2fbae9d1ccc77cd89b4bdd68
+  data.tar.gz: 2729759da770f081784fa1df255394b2aaa5db36
 SHA512:
-  metadata.gz: 6ec0c948ea62147038eb0f1d15ba82c7c1ac701acb0553c7af222e9359d3957d214a1a423173a5b15fa721fed486b5fb0817ba6e1d03355338c5e13d913d5bc8
-  data.tar.gz: 74d2195fe659a91cc25721684227e8ec75a8fa8550c17ed242ed0ca26c10edfd8945427dce0c665c64ed88f77e27677f0f63e6746b77a7cf8da15e36ed5d2677
+  metadata.gz: 9d4a13c4e3b1315e099804a0676f18cc34282c33c56f3fc2f168652ea97d10d2f255c0c7907673baff5cadaee49e6a79b09379a1986afda4180e3853b1e2849b
+  data.tar.gz: 417745d942f853b0a101c5dd7b7eb2d4b2de715898c47e04096bd05c7056a3b755ecd4ac436be549777fc1de1de36bb9d05a16e78bfb369a14cd0726831f8151

data/History.txt

@@ -1,3 +1,9 @@
+=== 0.12 / 2015-02-05
+
+* Two new helper methods, the first from github user bagohart:
+  - #variables -- flast list of variables in the traversal of an expression
+  - #bindings -- list variables bound in an env
+
 === 0.11 / 2013-03-30
 
 * Update database example to work with Ruby 1.9 (where hashes keep insertion

data/Rakefile

@@ -16,8 +16,8 @@ require 'hoe'
 
 Hoe.spec 'unific' do
 
-  developer('Jim Wise', 'jwise@draga.com')
-
+  developer 'Jim Wise', 'jwise@draga.com'
+  license '2-clause BSD-Style'
 end
 
 # vim: syntax=ruby

data/lib/unific.rb

@@ -2,7 +2,7 @@ require 'singleton'
 
 module Unific
 
-  VERSION = '0.11'
+  VERSION = '0.12'
 
   # An environment (set of variable bindings) resulting from unification
   class Env
@@ -138,6 +138,19 @@ module Unific
       end
     end
 
+    # Return just the variables from an expression, as a flat array
+    def variables s
+      res = []
+      _traverse s do |v|
+        res << v
+      end
+      res.uniq
+    end
+
+    def bindings
+      @theta.keys
+    end
+
     # forward definition, see comment below
     module ::Rulog #:nodoc:
     end

metadata

@@ -1,43 +1,65 @@
 --- !ruby/object:Gem::Specification
 name: unific
 version: !ruby/object:Gem::Version
-  version: '0.11'
+  version: '0.12'
 platform: ruby
 authors:
 - Jim Wise
 autorequire: 
 bindir: bin
-cert_chain: []
-date: 2013-03-30 00:00:00.000000000 Z
+cert_chain:
+- |
+  -----BEGIN CERTIFICATE-----
+  MIIDZDCCAkygAwIBAgIBATANBgkqhkiG9w0BAQUFADA8MQ4wDAYDVQQDDAVqd2lz
+  ZTEVMBMGCgmSJomT8ixkARkWBWRyYWdhMRMwEQYKCZImiZPyLGQBGRYDY29tMB4X
+  DTE0MDQwMzIzMDg0OFoXDTE1MDQwMzIzMDg0OFowPDEOMAwGA1UEAwwFandpc2Ux
+  FTATBgoJkiaJk/IsZAEZFgVkcmFnYTETMBEGCgmSJomT8ixkARkWA2NvbTCCASIw
+  DQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBALfID041jcRKif+i4k7kUyoZogOP
+  AP1XfDojDzW4T6QahXUeZVl0/+EPsabY27j+ujrBhSK7GPQOM+QLBcLr3SyHsFuI
+  iPU06kFr+IxNAXEerNLjO6HNspBKZGmcTratSi3l8HQY0u291zX6xc373HkDLqjh
+  3KtpdXAGE0zHx/zOfaxu56NoVx2Qw9UK+U+deHJ3NEtR9vIEJW6NdEkPdrhhM9Sx
+  5LFqxVCVCyl8M90XeIllaUqdQdBNW1/pYq4/ivyGZeZ7pfHRgbKydgtlXPVOkIFh
+  LrNC9M6S5inMXNGKZBR3uAgHZhEN+LwSY++t2Gt1xh9hkmNHcnlKhQJGMhECAwEA
+  AaNxMG8wCQYDVR0TBAIwADALBgNVHQ8EBAMCBLAwHQYDVR0OBBYEFE1Og5iwmHlH
+  cuJYbczTjrLw43v0MBoGA1UdEQQTMBGBD2p3aXNlQGRyYWdhLmNvbTAaBgNVHRIE
+  EzARgQ9qd2lzZUBkcmFnYS5jb20wDQYJKoZIhvcNAQEFBQADggEBABxedFNWgJS6
+  YKyRYGShdgRcUorWeMipYyybuoGKqDdUGON1keCWwOBIwSbiVkGM8yl1LeqwE0dX
+  6q76iLR4nybhoVQrtKyTLWYtOeCrtgVMuN5q0UhhTk2Sb9GMsF6tT9uifMkB3hYj
+  Nv1ufWMnAcQOXhpU+IKveMfYq8gApfiWvEhKAI2c9E1kv5SOt2ine69RFjkkFTAl
+  47ulScX2+tfEV0IzjwbvvZQR+t6WBkRowYVLJ5GvT6RO3/vr1xIq2PRWASL1U2G2
+  44KZvQCKstteViXOMdYGQbNhfY2fWbVZ5G5Wxc48bEVUfVaB9aCh0PRMP2r5nf80
+  OTAFzawdf0k=
+  -----END CERTIFICATE-----
+date: 2015-02-05 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rdoc
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.10'
+        version: '4.0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.10'
+        version: '4.0'
 - !ruby/object:Gem::Dependency
   name: hoe
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.5'
+        version: '3.13'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.5'
+        version: '3.13'
 description: |-
   Unific is a ruby unification engine.
 
@@ -56,7 +78,8 @@ extra_rdoc_files:
 - README.rdoc
 - README.txt
 files:
-- .autotest
+- ".autotest"
+- ".gemtest"
 - History.txt
 - Manifest.txt
 - README.rdoc
@@ -65,31 +88,30 @@ files:
 - examples/database.rb
 - lib/unific.rb
 - test/test_unific.rb
-- .gemtest
 homepage: https://github.com/jimwise/unific
-licenses: []
+licenses:
+- 2-clause BSD-Style
 metadata: {}
 post_install_message: 
 rdoc_options:
-- --main
+- "--main"
 - README.rdoc
 require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
-  - - '>='
+  - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - '>='
+  - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubyforge_project: unific
-rubygems_version: 2.0.0
+rubyforge_project: 
+rubygems_version: 2.4.5
 signing_key: 
 specification_version: 4
 summary: Unific is a ruby unification engine
-test_files:
-- test/test_unific.rb
+test_files: []