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