Sha256: 1d1999348e0ee864ba4057a730f9351a3db393ec286412954dc160f90569f6dc
Contents?: true
Size: 1.72 KB
Versions: 14
Compression:
Stored size: 1.72 KB
Contents
module Gecode::BoolEnum
module BoolEnumOperand
# Produces a BoolOperand that represents the conjunction (AND) of all
# boolean operands in this enumeration.
#
# ==== Examples
#
# # Conjunction of all elements in +bool_enum+.
# bool_enum.conjunction
def conjunction
Relation::BoolEnumConjunctionOperand.new(@model, self)
end
# Produces a BoolOperand that represents the disjunction (OR) of all
# boolean operands in this enumeration.
#
# ==== Examples
#
# # Disjunction of all elements in +bool_enum+.
# bool_enum.disjunction
def disjunction
Relation::BoolEnumDisjunctionOperand.new(@model, self)
end
end
# A module that gathers the classes and modules used by boolean enumeration
# relation constraints.
module Relation #:nodoc:
class BoolEnumConjunctionOperand < Gecode::Bool::ShortCircuitEqualityOperand #:nodoc:
def initialize(model, bool_enum)
super model
@enum = bool_enum
end
def constrain_equal(bool_operand, constrain_domain, propagation_options)
Gecode::Raw::rel(@model.active_space, Gecode::Raw::BOT_AND,
@enum.to_bool_enum.bind_array, bool_operand.to_bool_var.bind,
*propagation_options)
end
end
class BoolEnumDisjunctionOperand < Gecode::Bool::ShortCircuitEqualityOperand #:nodoc:
def initialize(model, bool_enum)
super model
@enum = bool_enum
end
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
end
end
end
Version data entries
14 entries across 14 versions & 2 rubygems