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

Included in:
Equality::Tautology, Exclusion::EmptyRight, 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

- (Tautology) optimize

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



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

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