Class: Axiom::Optimizer::Function::Predicate::Equality::Contradiction

Inherits:

Axiom::Optimizer::Function::Predicate::Equality

• Object
• Axiom::Optimizer
• Axiom::Optimizer::Function::Predicate
• Axiom::Optimizer::Function::Predicate::Equality
• Axiom::Optimizer::Function::Predicate::Equality::Contradiction

Includes:

Comparable::NeverEquivalent, Contradiction

Defined in:

lib/axiom/optimizer/function/predicate/equality.rb

Overview

Optimize when the operand are a contradiction

Constant Summary

Constants inherited from Axiom::Optimizer

Identity, VERSION

Instance Attribute Summary

Attributes included from Binary

#left, #right

Attributes inherited from Axiom::Optimizer

#operation

Method Summary

Methods included from Comparable::NeverEquivalent

#optimizable?

Methods included from Contradiction

#optimize

Methods included from Binary

#initialize

Methods inherited from Axiom::Optimizer

chain, #initialize, #optimizable?, #optimize