class Axiom::Optimizer::Function::Connective::Disjunction::Tautology
Optimize when the operands are a tautology
Public Instance Methods
optimizable?()
click to toggle source
Test if the operands are a tautology
@return [Boolean]
@api private
# File lib/axiom/optimizer/function/connective/disjunction.rb, line 88 def optimizable? left_tautology? || right_tautology? || inequality_with_same_attributes? || contradiction? end
optimize()
click to toggle source
Return a tautology
@return [Tautology]
@api private
# File lib/axiom/optimizer/function/connective/disjunction.rb, line 100 def optimize Axiom::Function::Proposition::Tautology.instance end