module Axiom::Optimizer::Function::Predicate::Tautology

Optimize when the operands are a tautology

Public Instance Methods

optimize() click to toggle source

Return a tautology

@return [Tautology]

@api private

# File lib/axiom/optimizer/function/predicate.rb, line 53
def optimize
  Axiom::Function::Proposition::Tautology.instance
end