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