Sha256: c85afd7f7226370517fffc7e183f1a0c51c70e89f54cb007d06a80583ab29242
Contents?: true
Size: 387 Bytes
Versions: 8
Compression:
Stored size: 387 Bytes
Contents
module Alf
class Predicate
module Tautology
include Expr
def tautology?
true
end
def !
contradiction
end
def &(other)
other
end
def |(other)
self
end
def priority
100
end
def free_variables
@free_variables ||= AttrList::EMPTY
end
end
end
end
Version data entries
8 entries across 8 versions & 1 rubygems