class Gecode::Set::Operation::OperationSetOperand

Public Instance Methods

relation_constraint(relation, set_operand_or_constant_set, params) click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/set/operation.rb, line 86
def relation_constraint(relation, set_operand_or_constant_set, params)
  relation_type = 
    Gecode::Util::SET_RELATION_TYPES[relation]

  operation = Gecode::Util::SET_OPERATION_TYPES[@operator]
  params.update(:rhs => set_operand_or_constant_set, 
    :relation_type => relation_type, :op1 => @op1, :op2 => @op2,
    :operation => operation)
  OperationConstraint.new(model, params)
end

Public Class Methods

new(model, op1, operator, op2) click to toggle source
# File doc/tmp/rdoc_dev/gecoder/interface/constraints/set/operation.rb, line 79
def initialize(model, op1, operator, op2)
  super model
  @op1 = op1
  @op2 = op2
  @operator = operator
end