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