Class: MagicLogic::Atom

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

Class Method 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



27
28
29
 
# File 'lib/magic_logic.rb', line 27

def p
  @p
end

Class Method Details

.[](x) ⇒ Object 



32
33
34
 
# File 'lib/magic_logic.rb', line 32

def [](x)
  new(x).tap { |p| $atoms << p; $atoms.uniq! }
end

Instance Method Details

#to_s ⇒ Object 



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

def to_s;  p.to_s end