class Gecode::IntEnum::Extensional::RegexpConstraint
Public Instance Methods
post()
click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/int_enum/extensional.rb, line 180 def post lhs, regexp = @params.values_at(:lhs, :regexp) Gecode::Raw::extensional(@model.active_space, lhs.to_int_enum.bind_array, regexp, *propagation_options) end