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

Inherits:

Relation::Operation::Unary

• Object
• Axiom::Optimizer
• Relation::Operation::Unary
• Axiom::Optimizer::Algebra::Restriction

Includes:

AbstractType

Defined in:

lib/axiom/optimizer/algebra/restriction.rb

Overview

Abstract base class representing Restriction optimizations

Direct Known Subclasses

CombinationOperand, Contradiction, RestrictionOperand, SetOperand, SortedOperand, Tautology, UnoptimizedOperand

Defined Under Namespace

Classes: CombinationOperand, Contradiction, JoinOperand, ProductOperand, RestrictionOperand, SetOperand, SortedOperand, Tautology, UnoptimizedOperand

Constant Summary

Constants inherited from Axiom::Optimizer

Identity, VERSION

Instance Attribute Summary

• #predicate ⇒ Function readonly private

  The optimized predicate.

Attributes inherited from Relation::Operation::Unary

#header

Attributes included from Function::Unary

#operand

Attributes inherited from Axiom::Optimizer

#operation

Instance Method Summary

• #initialize ⇒ undefined constructor private

  Initialize an Restriction optimizer.

Methods inherited from Axiom::Optimizer

chain, #optimizable?, #optimize

Constructor Details

#initialize ⇒ undefined

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.

Initialize an Restriction optimizer

# File 'lib/axiom/optimizer/algebra/restriction.rb', line 23

def initialize(*)
  super
  @predicate = Function.optimize_operand(operation.predicate)
end

Instance Attribute Details

#predicate ⇒ Function (readonly)

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.

The optimized predicate

Returns:

• (Function)

# File 'lib/axiom/optimizer/algebra/restriction.rb', line 16

def predicate
  @predicate
end