Class: MagicLogic::UTaut

Inherits:

Object

• Object
• MagicLogic::UTaut

Includes:

Base

Defined in:

lib/magic_logic.rb

Overview

Non Tautology

Constant Summary

Constants included from Utils

MagicLogic::Utils::ATOM_PREFIX

Instance Method Summary

• #*(q) ⇒ Object
• #+(q) ⇒ Object
• #to_s ⇒ Object
• #~@ ⇒ Object

Methods included from Utils

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

Methods included from Operator

#<=>, #>=, #_

Instance Method Details

#*(q) ⇒ Object

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

def *(q); $utout  end

#+(q) ⇒ Object

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

def +(q); q       end

#to_s ⇒ Object

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

def to_s; 'FALSE' end

#~@ ⇒ Object

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

def ~@;   $tout   end