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