class Gecode::IntEnum::Arithmetic::IntEnumMinOperand

Public Instance Methods

constrain_equal(int_operand, constrain, propagation_options) click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/int_enum/arithmetic.rb, line 52
def constrain_equal(int_operand, constrain, propagation_options)
  enum = @int_enum.to_int_enum
  if constrain
    int_operand.must_be.in enum.domain_range
  end
  
  Gecode::Raw::min(@model.active_space, enum.bind_array, 
    int_operand.to_int_var.bind, *propagation_options)
end

Public Class Methods

new(model, int_enum) click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/int_enum/arithmetic.rb, line 47
def initialize(model, int_enum)
  super model
  @int_enum = int_enum
end