Contents

module Gecode::Constraints::Int
  class Expression
    # Creates a domain constraint using the specified domain.
    def in(domain, options = {})
      @params.update(Gecode::Constraints::Util.decode_options(options))
      @params[:domain] = domain
      if domain.kind_of? Range
        @model.add_constraint Domain::RangeDomainConstraint.new(@model, @params)
      elsif domain.kind_of?(Enumerable) and domain.all?{ |e| e.kind_of? Fixnum }
        @model.add_constraint Domain::EnumDomainConstraint.new(@model, 
          @params)
      else
        raise TypeError, "Expected integer enumerable, got #{domain.class}."
      end
    end
  end
  
  # A module that gathers the classes and modules used in domain constraints.
  module Domain
    # Describes a range domain constraint.
    class RangeDomainConstraint < Gecode::Constraints::ReifiableConstraint
      def post
        var, domain, reif_var, strength = @params.values_at(:lhs, :domain, 
          :reif, :strength)
        (params = []) << var.bind
        params << domain.first << domain.last
        params << reif_var.bind if reif_var.respond_to? :bind
        params << strength
        Gecode::Raw::dom(@model.active_space, *params)
      end
      negate_using_reification
    end
    
    # Describes a enum domain constraint.
    class EnumDomainConstraint < Gecode::Constraints::ReifiableConstraint
      def post
        space = @model.active_space
      
        var, domain, reif_var, strength = @params.values_at(:lhs, :domain, 
          :reif, :strength)
        
        (params = []) << var.bind
        params << Gecode::Constraints::Util.constant_set_to_int_set(domain)
        params << reif_var.bind if reif_var.respond_to? :bind
        params << strength
        Gecode::Raw::dom(space, *params)
      end
      negate_using_reification
    end
  end
end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
gecoder-0.7.0	lib/gecoder/interface/constraints/int/domain.rb