gecoder-with-gecode 0.8.3 → 0.9.0

metadata

@@ -1,33 +1,88 @@
 --- !ruby/object:Gem::Specification 
-rubygems_version: 0.9.4
-specification_version: 1
 name: gecoder-with-gecode
 version: !ruby/object:Gem::Version 
-  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
-email: gecoder-users@rubyforge.org
-homepage: http://gecoder.rubyforge.org
-rubyforge_project: gecoder
-description: Gecode/R is a Ruby interface to the Gecode constraint programming library.  Gecode/R is intended for people with no previous experience of constraint  programming, aiming to be easy to pick up and use.
-autorequire: gecoder
-default_executable: 
-bindir: bin
-has_rdoc: true
-required_ruby_version: !ruby/object:Gem::Version::Requirement 
-  requirements: 
-  - - ">"
-    - !ruby/object:Gem::Version 
-      version: 0.0.0
-  version: 
+  version: 0.9.0
 platform: ruby
-signing_key: 
-cert_chain: 
-post_install_message: 
 authors: 
-- - Gecode/R Development Team
+- Gecode/R Development Team
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2008-08-18 00:00:00 +02:00
+default_executable: 
+dependencies: []
+
+description: Gecode/R is a Ruby interface to the Gecode constraint programming library.  Gecode/R is intended for people with no previous experience of constraint  programming, aiming to be easy to pick up and use.
+email: gecoder-users@rubyforge.org
+executables: []
+
+extensions: 
+- ext/gecode-2.1.1/configure
+- ext/extconf.rb
+extra_rdoc_files: 
+- README
+- CHANGES
+- LGPL-LICENSE
+- lib/gecoder.rb
+- lib/gecoder/bindings.rb
+- lib/gecoder/interface/branch.rb
+- lib/gecoder/interface/enum_matrix.rb
+- lib/gecoder/interface/model_sugar.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/selected_set_constraints.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/include.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/set_elements/relation.rb
+- lib/gecoder/interface/constraints/fixnum_enum_constraints.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/domain.rb
+- lib/gecoder/interface/constraints/int/relation.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/int_enum/channel.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/equality.rb
+- lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/set_elements_constraints.rb
+- lib/gecoder/interface/constraints/bool_var_constraints.rb
+- lib/gecoder/interface/constraints/bool_enum_constraints.rb
+- lib/gecoder/interface/constraints/selected_set/select.rb
+- lib/gecoder/interface/constraints/fixnum_enum/element.rb
+- lib/gecoder/interface/constraints/fixnum_enum/operation.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/set_enum/channel.rb
+- lib/gecoder/interface/constraints/set_enum/select.rb
+- lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/operation.rb
+- lib/gecoder/interface/binding_changes.rb
+- lib/gecoder/version.rb
+- lib/gecoder/interface.rb
+- lib/gecoder/bindings/bindings.rb
 files: 
 - README
 - LGPL-LICENSE
@@ -38,6 +93,7 @@ files:
 - lib/gecoder/bindings.rb
 - lib/gecoder/interface/branch.rb
 - lib/gecoder/interface/enum_matrix.rb
+- lib/gecoder/interface/model_sugar.rb
 - lib/gecoder/interface/search.rb
 - lib/gecoder/interface/constraints.rb
 - lib/gecoder/interface/variables.rb
@@ -45,17 +101,22 @@ files:
 - lib/gecoder/interface/model.rb
 - lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/extensional_regexp.rb
+- lib/gecoder/interface/constraints/selected_set_constraints.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/include.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/set_elements/relation.rb
+- lib/gecoder/interface/constraints/fixnum_enum_constraints.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/domain.rb
+- lib/gecoder/interface/constraints/int/relation.rb
 - lib/gecoder/interface/constraints/set_enum_constraints.rb
 - lib/gecoder/interface/constraints/bool/channel.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
@@ -68,22 +129,27 @@ files:
 - lib/gecoder/interface/constraints/int_enum/extensional.rb
 - lib/gecoder/interface/constraints/int_enum/equality.rb
 - lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/set_elements_constraints.rb
 - lib/gecoder/interface/constraints/bool_var_constraints.rb
 - lib/gecoder/interface/constraints/bool_enum_constraints.rb
+- lib/gecoder/interface/constraints/selected_set/select.rb
+- lib/gecoder/interface/constraints/fixnum_enum/element.rb
+- lib/gecoder/interface/constraints/fixnum_enum/operation.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/set_enum/channel.rb
+- lib/gecoder/interface/constraints/set_enum/select.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/version.rb
 - lib/gecoder/interface.rb
 - lib/gecoder/bindings/bindings.rb
 - example/queens.rb
+- example/equation_system.rb
 - example/send_most_money.rb
 - example/magic_sequence.rb
 - example/send_more_money.rb
@@ -91,6 +157,7 @@ files:
 - example/sudoku.rb
 - example/square_tiling.rb
 - example/example_helper.rb
+- example/money.rb
 - vendor/rust/bin
 - vendor/rust/bin/cxxgenerator.rb
 - vendor/rust/README
@@ -163,37 +230,70 @@ files:
 - specs/logging.rb
 - specs/branch.rb
 - specs/enum_matrix.rb
+- specs/model_sugar.rb
 - specs/search.rb
 - specs/bool_var.rb
+- specs/set_elements.rb
 - specs/distribution.rb
 - specs/spec_helper.rb
 - specs/int_var.rb
 - specs/enum_wrapper.rb
 - specs/model.rb
 - specs/set_var.rb
+- specs/selected_set.rb
 - specs/constraints
-- specs/constraints/channel.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/arithmetic.rb
+- specs/constraints/property_helper.rb
+- specs/constraints/set
+- specs/constraints/set/channel.rb
+- specs/constraints/set/cardinality_properties.rb
+- specs/constraints/set/cardinality.rb
+- specs/constraints/set/include.rb
+- specs/constraints/set/operation.rb
+- specs/constraints/set/connection.rb
+- specs/constraints/set/domain.rb
+- specs/constraints/set/relation.rb
+- specs/constraints/set_elements
+- specs/constraints/set_elements/relation.rb
+- specs/constraints/int
+- specs/constraints/int/channel.rb
+- specs/constraints/int/arithmetic.rb
+- specs/constraints/int/linear_properties.rb
+- specs/constraints/int/linear.rb
+- specs/constraints/int/domain.rb
+- specs/constraints/int/relation.rb
 - specs/constraints/constraints.rb
-- specs/constraints/count.rb
-- specs/constraints/cardinality.rb
-- specs/constraints/set_relation.rb
-- specs/constraints/extensional.rb
-- specs/constraints/equality.rb
-- specs/constraints/boolean.rb
-- specs/constraints/int_relation.rb
-- specs/constraints/sort.rb
+- specs/constraints/bool
+- specs/constraints/bool/boolean_properties.rb
+- specs/constraints/bool/boolean.rb
+- specs/constraints/bool/linear.rb
+- specs/constraints/int_enum
+- specs/constraints/int_enum/channel.rb
+- specs/constraints/int_enum/distinct.rb
+- specs/constraints/int_enum/element.rb
+- specs/constraints/int_enum/arithmetic.rb
+- specs/constraints/int_enum/count.rb
+- specs/constraints/int_enum/extensional.rb
+- specs/constraints/int_enum/equality.rb
+- specs/constraints/int_enum/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/linear.rb
+- specs/constraints/selected_set
+- specs/constraints/selected_set/select.rb
+- specs/constraints/selected_set/select_properties.rb
+- specs/constraints/constraint_receivers.rb
+- specs/constraints/fixnum_enum
+- specs/constraints/fixnum_enum/element.rb
+- specs/constraints/fixnum_enum/operation.rb
+- specs/constraints/bool_enum
+- specs/constraints/bool_enum/channel.rb
+- specs/constraints/bool_enum/bool_enum_relation.rb
+- specs/constraints/bool_enum/extensional.rb
+- specs/constraints/operands.rb
+- specs/constraints/set_enum
+- specs/constraints/set_enum/channel.rb
+- specs/constraints/set_enum/select.rb
+- specs/constraints/set_enum/distinct.rb
+- specs/constraints/set_enum/operation.rb
 - specs/examples.rb
 - ext/gecoder.cpp
 - ext/vararray.cpp
@@ -790,109 +890,93 @@ files:
 - ext/gecode-2.1.1/configure.ac.in
 - ext/gecode-2.1.1/configure.ac
 - ext/gecode-2.1.1/changelog.in
+has_rdoc: true
+homepage: http://gecoder.rubyforge.org
+post_install_message: 
+rdoc_options: 
+- --line-numbers
+- --inline-source
+- --accessor
+- delegate
+- --main
+- README
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+requirements: []
+
+rubyforge_project: gecoder
+rubygems_version: 1.2.0
+signing_key: 
+specification_version: 2
+summary: Ruby interface to Gecode, an environment for constraint programming.
 test_files: 
 - specs/logging.rb
 - specs/branch.rb
 - specs/enum_matrix.rb
+- specs/model_sugar.rb
 - specs/search.rb
 - specs/bool_var.rb
+- specs/set_elements.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/bool_enum_relation.rb
-- specs/constraints/distinct.rb
-- specs/constraints/set_operation.rb
-- specs/constraints/element.rb
-- specs/constraints/set_domain.rb
-- specs/constraints/arithmetic.rb
+- specs/selected_set.rb
+- specs/constraints/property_helper.rb
+- specs/constraints/set/channel.rb
+- specs/constraints/set/cardinality_properties.rb
+- specs/constraints/set/cardinality.rb
+- specs/constraints/set/include.rb
+- specs/constraints/set/operation.rb
+- specs/constraints/set/connection.rb
+- specs/constraints/set/domain.rb
+- specs/constraints/set/relation.rb
+- specs/constraints/set_elements/relation.rb
+- specs/constraints/int/channel.rb
+- specs/constraints/int/arithmetic.rb
+- specs/constraints/int/linear_properties.rb
+- specs/constraints/int/linear.rb
+- specs/constraints/int/domain.rb
+- specs/constraints/int/relation.rb
 - specs/constraints/constraints.rb
-- specs/constraints/count.rb
-- specs/constraints/cardinality.rb
-- specs/constraints/set_relation.rb
-- specs/constraints/extensional.rb
-- specs/constraints/equality.rb
-- specs/constraints/boolean.rb
-- specs/constraints/int_relation.rb
-- specs/constraints/sort.rb
+- specs/constraints/bool/boolean_properties.rb
+- specs/constraints/bool/boolean.rb
+- specs/constraints/bool/linear.rb
+- specs/constraints/int_enum/channel.rb
+- specs/constraints/int_enum/distinct.rb
+- specs/constraints/int_enum/element.rb
+- specs/constraints/int_enum/arithmetic.rb
+- specs/constraints/int_enum/count.rb
+- specs/constraints/int_enum/extensional.rb
+- specs/constraints/int_enum/equality.rb
+- specs/constraints/int_enum/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/linear.rb
+- specs/constraints/selected_set/select.rb
+- specs/constraints/selected_set/select_properties.rb
+- specs/constraints/constraint_receivers.rb
+- specs/constraints/fixnum_enum/element.rb
+- specs/constraints/fixnum_enum/operation.rb
+- specs/constraints/bool_enum/channel.rb
+- specs/constraints/bool_enum/bool_enum_relation.rb
+- specs/constraints/bool_enum/extensional.rb
+- specs/constraints/operands.rb
+- specs/constraints/set_enum/channel.rb
+- specs/constraints/set_enum/select.rb
+- specs/constraints/set_enum/distinct.rb
+- specs/constraints/set_enum/operation.rb
 - specs/examples.rb
-rdoc_options: 
-- --title
-- Gecode/R
-- --line-numbers
-- --inline-source
-- --accessor
-- delegate
-- --main
-- README
-extra_rdoc_files: 
-- README
-- CHANGES
-- LGPL-LICENSE
-- 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/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/int_enum/channel.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/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/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/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/version.rb
-- lib/gecoder/interface.rb
-- lib/gecoder/bindings/bindings.rb
-executables: []
-
-extensions: 
-- ext/gecode-2.1.1/configure
-- ext/extconf.rb
-requirements: []
-
-dependencies: []
-

data/lib/gecoder/interface/constraints/set_enum/selection.rb

@@ -1,217 +0,0 @@
-module Gecode::SetEnumMethods
-  # This adds the adder for the methods in the modules including it. The 
-  # reason for doing it so indirect is that the first #[] won't be defined 
-  # before the module that this is mixed into is mixed into an enum.
-  def self.included(mod) #:nodoc:
-    mod.module_eval do
-      # Now we enter the module that the module possibly defining #[] 
-      # is mixed into.
-      if instance_methods.include?('[]') and 
-          not instance_methods.include?('pre_selection_access')
-        alias_method :pre_selection_access, :[]
-      end
-    
-      def [](*vars)
-        # Hook in an element constraint if a variable is used for array 
-        # access.
-        if vars.first.kind_of? Gecode::FreeIntVar
-          params = {:lhs => self, :index => vars.first}
-          Gecode::Constraints::SetEnum::Selection::SelectExpressionStub.new(
-            @model, params)
-        elsif vars.first.kind_of? Gecode::FreeSetVar
-          params = {:lhs => self, :indices => vars.first}
-          Gecode::Constraints::SetEnum::Selection::SetAccessStub.new(
-            @model, params)
-        else
-          pre_selection_access(*vars) if respond_to? :pre_selection_access
-        end
-      end
-    end
-  end
-end
-
-# A module that gathers the classes and modules used by selection constraints.
-module Gecode::Constraints::SetEnum::Selection #:nodoc:
-  # Describes an expression stub started with a set var enum followed with an
-  # array access using a set variable.
-  class SetAccessStub < Gecode::Constraints::ExpressionStub #:nodoc:
-    include Gecode::Constraints::LeftHandSideMethods
-    
-    # Starts a union selection constraint on the selected sets.
-    def union
-      UnionExpressionStub.new(@model, @params)
-    end
-    
-    # Starts a intersection selection constraint on the selected sets. The 
-    # option :with may optionally be specified, in which case the value should
-    # be an enumeration of the elements in the universe.
-    def intersection(options = {})
-      unless options.empty? 
-        unless options.size == 1 and options.has_key?(:with)
-          raise ArgumentError, "Expected option key :with, got #{options.keys}."
-        else
-          universe = options[:with]
-          unless universe.kind_of?(Enumerable) and 
-              universe.all?{ |element| element.kind_of? Fixnum }
-            raise TypeError, "Expected the universe to be specified as " + 
-              "an enumeration of fixnum, got #{universe.class}."
-          end
-          @params.update(:universe => universe)
-        end
-      end
-      
-      IntersectionExpressionStub.new(@model, @params)
-    end
-    
-    private
-    
-    # Produces an expression with position for the lhs module.
-    def expression(params)
-      SetAccessExpression.new(@model, @params.update(params))
-    end
-  end
-  
-  # Describes an expression that starts with an set variable enum followed with
-  # an array access using a set variable followed by some form of must.
-  class SetAccessExpression < Gecode::Constraints::Set::Expression #:nodoc:
-    # Constrains the selected sets to be disjoint.
-    def disjoint
-      if @params[:negate]
-        raise Gecode::MissingConstraintError, 'A negated set selection ' + 
-          'disjoint is not implemented.'
-      end
-      
-      @model.add_constraint DisjointConstraint.new(@model, @params)
-    end
-  end
-
-  # Describes a CompositeStub for the set select constraint, which constrains 
-  # the set in a position specified by an integer variable in an enumeration of 
-  # set variable.
-  # 
-  # == Examples
-  # 
-  #   # The set at the position described by the integer variable 
-  #   # +singleton_zero_position+ in the enumeration +sets+ of set variables 
-  #   # must equal [0].
-  #   sets[singleton_zero_position].must == 0
-  #   
-  #   # The set at the position described by the integer variable +position+ in 
-  #   # the enumeration +sets+ of set variables must be a subset of +set+.
-  #   sets[position].must_be.subset_of set
-  #   
-  #   # The same as above, but reified with the boolean variable +bool+.
-  #   sets[position].must_be.subset_of(set, :reify => bool)
-  class SelectExpressionStub < Gecode::Constraints::Set::CompositeStub
-    def constrain_equal(variable, params, constrain)
-      enum, index = @params.values_at(:lhs, :index)
-      if constrain
-        variable.must_be.subset_of enum.upper_bound_range
-      end
-
-      Gecode::Raw::selectSet(@model.active_space, enum.to_set_var_array, 
-        index.bind, variable.bind)
-    end
-  end
-  
-  # Describes a CompositeStub for the set union selection constraint, 
-  # which constrains the union of sets located at the positions 
-  # specified by a set variable in an enumeration of set variables.
-  # 
-  # == Examples
-  # 
-  #   # The sets in the enumeration set variable +sets+ located at the positions
-  #   # described by the set variable +selected_sets+ must have a union that's
-  #   # a superset of [0,4,17]. 
-  #   sets[selected_sets].union.must_be.superset_of [0,4,17]
-  #   
-  #   # The sets in the enumeration set variable +sets+ located at the positions
-  #   # described by the set variable +selected_sets+ must have a union that's
-  #   # disjoint with the set variable +set+.
-  #   sets[selected_sets].union.must_be.disjoint_with set
-  #   
-  #   # The same as above but reified with the boolean variable 
-  #   # +union_is_disjoint+.
-  #   sets[selected_sets].union.must_be.disjoint_with(set, 
-  #     :reify => union_is_disjoin)
-  class UnionExpressionStub < Gecode::Constraints::Set::CompositeStub
-    def constrain_equal(variable, params, constrain)
-      enum, indices = @params.values_at(:lhs, :indices)
-      if constrain
-        variable.must_be.subset_of enum.upper_bound_range
-      end
-      
-      Gecode::Raw::selectUnion(@model.active_space, enum.to_set_var_array,
-        indices.bind, variable.bind)
-    end
-  end
-  
-  # Describes a CompositeStub for the set intersection selection constraint, 
-  # which constrains the intersection of sets located at the positions 
-  # specified by a set variable in an enumeration of set variables.
-  # 
-  # Optionally a universe may also be specified.
-  # 
-  # == Examples
-  # 
-  #   # The sets in the enumeration set variable +sets+ located at the positions
-  #   # described by the set variable +selected_sets+ must have an intersection 
-  #   # that's a superset of [0,4,17]. 
-  #   sets[selected_sets].intersection.must_be.superset_of [0,4,17]
-  #   
-  #   # The sets in the enumeration set variable +sets+ located at the positions
-  #   # described by the set variable +selected_sets+ must have an intersection
-  #   # that's disjoint with the set variable +set+.
-  #   sets[selected_sets].intersection.must_be.disjoint_with set
-  #   
-  #   # The sets in the enumeration set variable +sets+ located at the positions
-  #   # described by the set variable +selected_sets+ must have an intersection
-  #   # that's disjoint with the set variable +set+ inside the universe 0..17.
-  #   sets[selected_sets].intersection(:with => 0..17).must_be.disjoint_with set
-  #   
-  #   # The sets in the enumeration set variable +sets+ located at the positions
-  #   # described by the set variable +selected_sets+ must have an intersection
-  #   # that's disjoint with the set variable +set+ inside the universe 
-  #   # described by the set variable +universe+.
-  #   sets[selected_sets].intersection(:with => universe).must_be.disjoint_with set
-  #   
-  #   
-  #   # The same as above but reified with the boolean variable 
-  #   # +intersection_is_disjoint+.
-  #   sets[selected_sets].intersection(:with => universe).must_be.disjoint_with(
-  #     set, :reifty => intersection_is_disjoin)
-  class IntersectionExpressionStub < Gecode::Constraints::Set::CompositeStub
-    def constrain_equal(variable, params, constrain)
-      enum, indices, universe = @params.values_at(:lhs, :indices, :universe)
-      # We can't do any useful constraining here since the empty intersection
-      # is the universe.
-      
-      if universe.nil?
-        Gecode::Raw::selectInter(@model.active_space, enum.to_set_var_array,
-          indices.bind, variable.bind)
-      else
-        Gecode::Raw::selectInterIn(@model.active_space, enum.to_set_var_array,
-          indices.bind, variable.bind, 
-          Gecode::Constraints::Util.constant_set_to_int_set(universe))
-      end
-    end
-  end
-  
-  # Describes a disjoint constraint, which constrains all set variable is an
-  # enumeration, at the position specified by a set variable, to be disjoint.
-  # 
-  # Does not support negation nor reification.
-  # 
-  # == Examples
-  # 
-  #   # The set variable located in the enumeration +sets+ at positions 
-  #   # described by +disjoint_set_positions+ must be disjoint.
-  #   sets[disjoint_set_positions].must_be.disjoint 
-  class DisjointConstraint < Gecode::Constraints::Constraint
-    def post
-      enum, indices = @params.values_at(:lhs, :indices)
-      Gecode::Raw.selectDisjoint(@model.active_space, enum.to_set_var_array,
-        indices.bind)
-    end
-  end
-end