Class: Hilbert::World::PropositionalLogic::Atom

Inherits:

Object

• Object
• Hilbert::World::PropositionalLogic::Atom

Includes:

Base

Defined in:

lib/hilbert/world/propositional_logic.rb

Instance Attribute Summary

• #p ⇒ Object

  Returns the value of attribute p.

Instance Method Summary

• #!@ ⇒ Object
• #deep ⇒ Object
• #initialize(p) ⇒ Atom constructor

  A new instance of Atom.

• #to_s ⇒ Object

Methods included from Utils

#dpll!, #include?, #is_and?, #is_form?, #is_neg?, #is_or?, #neg?

Methods included from Operator

#*, #+, #<=>, #>=, #~@

Constructor Details

#initialize(p) ⇒ Atom

Returns a new instance of Atom.

# File 'lib/hilbert/world/propositional_logic.rb', line 107

def initialize(p); @p = p  end

Instance Attribute Details

#p ⇒ Object

Returns the value of attribute p.

# File 'lib/hilbert/world/propositional_logic.rb', line 106

def p
  @p
end

Instance Method Details

#!@ ⇒ Object

# File 'lib/hilbert/world/propositional_logic.rb', line 109

def !@;            self    end

#deep ⇒ Object

# File 'lib/hilbert/world/propositional_logic.rb', line 110

def deep;          1       end

#to_s ⇒ Object

# File 'lib/hilbert/world/propositional_logic.rb', line 108

def to_s;          @p.to_s end