Class: Gecode::SelectedSet::Element::DisjointConstraint

Inherits:
Constraint
  • Object
show all
Defined in:
lib/gecoder/interface/constraints/selected_set/select.rb

Overview

:nodoc:

Instance Method Summary collapse

Methods inherited from Constraint

#initialize

Constructor Details

This class inherits a constructor from Gecode::Constraint

Instance Method Details

#post ⇒ Object 



113
114
115
116
117
 
# File 'lib/gecoder/interface/constraints/selected_set/select.rb', line 113

def post
  enum, indices = @params[:lhs].to_selected_set
  Gecode::Raw.elementsDisjoint(@model.active_space, 
    enum.to_set_enum.bind_array, indices.to_set_var.bind)
end