class Gecode::FixnumEnum::Element::ElementIntOperand

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/fixnum_enum/element.rb, line 52
def constrain_equal(int_operand, constrain, propagation_options)
  if constrain
    int_operand.must_be.in @enum
  end

  Gecode::Raw::element(@model.active_space, @enum, 
    @position.to_int_var.bind, int_operand.to_int_var.bind, 
    *propagation_options)
end

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/fixnum_enum/element.rb, line 46
def initialize(enum_op, position_int_var_op, model)
  super model
  @enum = enum_op
  @position = position_int_var_op
end