Class: Veritas::Optimizer::Function::Predicate::Inequality::Tautology

Inherits:
Veritas::Optimizer::Function::Predicate::Inequality show all
Includes:
Comparable::NeverEquivalent, Tautology
Defined in:
lib/veritas/optimizer/function/predicate/inequality.rb

Overview

Optimize when the operand are a tautology

Constant Summary

Constants inherited from Veritas::Optimizer

Noop, VERSION

Instance Attribute Summary

Attributes included from Binary

#left, #right

Attributes inherited from Veritas::Optimizer

#operation

Method Summary

Methods included from Comparable::NeverEquivalent

#optimizable?

Methods included from Tautology

#optimize

Methods included from Binary

#initialize

Methods inherited from Veritas::Optimizer

chain, #initialize, #optimizable?, #optimize