Sha256: 5855724f93ca1131a22076f90268a5f2563324bb94617312d3c588ac728643fd
Contents?: true
Size: 438 Bytes
Versions: 14
Compression:
Stored size: 438 Bytes
Contents
class Predicate
module Tautology
include Expr
def tautology?
true
end
def !
contradiction
end
def &(other)
other
end
def |(other)
self
end
def dyadic_priority
1000
end
def priority
100
end
def free_variables
@free_variables ||= []
end
def attr_split
{}
end
def evaluate(tuple)
true
end
end
end
Version data entries
14 entries across 14 versions & 1 rubygems