Class: Gecode::IntEnum::Distinct::DistinctConstraint
- Inherits:
-
Constraint
- Object
- Constraint
- Gecode::IntEnum::Distinct::DistinctConstraint
- Defined in:
- lib/gecoder/interface/constraints/int_enum/distinct.rb
Overview
:nodoc:
Instance Method Summary collapse
-
#post ⇒ Object
:nodoc:.
Methods inherited from Constraint
Constructor Details
This class inherits a constructor from Gecode::Constraint
Instance Method Details
#post ⇒ Object
:nodoc:
52 53 54 55 56 57 58 59 60 61 |
# File 'lib/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 Gecode::Raw::distinct(@model.active_space, *params) end |