Class: MagicLogic::Taut

Inherits:

Object

• Object
• MagicLogic::Taut

Includes:

Base

Defined in:

lib/magic_logic.rb

Overview

Tautology

Constant Summary

Constants included from Utils

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 12

def *(q); q      end

#+(q) ⇒ Object

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

def +(q); $tout  end

#to_s ⇒ Object

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

def to_s; 'TRUE' end

#~@ ⇒ Object

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

def ~@;   $utout end