Class: Veritas::Optimizer::Algebra::Restriction::Tautology

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

Overview

Optimize when the predicate is a tautology

Constant Summary

Constants inherited from Veritas::Optimizer

Noop, VERSION

Instance Attribute Summary

Attributes inherited from Veritas::Optimizer::Algebra::Restriction

#predicate

Attributes inherited from Relation::Operation::Unary

#header

Attributes included from Function::Unary

#operand

Attributes inherited from Veritas::Optimizer

#operation

Instance Method Summary collapse

Methods inherited from Veritas::Optimizer::Algebra::Restriction

#initialize

Methods inherited from Relation::Operation::Unary

#initialize

Methods included from Function::Unary

#initialize

Methods inherited from Veritas::Optimizer

chain, #initialize

Constructor Details

This class inherits a constructor from Veritas::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) 


66
67
68
69
 
# File 'lib/veritas/optimizer/algebra/restriction.rb', line 66

def optimizable?
  predicate.equal?(Veritas::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:



76
77
78
 
# File 'lib/veritas/optimizer/algebra/restriction.rb', line 76

def optimize
  operand
end