class Axiom::Optimizer::Algebra::Restriction::Contradiction
Optimize when the predicate is a contradiction
Public Instance Methods
optimizable?()
click to toggle source
Test if the predicate is a contradiction
@return [Boolean]
@api private
# File lib/axiom/optimizer/algebra/restriction.rb, line 91 def optimizable? predicate.equal?(Axiom::Function::Proposition::Contradiction.instance) || constant_false_predicate? end
optimize()
click to toggle source
A Restriction
with a contradiction matches nothing
@return [Relation]
@api private
# File lib/axiom/optimizer/algebra/restriction.rb, line 101 def optimize Axiom::Relation::Empty.new(operation.header) end