module Axiom::Optimizer::Function::Predicate::Contradiction

Optimize when the operands are a contradiction

Public Instance Methods

optimize() click to toggle source

Return a contradiction

@return [Contradiction]

@api private

# File lib/axiom/optimizer/function/predicate.rb, line 39
def optimize
  Axiom::Function::Proposition::Contradiction.instance
end