Class: Axiom::Optimizer::Function::Predicate::Inequality::Tautology
- Inherits:
-
Axiom::Optimizer::Function::Predicate::Inequality
- Object
- Axiom::Optimizer
- Axiom::Optimizer::Function::Predicate
- Axiom::Optimizer::Function::Predicate::Inequality
- Axiom::Optimizer::Function::Predicate::Inequality::Tautology
- Includes:
- Comparable::NeverEquivalent, Tautology
- Defined in:
- lib/axiom/optimizer/function/predicate/inequality.rb
Overview
Optimize when the operand are a tautology