gecoder-with-gecode 0.8.2-mswin32 → 0.8.3-mswin32

data/specs/constraints/reification_sugar.rb

@@ -26,28 +26,6 @@ describe Gecode::Constraints::ReifiableConstraint do
     @model.solve!.should be_nil
   end
   
-  it 'should translate disjunctions' do
-    Gecode::Raw.should_receive(:rel).once.with(
-      an_instance_of(Gecode::Raw::Space), 
-      an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::BOT_OR, 
-      an_instance_of(Gecode::Raw::BoolVar), 
-      an_instance_of(Gecode::Raw::BoolVar),
-      Gecode::Raw::ICL_DEF, Gecode::Raw::PK_DEF      
-    )
-    Gecode::Raw.should_receive(:rel).once.with(
-      an_instance_of(Gecode::Raw::Space), 
-      an_instance_of(Gecode::Raw::IntVar), Gecode::Raw::IRT_GR, 0, 
-      an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::ICL_DEF,
-      Gecode::Raw::PK_DEF)
-    Gecode::Raw.should_receive(:rel).once.with(
-      an_instance_of(Gecode::Raw::Space), 
-      an_instance_of(Gecode::Raw::IntVar), Gecode::Raw::IRT_EQ, 3, 
-      an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::ICL_DEF,
-      Gecode::Raw::PK_DEF)
-    (@x.must > 0) | (@y.must == 3)
-    sol = @model.solve!
-  end
-  
   it 'should solve disjunctions' do
     (@x.must > 0) | (@y.must == 3)
     sol = @model.solve!
@@ -59,29 +37,7 @@ describe Gecode::Constraints::ReifiableConstraint do
     (@x.must > 3) & (@y.must == 3)
     @model.solve!.should be_nil
   end
-  
-  it 'should translate conjunctions' do
-    Gecode::Raw.should_receive(:rel).once.with(
-      an_instance_of(Gecode::Raw::Space), 
-      an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::BOT_AND, 
-      an_instance_of(Gecode::Raw::BoolVar), 
-      an_instance_of(Gecode::Raw::BoolVar),
-      Gecode::Raw::ICL_DEF, Gecode::Raw::PK_DEF      
-    )
-    Gecode::Raw.should_receive(:rel).once.with(
-      an_instance_of(Gecode::Raw::Space), 
-      an_instance_of(Gecode::Raw::IntVar), Gecode::Raw::IRT_GR, 0, 
-      an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::ICL_DEF,
-      Gecode::Raw::PK_DEF)
-    Gecode::Raw.should_receive(:rel).once.with(
-      an_instance_of(Gecode::Raw::Space), 
-      an_instance_of(Gecode::Raw::IntVar), Gecode::Raw::IRT_EQ, 2, 
-      an_instance_of(Gecode::Raw::BoolVar), Gecode::Raw::ICL_DEF,
-      Gecode::Raw::PK_DEF)
-    (@x.must > 0) & (@y.must == 2)
-    sol = @model.solve!
-  end
-  
+
   it 'should solve conjunctions' do
     (@x.must > 0) & (@y.must == 2)
     sol = @model.solve!
@@ -111,4 +67,4 @@ describe Gecode::Constraints::ReifiableConstraint do
     sol = @model.solve!
     sol.should be_nil
   end
-end
+end

data/specs/model.rb

@@ -9,7 +9,7 @@ describe Gecode::Model, ' (integer creation)' do
     range = 0..3
     @model.int_var(range).should have_domain(range)
   end
-  
+
   it 'should allow the creation of int variables without specified domain' do
     var = @model.int_var
     var.should be_range
@@ -43,6 +43,17 @@ describe Gecode::Model, ' (integer creation)' do
     vars.each{ |var| var.should have_domain(domain) }
   end
   
+  it 'should allow the creation of int-var arrays without specified domain' do
+    count = 5
+    vars = @model.int_var_array(count)
+    vars.size.should equal(count)
+    vars.each do |var|
+      var.should be_range
+      var.min.should == Gecode::Raw::IntLimits::MIN
+      var.max.should == Gecode::Raw::IntLimits::MAX
+    end
+  end
+  
   it 'should allow the creation of int-var matrices with range domains' do
     range = 0..3
     rows = 5
@@ -62,6 +73,32 @@ describe Gecode::Model, ' (integer creation)' do
     vars.column_size.should equal(columns)
     vars.each{ |var| var.should have_domain(domain) }
   end
+  
+  it 'should allow the creation of int-var matrices without specified domain' do
+    rows = 5
+    columns = 4
+    vars = @model.int_var_matrix(rows, columns)
+    vars.row_size.should equal(rows)
+    vars.column_size.should equal(columns)
+    vars.each do |var|
+      var.should be_range
+      var.min.should == Gecode::Raw::IntLimits::MIN
+      var.max.should == Gecode::Raw::IntLimits::MAX
+    end
+  end
+  
+  it 'should raise error if the domain is of incorrect type' do
+    lambda do 
+      @model.int_var(nil)
+    end.should raise_error(TypeError) 
+  end
+  
+  it 'should gracefully GC a variable that was never accessed' do
+    lambda do
+      @model.int_var 0
+      GC.start
+    end.should_not raise_error
+  end
 end
 
 describe Gecode::Model, ' (bool creation)' do
@@ -82,6 +119,13 @@ describe Gecode::Model, ' (bool creation)' do
     matrix.row_size.should equal(3)
     matrix.column_size.should equal(4)
   end
+  
+  it 'should gracefully GC a variable that was never accessed' do
+    lambda do
+      @model.bool_var
+      GC.start
+    end.should_not raise_error
+  end
 end
 
 describe Gecode::Model, ' (set creation)' do
@@ -143,6 +187,15 @@ describe Gecode::Model, ' (set creation)' do
     end
   end
   
+  it 'should allow the creation of arrays of set variables without specified bounds' do
+    vars = @model.set_var_array(3)
+    vars.each do |var|
+      var.lower_bound.size.should == 0
+      var.upper_bound.min.should == Gecode::Raw::SetLimits::MIN
+      var.upper_bound.max.should == Gecode::Raw::SetLimits::MAX
+    end
+  end
+  
   it 'should allow the creation of matrices of set variables' do
     matrix = @model.set_var_matrix(4, 5, @glb_enum, @lub_enum, 
       @lower_card..@upper_card)
@@ -154,20 +207,45 @@ describe Gecode::Model, ' (set creation)' do
       var.cardinality.begin.should >= @lower_card
     end
   end
+
+  it 'should allow the creation of matrices of set variables without specified bounds' do
+    matrix = @model.set_var_matrix(4, 5)
+    matrix.each do |var|
+      var.lower_bound.size.should == 0
+      var.upper_bound.min.should == Gecode::Raw::SetLimits::MIN
+      var.upper_bound.max.should == Gecode::Raw::SetLimits::MAX
+    end
+  end
   
   it 'should raise error if glb and lub are not valid when they are given as range' do
-    lambda{ @model.set_var(@lub_range, @glb_range).should }.should raise_error(
-      ArgumentError)  
+    lambda do 
+      @model.set_var(@lub_range, @glb_range)
+    end.should raise_error(ArgumentError)  
   end
   
   it 'should raise error if glb and lub are not valid when one is given as enum' do
-    lambda{ @model.set_var(@lub_range, @glb_enum).should }.should raise_error(
-      ArgumentError)
+    lambda do
+      @model.set_var(@lub_range, @glb_enum)
+    end.should raise_error(ArgumentError)
   end
   
   it 'should raise error if glb and lub are not valid when both are given as enums' do
-    lambda{ @model.set_var(@lub_enum, @glb_enum).should }.should raise_error(
-      ArgumentError)  
+    lambda do
+      @model.set_var(@lub_enum, @glb_enum)
+    end.should raise_error(ArgumentError)  
+  end
+  
+  it 'should raise error if the glb and lub are of incorrect type' do
+    lambda do 
+      @model.set_var("foo\n", "foo\ns")
+    end.should raise_error(TypeError) 
+  end
+
+  it 'should gracefully GC a variable that was never accessed' do
+    lambda do
+      @model.set_var(@glb_range, @lub_range)
+      GC.start
+    end.should_not raise_error
   end
 end
 

data/tasks/dependencies.txt

@@ -9,6 +9,7 @@ coderay
 
 # To run the specs and produce a report for the website.
 rspec
+rcov
 
 # To release files to RubyForge.
 meta_project

data/vendor/rust/rust/class.rb

@@ -260,7 +260,7 @@ module Rust
       
       private
       def raw_call(nparam = nil)
-        case @position
+        case position(@parameters.size)
           when 1 # pre
             "#{@name} (*tmp)"
           when 2 # mid
@@ -272,43 +272,41 @@ module Rust
         end
       end
       
+      # 1: pre 2: mid 3: post 4: mixed
+      def position(nparam)
+        case @name
+          when "+": (nparam.zero? ? 1 : 3)
+          when "-": 3
+          when "*": (nparam.zero? ? 1 : 3)
+          when "/": 3
+          when /\[\s*\]=/: 4
+          when /\[\s*\]/: 2
+          when "==": 3
+          when "!=": 3
+          when "<<": 3
+          when ">>": 3
+          when "!": 1
+          when "()": 2
+          else
+            3
+        end
+      end
+      
       def valid_name
         case @name
-          when "+"
-            @position = 3
-            "plusop"
-          when "-"
-            @position = 3
-            "minusop"
-          when "*"
-            @position = 3
-            "multop"
-          when "/"
-            @position = 3
-            "divop"
-          when /\[\s*\]=/
-            @position = 4
-            "ateqop"
-          when /\[\s*\]/
-            @position = 2
-            "atop"
-          when "=="
-            @position = 3
-            "equalop"
-          when "!="
-            @position = 3
-            "notequalop"
-          when "<<"
-            @position = 3
-            "outstream"
-          when ">>"
-            @position = 3
-            "intstream"
-          when "!"
-            @position = 1
-            "notop"
+          when "+": "plusop"
+          when "-": "minusop"
+          when "*": "multop"
+          when "/": "divop"
+          when /\[\s*\]=/: "ateqop"
+          when /\[\s*\]/: "atop"
+          when "==": "equalop"
+          when "!=": "notequalop"
+          when "<<": "outstream"
+          when ">>": "intstream"
+          when "!": "notop"
+          when "()": "parenthesisop"
           else
-            @position = 3
             "undefop_#{@name[0].chr.to_i}#{rand(1024)}"
         end
       end

data/vendor/rust/rust/templates/ClassDeclarations.rusttpl

@@ -1,7 +1,7 @@
 //-*-c++-*-
 
 extern VALUE r!class_varname!;
-VALUE cxx2ruby(!c_class_name!* instance, bool free = false);
+VALUE cxx2ruby(!c_class_name!* instance, bool free = false, bool create_new_if_needed = true);
 bool is_!class_varname!(VALUE val);
 !c_class_name!* ruby2!class_varcname!Ptr(VALUE rval, int argn = -1);
 !c_class_name!& ruby2!class_varcname!(VALUE rval, int argn = -1);

data/vendor/rust/rust/templates/CxxClassDefinitions.rusttpl

@@ -51,17 +51,26 @@ bool is_!class_varname!(VALUE val)
   return *ruby2!class_varcname!Ptr(rval, argn);
 }
 
-VALUE cxx2ruby(!c_class_name!* instance, bool free) {
+VALUE cxx2ruby(!c_class_name!* instance, bool free, bool create_new_if_needed) {
   if ( instance == NULL ) return Qnil;
 
   T!class_ptrmap!::iterator it, eend = !class_ptrmap!.end();
 
+#ifdef DEBUG      
+  fprintf(stderr, "rust: searching for !c_class_name! %p\n", instance);
+#endif
+
   for(it = !class_ptrmap!.begin(); it != eend; it++)
      if ( (*it).second == (!c_class_name!*)instance ) break;
 
    if ( it != !class_ptrmap!.end() )
       return (*it).first;
    else {
+#ifdef DEBUG      
+      fprintf(stderr, "rust: failed to find match for %p\n", instance);
+#endif
+      if(!create_new_if_needed) return Qnil;
+   
       VALUE klass = r!class_varname!;
 
 !test_children!

metadata

@@ -3,8 +3,8 @@ rubygems_version: 0.9.4
 specification_version: 1
 name: gecoder-with-gecode
 version: !ruby/object:Gem::Version 
-  version: 0.8.2
-date: 2008-05-08 00:00:00 +02:00
+  version: 0.8.3
+date: 2008-07-28 00:00:00 +02:00
 summary: Ruby interface to Gecode, an environment for constraint programming.
 require_paths: 
 - lib
@@ -29,214 +29,213 @@ post_install_message:
 authors: 
 - - Gecode/R Development Team
 files: 
-- Rakefile
-- CHANGES
-- COPYING
 - README
 - LGPL-LICENSE
-- lib/gecoder/interface/constraints/bool_enum/channel.rb
-- lib/gecoder/interface/constraints/bool_enum/extensional.rb
-- lib/gecoder/interface/constraints/bool_enum/relation.rb
-- lib/gecoder/interface/constraints/set_enum/operation.rb
-- lib/gecoder/interface/constraints/set_enum/distinct.rb
-- lib/gecoder/interface/constraints/set_enum/selection.rb
-- lib/gecoder/interface/constraints/set_enum/channel.rb
-- lib/gecoder/interface/constraints/int/domain.rb
+- CHANGES
+- COPYING
+- Rakefile
+- lib/gecoder.rb
+- lib/gecoder/bindings.rb
+- lib/gecoder/interface/branch.rb
+- lib/gecoder/interface/enum_matrix.rb
+- lib/gecoder/interface/search.rb
+- lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/variables.rb
+- lib/gecoder/interface/enum_wrapper.rb
+- lib/gecoder/interface/model.rb
+- lib/gecoder/interface/constraints/set_var_constraints.rb
+- lib/gecoder/interface/constraints/extensional_regexp.rb
+- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/set/channel.rb
+- lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/operation.rb
+- lib/gecoder/interface/constraints/set/connection.rb
+- lib/gecoder/interface/constraints/set/domain.rb
+- lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/int/channel.rb
 - lib/gecoder/interface/constraints/int/arithmetic.rb
 - lib/gecoder/interface/constraints/int/linear.rb
-- lib/gecoder/interface/constraints/int/channel.rb
+- lib/gecoder/interface/constraints/int/domain.rb
+- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool/channel.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
 - lib/gecoder/interface/constraints/bool/linear.rb
-- lib/gecoder/interface/constraints/bool/channel.rb
-- lib/gecoder/interface/constraints/set/relation.rb
-- lib/gecoder/interface/constraints/set/connection.rb
-- lib/gecoder/interface/constraints/set/operation.rb
-- lib/gecoder/interface/constraints/set/cardinality.rb
-- lib/gecoder/interface/constraints/set/domain.rb
-- lib/gecoder/interface/constraints/int_enum/equality.rb
-- lib/gecoder/interface/constraints/int_enum/distinct.rb
-- lib/gecoder/interface/constraints/int_enum/sort.rb
 - lib/gecoder/interface/constraints/int_enum/channel.rb
-- lib/gecoder/interface/constraints/int_enum/count.rb
-- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
+- lib/gecoder/interface/constraints/int_enum/distinct.rb
 - lib/gecoder/interface/constraints/int_enum/element.rb
+- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
+- lib/gecoder/interface/constraints/int_enum/count.rb
 - lib/gecoder/interface/constraints/int_enum/extensional.rb
-- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/int_enum/equality.rb
+- lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/bool_var_constraints.rb
 - lib/gecoder/interface/constraints/bool_enum_constraints.rb
-- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool_enum/channel.rb
+- lib/gecoder/interface/constraints/bool_enum/extensional.rb
+- lib/gecoder/interface/constraints/bool_enum/relation.rb
 - lib/gecoder/interface/constraints/int_var_constraints.rb
 - lib/gecoder/interface/constraints/reifiable_constraints.rb
-- lib/gecoder/interface/constraints/bool_var_constraints.rb
-- lib/gecoder/interface/constraints/set_var_constraints.rb
-- lib/gecoder/interface/branch.rb
-- lib/gecoder/interface/model.rb
+- lib/gecoder/interface/constraints/set_enum/channel.rb
+- lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/operation.rb
+- lib/gecoder/interface/constraints/set_enum/selection.rb
 - lib/gecoder/interface/binding_changes.rb
-- lib/gecoder/interface/enum_wrapper.rb
-- lib/gecoder/interface/search.rb
-- lib/gecoder/interface/constraints.rb
-- lib/gecoder/interface/enum_matrix.rb
-- lib/gecoder/interface/variables.rb
-- lib/gecoder/bindings/bindings.rb
-- lib/gecoder/bindings.rb
-- lib/gecoder/interface.rb
 - lib/gecoder/version.rb
-- lib/gecoder.rb
+- lib/gecoder/interface.rb
+- lib/gecoder/bindings/bindings.rb
 - example/queens.rb
-- example/send_more_money.rb
 - example/send_most_money.rb
+- example/magic_sequence.rb
+- example/send_more_money.rb
 - example/sudoku-set.rb
-- example/raw_bindings.rb
+- example/sudoku.rb
 - example/square_tiling.rb
-- example/magic_sequence.rb
 - example/example_helper.rb
-- example/sudoku.rb
-- vendor/rust/test
-- vendor/rust/test/lib
-- vendor/rust/test/lib/extension-test.rb
-- vendor/rust/test/dummyclass.hh
-- vendor/rust/test/operators.rb
-- vendor/rust/test/cwrapper.rb
-- vendor/rust/test/test-cppclass.rb
-- vendor/rust/test/test-constants.rb
-- vendor/rust/test/cppclass.cc
-- vendor/rust/test/test-operators.rb
-- vendor/rust/test/operators.cc
-- vendor/rust/test/test-cwrapper.rb
-- vendor/rust/test/cwrapper.c
-- vendor/rust/test/cppclass.hh
-- vendor/rust/test/cwrapper.h
-- vendor/rust/test/cppclass.rb
-- vendor/rust/test/operators.hh
-- vendor/rust/test/Makefile
-- vendor/rust/test/constants.rb
-- vendor/rust/include
-- vendor/rust/include/rust_conversions.hh
-- vendor/rust/include/rust_checks.hh
 - vendor/rust/bin
 - vendor/rust/bin/cxxgenerator.rb
+- vendor/rust/README
 - vendor/rust/rust
+- vendor/rust/rust/cwrapper.rb
+- vendor/rust/rust/bindings.rb
+- vendor/rust/rust/element.rb
+- vendor/rust/rust/cxxclass.rb
+- vendor/rust/rust/type.rb
+- vendor/rust/rust/class.rb
+- vendor/rust/rust/container.rb
 - vendor/rust/rust/templates
+- vendor/rust/rust/templates/ModuleDeclarations.rusttpl
+- vendor/rust/rust/templates/EnumDeclarations.rusttpl
+- vendor/rust/rust/templates/BindingsUnit.rusttpl
+- vendor/rust/rust/templates/ConstructorStub.rusttpl
+- vendor/rust/rust/templates/EnumDefinitions.rusttpl
 - vendor/rust/rust/templates/FunctionInitBinding.rusttpl
 - vendor/rust/rust/templates/CWrapperClassDefinitions.rusttpl
-- vendor/rust/rust/templates/BindingsHeader.rusttpl
-- vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
-- vendor/rust/rust/templates/AttributeDefinition.rusttpl
-- vendor/rust/rust/templates/ModuleDeclarations.rusttpl
-- vendor/rust/rust/templates/ModuleDefinitions.rusttpl
-- vendor/rust/rust/templates/AttributeInitBinding.rusttpl
 - vendor/rust/rust/templates/FunctionInitAlias.rusttpl
-- vendor/rust/rust/templates/ConstructorStub.rusttpl
-- vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
 - vendor/rust/rust/templates/ClassInitialize.rusttpl
-- vendor/rust/rust/templates/VariableFunctionCall.rusttpl
-- vendor/rust/rust/templates/EnumDeclarations.rusttpl
-- vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
-- vendor/rust/rust/templates/BindingsUnit.rusttpl
-- vendor/rust/rust/templates/FunctionDefinition.rusttpl
 - vendor/rust/rust/templates/ClassDeclarations.rusttpl
-- vendor/rust/rust/templates/MethodInitBinding.rusttpl
-- vendor/rust/rust/templates/EnumDefinitions.rusttpl
+- vendor/rust/rust/templates/CxxStandaloneClassDefinitions.rusttpl
 - vendor/rust/rust/templates/CxxMethodStub.rusttpl
-- vendor/rust/rust/bindings.rb
-- vendor/rust/rust/type.rb
-- vendor/rust/rust/container.rb
-- vendor/rust/rust/attribute.rb
-- vendor/rust/rust/cwrapper.rb
-- vendor/rust/rust/enum.rb
-- vendor/rust/rust/class.rb
-- vendor/rust/rust/function.rb
+- vendor/rust/rust/templates/MethodInitBinding.rusttpl
+- vendor/rust/rust/templates/ModuleDefinitions.rusttpl
+- vendor/rust/rust/templates/VariableFunctionCall.rusttpl
+- vendor/rust/rust/templates/AttributeInitBinding.rusttpl
+- vendor/rust/rust/templates/BindingsHeader.rusttpl
+- vendor/rust/rust/templates/StandaloneClassDeclarations.rusttpl
+- vendor/rust/rust/templates/FunctionDefinition.rusttpl
+- vendor/rust/rust/templates/AttributeDefinition.rusttpl
+- vendor/rust/rust/templates/CxxClassDefinitions.rusttpl
 - vendor/rust/rust/cppifaceparser.rb
-- vendor/rust/rust/cxxclass.rb
-- vendor/rust/rust/element.rb
 - vendor/rust/rust/constants.rb
+- vendor/rust/rust/attribute.rb
 - vendor/rust/rust/namespace.rb
+- vendor/rust/rust/enum.rb
+- vendor/rust/rust/function.rb
+- vendor/rust/test
+- vendor/rust/test/cppclass.rb
+- vendor/rust/test/cwrapper.h
+- vendor/rust/test/test-constants.rb
+- vendor/rust/test/cwrapper.rb
+- vendor/rust/test/operators.hh
+- vendor/rust/test/cppclass.cc
+- vendor/rust/test/Makefile
+- vendor/rust/test/test-cppclass.rb
+- vendor/rust/test/operators.rb
+- vendor/rust/test/cppclass.hh
+- vendor/rust/test/dummyclass.hh
+- vendor/rust/test/operators.cc
+- vendor/rust/test/constants.rb
+- vendor/rust/test/test-cwrapper.rb
+- vendor/rust/test/cwrapper.c
+- vendor/rust/test/lib
+- vendor/rust/test/lib/extension-test.rb
+- vendor/rust/test/test-operators.rb
+- vendor/rust/include
+- vendor/rust/include/rust_checks.hh
+- vendor/rust/include/rust_conversions.hh
 - vendor/rust/rust.rb
-- vendor/rust/README
-- tasks/all_tasks.rb
-- tasks/distribution.rake
 - tasks/website.rake
+- tasks/specs.rake
 - tasks/svn.rake
 - tasks/rcov.rake
-- tasks/specs.rake
+- tasks/all_tasks.rb
 - tasks/dependencies.txt
+- tasks/distribution.rake
+- specs/logging.rb
+- specs/branch.rb
+- specs/enum_matrix.rb
+- specs/search.rb
+- specs/bool_var.rb
+- specs/distribution.rb
+- specs/spec_helper.rb
+- specs/int_var.rb
+- specs/enum_wrapper.rb
+- specs/model.rb
+- specs/set_var.rb
 - specs/constraints
-- specs/constraints/boolean.rb
 - specs/constraints/channel.rb
-- specs/constraints/int_domain.rb
+- specs/constraints/bool_enum_relation.rb
 - specs/constraints/distinct.rb
+- specs/constraints/set_operation.rb
+- specs/constraints/element.rb
 - specs/constraints/set_domain.rb
-- specs/constraints/constraint_helper.rb
-- specs/constraints/selection.rb
-- specs/constraints/int_relation.rb
-- specs/constraints/sort.rb
+- specs/constraints/arithmetic.rb
+- specs/constraints/constraints.rb
 - specs/constraints/count.rb
+- specs/constraints/cardinality.rb
 - specs/constraints/set_relation.rb
-- specs/constraints/element.rb
-- specs/constraints/arithmetic.rb
-- specs/constraints/reification_sugar.rb
+- specs/constraints/extensional.rb
 - specs/constraints/equality.rb
+- specs/constraints/boolean.rb
+- specs/constraints/int_relation.rb
+- specs/constraints/sort.rb
+- specs/constraints/constraint_helper.rb
+- specs/constraints/int_domain.rb
+- specs/constraints/reification_sugar.rb
+- specs/constraints/selection.rb
 - specs/constraints/connection.rb
-- specs/constraints/cardinality.rb
-- specs/constraints/constraints.rb
 - specs/constraints/linear.rb
-- specs/constraints/set_operation.rb
-- specs/constraints/extensional.rb
-- specs/constraints/bool_enum_relation.rb
-- specs/branch.rb
-- specs/model.rb
-- specs/binding_changes.rb
-- specs/int_var.rb
-- specs/bool_var.rb
-- specs/set_var.rb
-- specs/enum_wrapper.rb
-- specs/search.rb
-- specs/logging.rb
-- specs/enum_matrix.rb
-- specs/spec_helper.rb
-- specs/distribution.rb
 - specs/examples.rb
+- vendor/gecode/win32/lib/libgecodeset.dll
 - vendor/gecode/win32/lib/libgecodeint.dll
+- vendor/gecode/win32/lib/libgecodesupport.dll
 - vendor/gecode/win32/lib/libgecodekernel.dll
-- vendor/gecode/win32/lib/libgecodeminimodel.dll
 - vendor/gecode/win32/lib/libgecodesearch.dll
-- vendor/gecode/win32/lib/libgecodeset.dll
-- vendor/gecode/win32/lib/libgecodesupport.dll
+- vendor/gecode/win32/lib/libgecodeminimodel.dll
 - lib/gecode.dll
 test_files: 
-- specs/constraints/boolean.rb
+- specs/logging.rb
+- specs/branch.rb
+- specs/enum_matrix.rb
+- specs/search.rb
+- specs/bool_var.rb
+- specs/distribution.rb
+- specs/spec_helper.rb
+- specs/int_var.rb
+- specs/enum_wrapper.rb
+- specs/model.rb
+- specs/set_var.rb
 - specs/constraints/channel.rb
-- specs/constraints/int_domain.rb
+- specs/constraints/bool_enum_relation.rb
 - specs/constraints/distinct.rb
+- specs/constraints/set_operation.rb
+- specs/constraints/element.rb
 - specs/constraints/set_domain.rb
-- specs/constraints/constraint_helper.rb
-- specs/constraints/selection.rb
-- specs/constraints/int_relation.rb
-- specs/constraints/sort.rb
+- specs/constraints/arithmetic.rb
+- specs/constraints/constraints.rb
 - specs/constraints/count.rb
+- specs/constraints/cardinality.rb
 - specs/constraints/set_relation.rb
-- specs/constraints/element.rb
-- specs/constraints/arithmetic.rb
-- specs/constraints/reification_sugar.rb
+- specs/constraints/extensional.rb
 - specs/constraints/equality.rb
+- specs/constraints/boolean.rb
+- specs/constraints/int_relation.rb
+- specs/constraints/sort.rb
+- specs/constraints/constraint_helper.rb
+- specs/constraints/int_domain.rb
+- specs/constraints/reification_sugar.rb
+- specs/constraints/selection.rb
 - specs/constraints/connection.rb
-- specs/constraints/cardinality.rb
-- specs/constraints/constraints.rb
 - specs/constraints/linear.rb
-- specs/constraints/set_operation.rb
-- specs/constraints/extensional.rb
-- specs/constraints/bool_enum_relation.rb
-- specs/branch.rb
-- specs/model.rb
-- specs/binding_changes.rb
-- specs/int_var.rb
-- specs/bool_var.rb
-- specs/set_var.rb
-- specs/enum_wrapper.rb
-- specs/search.rb
-- specs/logging.rb
-- specs/enum_matrix.rb
-- specs/spec_helper.rb
-- specs/distribution.rb
 - specs/examples.rb
 rdoc_options: 
 - --title
@@ -251,53 +250,55 @@ extra_rdoc_files:
 - README
 - CHANGES
 - LGPL-LICENSE
-- lib/gecoder/interface/constraints/bool_enum/channel.rb
-- lib/gecoder/interface/constraints/bool_enum/extensional.rb
-- lib/gecoder/interface/constraints/bool_enum/relation.rb
-- lib/gecoder/interface/constraints/set_enum/operation.rb
-- lib/gecoder/interface/constraints/set_enum/distinct.rb
-- lib/gecoder/interface/constraints/set_enum/selection.rb
-- lib/gecoder/interface/constraints/set_enum/channel.rb
-- lib/gecoder/interface/constraints/int/domain.rb
+- lib/gecoder.rb
+- lib/gecoder/bindings.rb
+- lib/gecoder/interface/branch.rb
+- lib/gecoder/interface/enum_matrix.rb
+- lib/gecoder/interface/search.rb
+- lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/variables.rb
+- lib/gecoder/interface/enum_wrapper.rb
+- lib/gecoder/interface/model.rb
+- lib/gecoder/interface/constraints/set_var_constraints.rb
+- lib/gecoder/interface/constraints/extensional_regexp.rb
+- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/set/channel.rb
+- lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/operation.rb
+- lib/gecoder/interface/constraints/set/connection.rb
+- lib/gecoder/interface/constraints/set/domain.rb
+- lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/int/channel.rb
 - lib/gecoder/interface/constraints/int/arithmetic.rb
 - lib/gecoder/interface/constraints/int/linear.rb
-- lib/gecoder/interface/constraints/int/channel.rb
+- lib/gecoder/interface/constraints/int/domain.rb
+- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool/channel.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
 - lib/gecoder/interface/constraints/bool/linear.rb
-- lib/gecoder/interface/constraints/bool/channel.rb
-- lib/gecoder/interface/constraints/set/relation.rb
-- lib/gecoder/interface/constraints/set/connection.rb
-- lib/gecoder/interface/constraints/set/operation.rb
-- lib/gecoder/interface/constraints/set/cardinality.rb
-- lib/gecoder/interface/constraints/set/domain.rb
-- lib/gecoder/interface/constraints/int_enum/equality.rb
-- lib/gecoder/interface/constraints/int_enum/distinct.rb
-- lib/gecoder/interface/constraints/int_enum/sort.rb
 - lib/gecoder/interface/constraints/int_enum/channel.rb
-- lib/gecoder/interface/constraints/int_enum/count.rb
-- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
+- lib/gecoder/interface/constraints/int_enum/distinct.rb
 - lib/gecoder/interface/constraints/int_enum/element.rb
+- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
+- lib/gecoder/interface/constraints/int_enum/count.rb
 - lib/gecoder/interface/constraints/int_enum/extensional.rb
-- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/int_enum/equality.rb
+- lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/bool_var_constraints.rb
 - lib/gecoder/interface/constraints/bool_enum_constraints.rb
-- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool_enum/channel.rb
+- lib/gecoder/interface/constraints/bool_enum/extensional.rb
+- lib/gecoder/interface/constraints/bool_enum/relation.rb
 - lib/gecoder/interface/constraints/int_var_constraints.rb
 - lib/gecoder/interface/constraints/reifiable_constraints.rb
-- lib/gecoder/interface/constraints/bool_var_constraints.rb
-- lib/gecoder/interface/constraints/set_var_constraints.rb
-- lib/gecoder/interface/branch.rb
-- lib/gecoder/interface/model.rb
+- lib/gecoder/interface/constraints/set_enum/channel.rb
+- lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/operation.rb
+- lib/gecoder/interface/constraints/set_enum/selection.rb
 - lib/gecoder/interface/binding_changes.rb
-- lib/gecoder/interface/enum_wrapper.rb
-- lib/gecoder/interface/search.rb
-- lib/gecoder/interface/constraints.rb
-- lib/gecoder/interface/enum_matrix.rb
-- lib/gecoder/interface/variables.rb
-- lib/gecoder/bindings/bindings.rb
-- lib/gecoder/bindings.rb
-- lib/gecoder/interface.rb
 - lib/gecoder/version.rb
-- lib/gecoder.rb
+- lib/gecoder/interface.rb
+- lib/gecoder/bindings/bindings.rb
 executables: []
 
 extensions: []