module Predicate::Contradiction

Public Instance Methods

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