class Gecode::SetEnum::Element::ElementSetOperand
Public Instance Methods
constrain_equal(set_operand, constrain, propagation_options)
click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/set_enum/element.rb, line 68 def constrain_equal(set_operand, constrain, propagation_options) enum = @enum.to_set_enum if constrain set_operand.must_be.subset_of enum.upper_bound_range end Gecode::Raw::element(@model.active_space, enum.bind_array, @position.to_int_var.bind, set_operand.to_set_var.bind) end
Public Class Methods
new(model, enum_op, position_int_op)
click to toggle source
Calls superclass method
Gecode::Set::ShortCircuitEqualityOperand.new
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/set_enum/element.rb, line 62 def initialize(model, enum_op, position_int_op) super model @enum = enum_op @position = position_int_op end