Module: Veritas::Optimizer::Function::Predicate::Tautology

Overview

Optimize when the operands are a tautology

Instance Method Summary collapse

Instance Method Details

#optimizeTautology

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.

Return a tautology

Returns:



53
54
55
# File 'lib/veritas/optimizer/function/predicate.rb', line 53

def optimize
  Veritas::Function::Proposition::Tautology.instance
end