Class: MagicLogic::Taut

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

Overview

Tautology

Instance Method Summary collapse

Methods included from Utils

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

Methods included from Operator

#<=>, #>=, #_

Instance Method Details

#!@ ⇒ Object 



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

def !@;   $tout  end

#*(q) ⇒ Object 



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

def *(q); q      end

#+(q) ⇒ Object 



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

def +(q); $tout  end

#to_s ⇒ Object 



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

def to_s; 'TRUE' end

#~@ ⇒ Object 



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

def ~@;   $utout end