Class: Axiom::Optimizer::Function::Connective::Conjunction::TautologyRight
- Inherits:
-
Axiom::Optimizer::Function::Connective::Conjunction
- Object
- Axiom::Optimizer
- Binary
- Axiom::Optimizer::Function::Connective::Conjunction
- Axiom::Optimizer::Function::Connective::Conjunction::TautologyRight
- Defined in:
- lib/axiom/optimizer/function/connective/conjunction.rb
Overview
Optimize when the right operand is a tautology
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 right operand is a tautology.
-
#optimize ⇒ Function
private
A Conjunction with a tautology right operand is equivalent to the left.
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 right operand is a tautology
42 43 44 |
# File 'lib/axiom/optimizer/function/connective/conjunction.rb', line 42 def optimizable? right_tautology? end |
#optimize ⇒ Function
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.
A Conjunction with a tautology right operand is equivalent to the left
51 52 53 |
# File 'lib/axiom/optimizer/function/connective/conjunction.rb', line 51 def optimize left end |