Class: MagicLogic::NEG

Inherits:

Struct

• Object
• Struct
• MagicLogic::NEG

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 112

def p
  @p
end

Instance Method Details

#!@ ⇒ Object

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

def !@;     ~(!p)     end

#depth ⇒ Object

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

def depth;  p.depth+1 end

#to_s ⇒ Object

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

def to_s;  "~#{p}"    end