Class: MagicLogic::Atom

Inherits:

Struct

• Object
• Struct
• MagicLogic::Atom

Includes:

Base

Defined in:

lib/magic_logic.rb

Instance Attribute Summary

• #p ⇒ Object

  Returns the value of attribute p.

Instance Method Summary

• #!@ ⇒ Object
• #depth ⇒ Object
• #to_s ⇒ Object

Methods included from Utils

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

Methods included from Operator

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

Instance Attribute Details

#p ⇒ Object

Returns the value of attribute p

Returns:

• (Object) —

  the current value of p

# File 'lib/magic_logic.rb', line 100

def p
  @p
end

Instance Method Details

#!@ ⇒ Object

# File 'lib/magic_logic.rb', line 103

def !@;            self        end

#depth ⇒ Object

# File 'lib/magic_logic.rb', line 104

def depth;         1           end

#to_s ⇒ Object

# File 'lib/magic_logic.rb', line 102

def to_s;          p.to_s      end