class Axiom::Optimizer::Function::Connective::Conjunction::TautologyLeft
Optimize when the left operand is a tautology
Public Instance Methods
optimizable?()
click to toggle source
Test if the left operand is a tautology
@return [Boolean]
@api private
# File lib/axiom/optimizer/function/connective/conjunction.rb, line 19 def optimizable? left_tautology? end
optimize()
click to toggle source
A Conjunction
with a tautology left operand is equivalent to the right
@return [Function]
@api private
# File lib/axiom/optimizer/function/connective/conjunction.rb, line 28 def optimize right end