class Gecode::IntEnum::Distinct::DistinctConstraint
Public Instance Methods
post()
click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/int_enum/distinct.rb, line 52 def post # Bind lhs. @params[:lhs] = @params[:lhs].to_int_enum.bind_array # Fetch the parameters to Gecode. params = @params.values_at(:offsets, :lhs) params.delete_if{ |x| x.nil? } params.concat propagation_options Gecode::Raw::distinct(@model.active_space, *params) end