class Axiom::Optimizer::Algebra::Restriction::Contradiction

Optimize when the predicate is a contradiction

Public Instance Methods

optimizable?() click to toggle source

Test if the predicate is a contradiction

@return [Boolean]

@api private

# File lib/axiom/optimizer/algebra/restriction.rb, line 91
def optimizable?
  predicate.equal?(Axiom::Function::Proposition::Contradiction.instance) ||
  constant_false_predicate?
end
optimize() click to toggle source

A Restriction with a contradiction matches nothing

@return [Relation]

@api private

# File lib/axiom/optimizer/algebra/restriction.rb, line 101
def optimize
  Axiom::Relation::Empty.new(operation.header)
end