Module: Veritas::Optimizer::Function::Predicate::Tautology

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

Overview

Optimize when the operands are a tautology

Instance Method Summary collapse

Instance Method Details

#optimize ⇒ Tautology

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 tautology

Returns:



53
54
55
 
# File 'lib/veritas/optimizer/function/predicate.rb', line 53

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