class Gecode::IntEnum::Equality::EqualityConstraint
Public Instance Methods
post()
click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/int_enum/equality.rb, line 30 def post Gecode::Raw::rel(@model.active_space, @params[:lhs].to_int_enum.bind_array, Gecode::Raw::IRT_EQ, *propagation_options) end