class Gecode::BoolEnum::Relation::BoolEnumDisjunctionOperand

Public Instance Methods

constrain_equal(bool_operand, constrain_domain, propagation_options) click to toggle source

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/bool_enum/relation.rb, line 48
def constrain_equal(bool_operand, constrain_domain, propagation_options)
  Gecode::Raw::rel(@model.active_space, Gecode::Raw::BOT_OR,
    @enum.to_bool_enum.bind_array, bool_operand.to_bool_var.bind, 
    *propagation_options)
end

Public Class Methods

new(model, bool_enum) click to toggle source

Calls superclass method Gecode::Bool::ShortCircuitEqualityOperand.new

# File doc/tmp/rdoc_dev/gecoder/interface/constraints/bool_enum/relation.rb, line 43
def initialize(model, bool_enum)
  super model
  @enum = bool_enum
end