Class: Propose::Tree::Verum

Inherits:
Node
  • Object
show all
Includes:
Singleton
Defined in:
lib/propose/tree/verum.rb

Overview

Represents absolute tautological truth.

Instance Method Summary collapse

Methods inherited from Node

#children

Instance Method Details

#evaluate(_assignment) ⇒ Object 



8
9
10
 
# File 'lib/propose/tree/verum.rb', line 8

def evaluate(_assignment)
  true
end

#inspect ⇒ Object 



16
17
18
 
# File 'lib/propose/tree/verum.rb', line 16

def inspect
  '#<Verum>'
end

#literal? ⇒ Boolean

Returns:

  • (Boolean) 


12
13
14
 
# File 'lib/propose/tree/verum.rb', line 12

def literal?
  true
end

#to_s ⇒ Object 



20
21
22
 
# File 'lib/propose/tree/verum.rb', line 20

def to_s
  '⊤'
end