Class: Axiom::Function::Connective

Inherits:

Axiom::Function

• Object
• Axiom::Function
• Axiom::Function::Connective

Includes:

AbstractType

Defined in:

lib/axiom/function/connective.rb,
lib/axiom/function/connective/negation.rb,
lib/axiom/function/connective/conjunction.rb,
lib/axiom/function/connective/disjunction.rb

Overview

Abstract base class for logical connectives

Direct Known Subclasses

Conjunction, Disjunction, Negation

Defined Under Namespace

Classes: Conjunction, Disjunction, Negation

Class Method Summary

• .type ⇒ Class<Types::Boolean>

  Return the type returned from #call.

Methods inherited from Axiom::Function

extract_value, rename_attributes, #type

Methods included from Visitable

#accept

Class Method Details

.type ⇒ Class<Types::Boolean>

Return the type returned from #call

Examples:

type = Axiom::Function::Connective.type  # => Axiom::Types::Boolean

Returns:

• (Class<Types::Boolean>)

# File 'lib/axiom/function/connective.rb', line 18

def self.type
  Types::Boolean
end