Sha256: 1121ff22f69753c14dd07ac312b300c4708dbcc12d6c8108349679ef80939497
Contents?: true
Size: 405 Bytes
Versions: 8
Compression:
Stored size: 405 Bytes
Contents
module Alf
class Predicate
module DyadicComp
include Expr
def priority
50
end
def !
Factory.send(OP_NEGATIONS[first], self[1], self[2])
end
def left
self[1]
end
def right
self[2]
end
def free_variables
@free_variables ||= left.free_variables | right.free_variables
end
end
end
end
Version data entries
8 entries across 8 versions & 1 rubygems