class Axiom::Optimizer::Function::Connective::Disjunction::ContradictionLeft

Optimize when the left operand is a contradiction

Public Instance Methods

optimizable?() click to toggle source

Test if the left operand is a contradiction

@return [Boolean]

@api private

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

A Disjunction with a contradiction left operand is equivalent to the right

@return [Function]

@api private

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