Class: MagicLogic::NEG

Inherits:
Struct
  • Object
show all
Includes:
Base
Defined in:
lib/magic_logic.rb

Constant Summary

Constants included from Utils

Utils::ATOM_PREFIX

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods included from Utils

#dpll, #evl, #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



40
41
42
 
# File 'lib/magic_logic.rb', line 40

def p
  @p
end

Instance Method Details

#to_s ⇒ Object 



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

def to_s;  "~#{p}"    end