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