Method List
-
#!@ MagicLogic::Taut
-
#!@ MagicLogic::Atom
-
#!@ MagicLogic::UTaut
-
#!@ MagicLogic::FORM
-
#!@ MagicLogic::NEG
-
#* MagicLogic::UTaut
-
#* MagicLogic::Taut
-
#+ MagicLogic::Taut
-
#+ MagicLogic::UTaut
-
#<=> MagicLogic::Operator
-
#>= MagicLogic::Operator
-
#>> Array
-
#_ MagicLogic::Operator
-
#depth MagicLogic::Atom
-
#depth MagicLogic::FORM
-
#depth MagicLogic::NEG
-
#dpll MagicLogic::Utils
-
#include? MagicLogic::Utils
-
#include? MagicLogic::FORM
-
#initialize MagicLogic::FORM
-
#is_and? MagicLogic::Utils
-
#is_form? MagicLogic::Utils
-
#is_neg? MagicLogic::Utils
-
#is_or? MagicLogic::Utils
-
#neg? MagicLogic::Utils
-
#ope MagicLogic::FORM
-
#p MagicLogic::Atom
-
#p MagicLogic::NEG
-
#to_s MagicLogic::UTaut
-
#to_s MagicLogic::Atom
-
#to_s MagicLogic::Taut
-
#to_s MagicLogic::NEG
-
#to_s MagicLogic::FORM
-
#vars MagicLogic::FORM
-
#~@ MagicLogic::UTaut
-
#~@ MagicLogic::Taut
-
#~@ MagicLogic::Operator