Class: Axiom::Function::Predicate::Equality

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

Overview

A predicate representing an equality 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

.inverse ⇒ Class<Inequality>

Return the inverse predicate class

Examples:

Equality.inverse  # => Inequality

Returns:



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

def self.inverse
  Inequality
end

.operation ⇒ Symbol

Return the Equality operation

Examples:

Equality.operation  # => :==

Returns:

  • (Symbol) 


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

def self.operation
  :==
end

.reverse ⇒ self

Return the reverse predicate class

Examples:

Equality.reverse  # => Equality

Returns:

  • (self) 


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

def self.reverse
  self
end