class Axiom::Optimizer::Algebra::Restriction::Tautology

Optimize when the predicate is a tautology

Public Instance Methods

optimizable?() click to toggle source

Test if the predicate is a tautology

@return [Boolean]

@api private

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

A Restriction with a tautology is a noop

@return [Relation]

@api private

# File lib/axiom/optimizer/algebra/restriction.rb, line 77
def optimize
  operand
end