Sha256: 8702687d1563aa9a472a3e3883fa90f0001eb46c6aa66f5bc9fbe03cdedb9ddf
Contents?: true
Size: 1.76 KB
Versions: 13
Compression:
Stored size: 1.76 KB
Contents
module Ravensat
module Extension
class IntegerVariable < Variable
attr_reader :var_nodes
def initialize(name, args)
super
return unless args.first.is_a? Range
@var_nodes = args.first.zip(Array.new(args.first.size){Ravensat::VarNode.new}).to_h
end
def ==(object)
case object
when Integer
return @var_nodes[object]
when IntegerVariable
result_formula = Ravensat::InitialNode.new
duplicated_keys = self.var_nodes.keys & object.var_nodes.keys
[self.var_nodes, object.var_nodes].repeated_permutation(duplicated_keys.size) do |var_nodes|
result_formula &= Ravensat::Claw.alo(var_nodes.zip(duplicated_keys).map{|arr| arr.first[arr.last]})
end
return result_formula
else
raise ArgumentError
end
end
def !=(object)
case object
when Integer
return ~(@var_nodes[object])
when IntegerVariable
result_formula = Ravensat::InitialNode.new
duplicated_keys = self.var_nodes.keys & object.var_nodes.keys
duplicated_keys.each do |index|
result_formula &= ~(self.var_nodes[index]) | ~(object.var_nodes[index])
end
return result_formula
else
raise ArgumentError
end
end
def only_one
result_formula = Ravensat::InitialNode.new
result_formula &= Ravensat::Claw.alo @var_nodes.values
result_formula &= Ravensat::Claw.amo @var_nodes.values
result_formula
end
def result
result = @var_nodes.select{|key, var_node| var_node.value}.keys
if result.one?
result.first
else
result
end
end
end
end
end
Version data entries
13 entries across 13 versions & 1 rubygems