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