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