class Axiom::Optimizer::Function::Connective::Conjunction::Contradiction
Optimize when the operands are a contradiction
Public Instance Methods
optimizable?()
click to toggle source
Test if the operands are a contradiction
@return [Boolean]
@api private
# File lib/axiom/optimizer/function/connective/conjunction.rb, line 88 def optimizable? left_contradiction? || right_contradiction? || equality_with_same_attributes? || contradiction? end
optimize()
click to toggle source
Return a contradiction
@return [Contradiction]
@api private
# File lib/axiom/optimizer/function/connective/conjunction.rb, line 100 def optimize Axiom::Function::Proposition::Contradiction.instance end