Class: Axiom::Function::Predicate::Inequality

Inherits:
Axiom::Function::Predicate show all
Includes:
Comparable
Defined in:
lib/axiom/function/predicate/inequality.rb

Overview

A predicate representing an inequality test between operands

Defined Under Namespace

Modules: Methods

Instance Attribute Summary

Attributes included from Operation::Binary

#left, #right

Class Method Summary collapse

Methods inherited from Axiom::Function::Predicate

type

Methods included from Binary::Invertible

#inverse

Methods included from Binary

#call, #rename, #type

Methods included from Operation::Binary

#initialize

Methods included from Connective::Conjunction::Methods

#and

Methods included from Aliasable

#inheritable_alias

Methods included from Connective::Disjunction::Methods

#or

Methods included from Connective::Negation::Methods

#not

Methods inherited from Axiom::Function

extract_value, rename_attributes, #type

Methods included from Visitable

#accept

Class Method Details

.call(left, right) ⇒ Boolean

Evaluate the values for inequality

Examples:

Inequality.call(left, right)  # => true or false

Parameters:

  • left (Object)
  • right (Object)

Returns:

  • (Boolean) 


58
59
60
 
# File 'lib/axiom/function/predicate/inequality.rb', line 58

def self.call(left, right)
  left != right
end

.inverse ⇒ Class<Equality>

Return the inverse predicate class

Examples:

Inequality.inverse  # => Equality

Returns:



31
32
33
 
# File 'lib/axiom/function/predicate/inequality.rb', line 31

def self.inverse
  Equality
end

.operation ⇒ Symbol

Return the Inequality operation

Examples:

Inequality.operation  # => :!=

Returns:

  • (Symbol) 


19
20
21
 
# File 'lib/axiom/function/predicate/inequality.rb', line 19

def self.operation
  :'!='
end

.reverse ⇒ self

Return the reverse predicate class

Examples:

Inequality.reverse  # => Inequality

Returns:

  • (self) 


43
44
45
 
# File 'lib/axiom/function/predicate/inequality.rb', line 43

def self.reverse
  self
end