class Axiom::Optimizer::Function::Connective::Negation::ConstantOperand

Optimize when the operand is constant

Public Instance Methods

optimize() click to toggle source

A Negation with constant values is equivalent to a Proposition

@return [Proposition]

@api private

# File lib/axiom/optimizer/function/connective/negation.rb, line 44
def optimize
  Axiom::Function::Proposition.coerce(super)
end