Class: Axiom::Optimizer::Algebra::Restriction::Tautology

Inherits:
Axiom::Optimizer::Algebra::Restriction show all
Defined in:
lib/axiom/optimizer/algebra/restriction.rb

Overview

Optimize when the predicate is a tautology

Constant Summary

Constants inherited from Axiom::Optimizer

Identity, VERSION

Instance Attribute Summary

Attributes inherited from Axiom::Optimizer::Algebra::Restriction

#predicate

Attributes inherited from Relation::Operation::Unary

#header

Attributes included from Function::Unary

#operand

Attributes inherited from Axiom::Optimizer

#operation

Instance Method Summary collapse

Methods inherited from Axiom::Optimizer::Algebra::Restriction

#initialize

Methods inherited from Relation::Operation::Unary

#initialize

Methods included from Function::Unary

#initialize

Methods inherited from Axiom::Optimizer

chain, #initialize

Constructor Details

This class inherits a constructor from Axiom::Optimizer::Algebra::Restriction

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 predicate is a tautology

Returns:

  • (Boolean) 


67
68
69
70
 
# File 'lib/axiom/optimizer/algebra/restriction.rb', line 67

def optimizable?
  predicate.equal?(Axiom::Function::Proposition::Tautology.instance) ||
  constant_true_predicate?
end

#optimize ⇒ Relation

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 Restriction with a tautology is a noop

Returns:



77
78
79
 
# File 'lib/axiom/optimizer/algebra/restriction.rb', line 77

def optimize
  operand
end