Class: Propose::Tree::Falsum

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

Overview

Represents a contradiction, or falseness.

Instance Method Summary collapse

Methods inherited from Node

#children

Instance Method Details

#evaluate(_assignment) ⇒ Object 



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

def evaluate(_assignment)
  false
end

#inspect ⇒ Object 



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

def inspect
  '#<Falsum>'
end

#literal? ⇒ Boolean

Returns:

  • (Boolean) 


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

def literal?
  true
end

#to_s ⇒ Object 



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

def to_s
  '⊥'
end