Class: Gecode::Set::Connection::IncludeConstraint

Inherits:
Constraint
  • Object
show all
Defined in:
lib/gecoder/interface/constraints/set/include.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 



29
30
31
32
33
 
# File 'lib/gecoder/interface/constraints/set/include.rb', line 29

def post
  set, variables = @params.values_at(:lhs, :variables)
  Gecode::Raw::match(@model.active_space, set.to_set_var.bind, 
                     variables.to_int_enum.bind_array)
end