Class: LyambdaGem::Variable

Inherits:
Term
  • Object
show all
Defined in:
lib/lyambda_gem/variable.rb

Overview

Implementation of a variable in the lambda calculus

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(name) ⇒ Variable

Returns a new instance of Variable.



6
7
8
 
# File 'lib/lyambda_gem/variable.rb', line 6

def initialize(name)
  @name = name
end

Instance Attribute Details

#name ⇒ Object (readonly)

Returns the value of attribute name.



4
5
6
 
# File 'lib/lyambda_gem/variable.rb', line 4

def name
  @name
end

Instance Method Details

#==(other) ⇒ Object 



36
37
38
 
# File 'lib/lyambda_gem/variable.rb', line 36

def ==(other)
  other.is_a?(Variable) && @name == other.name
end

#free_variables ⇒ Object

Список свободных переменных



11
12
13
 
# File 'lib/lyambda_gem/variable.rb', line 11

def free_variables
  return Set.new([self])
end

#inspect ⇒ Object 



32
33
34
 
# File 'lib/lyambda_gem/variable.rb', line 32

def inspect
  @name.to_s
end

#reduce(strategy: :normal_order) ⇒ Object 



24
25
26
 
# File 'lib/lyambda_gem/variable.rb', line 24

def reduce(strategy: :normal_order)
  self
end

#reduceable? ⇒ Boolean

Returns:

  • (Boolean) 


20
21
22
 
# File 'lib/lyambda_gem/variable.rb', line 20

def reduceable?
  false
end

#substitute(term, variable) ⇒ Object

Подстановка



16
17
18
 
# File 'lib/lyambda_gem/variable.rb', line 16

def substitute(term, variable)
  self == variable ? term : self
end

#to_s ⇒ Object 



28
29
30
 
# File 'lib/lyambda_gem/variable.rb', line 28

def to_s
  name.to_s
end