class Gecode::IntEnum::Count::IntEnumCountOperand

Public Instance Methods

relation_constraint(relation, int_operand_or_fix, params) click to toggle source

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/int_enum/count.rb, line 32
def relation_constraint(relation, int_operand_or_fix, params)
  unless params[:negate]
    relation_type = 
      Gecode::Util::RELATION_TYPES[relation]
  else
    relation_type = 
      Gecode::Util::NEGATED_RELATION_TYPES[relation]
  end
  
  params.update(:enum => @enum, :element => @element, 
    :rhs => int_operand_or_fix, :relation_type => relation_type)
  CountConstraint.new(@model, params)
end

Public Class Methods

new(model, int_enum, element) click to toggle source

Calls superclass method Gecode::Int::ShortCircuitRelationsOperand.new

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/int_enum/count.rb, line 26
def initialize(model, int_enum, element)
  super model
  @enum = int_enum
  @element = element
end