class Gecode::BoolEnum::Channel::ChannelConstraint
Public Instance Methods
post()
click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/bool_enum/channel.rb, line 60 def post lhs, rhs, offset = @params.values_at(:lhs, :rhs, :offset) Gecode::Raw::channel(@model.active_space, lhs.to_bool_enum.bind_array, rhs.to_int_var.bind, offset, *propagation_options) end