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