Class: Axiom::Optimizer::Function::Predicate::GreaterThanOrEqualTo::Contradiction
- Inherits:
-
Axiom::Optimizer::Function::Predicate::GreaterThanOrEqualTo
- Object
- Axiom::Optimizer
- Axiom::Optimizer::Function::Predicate
- Axiom::Optimizer::Function::Predicate::GreaterThanOrEqualTo
- Axiom::Optimizer::Function::Predicate::GreaterThanOrEqualTo::Contradiction
- Includes:
- Comparable::NeverComparable, Contradiction
- Defined in:
- lib/axiom/optimizer/function/predicate/greater_than_or_equal_to.rb
Overview
Optimize when the operands are a contradiction
Constant Summary
Constants inherited from Axiom::Optimizer
Instance Attribute Summary
Attributes included from Binary
Attributes inherited from Axiom::Optimizer
Instance Method Summary collapse
-
#optimizable? ⇒ Boolean
private
Test if the operands are a contradiction.
Methods included from Contradiction
Methods included from Binary
Methods inherited from Axiom::Optimizer
Instance Method Details
#optimizable? ⇒ Boolean
This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.
Test if the operands are a contradiction
21 22 23 |
# File 'lib/axiom/optimizer/function/predicate/greater_than_or_equal_to.rb', line 21 def optimizable? super || LessThan::Tautology.new(operation.inverse).optimizable? end |