Module: Veritas::Optimizer::Function::Predicate::Contradiction

Included in:
Equality::Contradiction, GreaterThan::Contradiction, GreaterThanOrEqualTo::Contradiction, Inclusion::EmptyRightOperand, Inequality::Contradiction, LessThan::Contradiction, LessThanOrEqualTo::Contradiction
Defined in:
lib/veritas/optimizer/function/predicate.rb

Overview

Optimize when the operands are a contradiction

Instance Method Summary collapse

Instance Method Details

#optimize ⇒ Contradiction

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

Return a contradiction

Returns:



39
40
41
 
# File 'lib/veritas/optimizer/function/predicate.rb', line 39

def optimize
  Veritas::Function::Proposition::Contradiction.instance
end