module Predicate::Tautology
Public Instance Methods
!()
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 9 def ! contradiction end
&(other)
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 13 def &(other) other end
attr_split()
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 28 def attr_split {} end
dyadic_priority()
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 21 def dyadic_priority; 1000; end
evaluate(tuple)
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 32 def evaluate(tuple) true end
free_variables()
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 24 def free_variables @free_variables ||= [] end
priority()
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 22 def priority; 100; end
tautology?()
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 5 def tautology? true end
to_hash()
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 36 def to_hash {} end
|(other)
click to toggle source
# File lib/predicate/nodes/tautology.rb, line 17 def |(other) self end