Class: MagicLogic::UTaut

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

Overview

Non 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 



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

def !@;   $utout  end

#*(q) ⇒ Object 



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

def *(q); $utout  end

#+(q) ⇒ Object 



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

def +(q); q       end

#to_s ⇒ Object 



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

def to_s; 'FALSE' end

#~@ ⇒ Object 



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

def ~@;   $tout   end