class Gecode::SetElements::Relation::RelationConstraint

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/set_elements/relation.rb, line 103
def post
  set_elements, rhs, type = @params.values_at(:lhs, :rhs, :relation_type)
  set = set_elements.to_set_elements
  
  if rhs.kind_of? Fixnum
    # Use a proxy int variable to cover.
    rhs = @model.int_var(rhs)
  end
  Gecode::Raw::rel(@model.active_space, set.to_set_var.bind, 
    type, rhs.to_int_var.bind)
end