class Axiom::Function::Connective::Negation

A logical negation of an expression

Public Class Methods

call(operand) click to toggle source

Evaluate the operands using a logical NOT

@example with true operand

Negation.call(true)  # => false

@example with false operand

Negation.call(false)  # => true

@param [Boolean] operand

@return [Boolean]

@api public

# File lib/axiom/function/connective/negation.rb, line 38
def self.call(operand)
  !operand
end
operation() click to toggle source

Return the negation operation

@example

Negation.operation  # => :!

@return [Symbol]

@api public

# File lib/axiom/function/connective/negation.rb, line 21
def self.operation
  :'!'
end

Public Instance Methods

inverse() click to toggle source

Return the operand

@example

operand = negation.inverse

@return [Function]

@api public

# File lib/axiom/function/connective/negation.rb, line 50
def inverse
  operand
end