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
Calls superclass method
Axiom::Optimizer::Function::Unary::ConstantOperand#optimize
# File lib/axiom/optimizer/function/connective/negation.rb, line 44 def optimize Axiom::Function::Proposition.coerce(super) end