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
Calls superclass method
Gecode::Int::ShortCircuitEqualityOperand.new
# 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