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

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

Overview

Optimize when the predicate is a contradiction

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 contradiction

Returns:

  • (Boolean) 


91
92
93
94
 
# File 'lib/axiom/optimizer/algebra/restriction.rb', line 91

def optimizable?
  predicate.equal?(Axiom::Function::Proposition::Contradiction.instance) ||
  constant_false_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 contradiction matches nothing

Returns:



101
102
103
 
# File 'lib/axiom/optimizer/algebra/restriction.rb', line 101

def optimize
  Axiom::Relation::Empty.new(operation.header)
end