class Axiom::Optimizer::Function::Connective::Conjunction::TautologyRight

Optimize when the right operand is a tautology

Public Instance Methods

optimizable?() click to toggle source

Test if the right operand is a tautology

@return [Boolean]

@api private

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

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

@return [Function]

@api private

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