class Axiom::Optimizer::Function::Connective::Disjunction::ContradictionRight

Optimize when the right operand is a contradiction

Public Instance Methods

optimizable?() click to toggle source

Test if the right operand is a contradiction

@return [Boolean]

@api private

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

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

@return [Function]

@api private

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