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