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