Class: Veritas::Optimizer::Function::Predicate::Equality::Contradiction

Inherits:
Veritas::Optimizer::Function::Predicate::Equality show all
Includes:
Comparable::NeverEquivalent, Contradiction
Defined in:
lib/veritas/optimizer/function/predicate/equality.rb

Overview

Optimize when the operand are a contradiction

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 Contradiction

#optimize

Methods included from Binary

#initialize

Methods inherited from Veritas::Optimizer

chain, #initialize, #optimizable?, #optimize