class Axiom::Optimizer::Function::Connective::Conjunction::TautologyLeft

Optimize when the left operand is a tautology

Public Instance Methods

optimizable?() click to toggle source

Test if the left operand is a tautology

@return [Boolean]

@api private

# File lib/axiom/optimizer/function/connective/conjunction.rb, line 19
def optimizable?
  left_tautology?
end
optimize() click to toggle source

A Conjunction with a tautology left operand is equivalent to the right

@return [Function]

@api private

# File lib/axiom/optimizer/function/connective/conjunction.rb, line 28
def optimize
  right
end