Class: Gecode::Constraints::IntEnum::Distinct::DistinctConstraint
- Inherits:
-
Constraint
- Object
- Constraint
- Gecode::Constraints::IntEnum::Distinct::DistinctConstraint
- Defined in:
- lib/gecoder/interface/constraints/int_enum/distinct.rb
Overview
Describes a distinct constraint (optionally with offsets).
Instance Method Summary collapse
Methods inherited from Constraint
Constructor Details
This class inherits a constructor from Gecode::Constraints::Constraint
Instance Method Details
#post ⇒ Object
50 51 52 53 54 55 56 57 58 |
# File 'lib/gecoder/interface/constraints/int_enum/distinct.rb', line 50 def post # Bind lhs. @params[:lhs] = @params[:lhs].to_int_var_array # Fetch the parameters to Gecode. params = @params.values_at(:offsets, :lhs, :strength) params.delete_if{ |x| x.nil? } Gecode::Raw::distinct(@model.active_space, *params) end |