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