Table of Contents - magic_logic-0.0.3 Documentation
Classes and Modules
Methods
-
::[]
—
MagicLogic::Base::Atom
-
::[]
—
MagicLogic::Base::Atom
-
::new
—
MagicLogic::Base::FORM
-
#*
—
MagicLogic::Base::Taut
-
#*
—
MagicLogic::Base::UTaut
-
#+
—
MagicLogic::Base::Taut
-
#+
—
MagicLogic::Base::UTaut
-
#<=>
—
MagicLogic::Operator
-
#>=
—
MagicLogic::Operator
-
#>>
—
Array
-
#_
—
MagicLogic::Operator
-
#dpll
—
MagicLogic::Utils
-
#evl
—
MagicLogic::Utils
-
#include?
—
MagicLogic::Base::FORM
-
#include?
—
MagicLogic::Utils
-
#is_and?
—
MagicLogic::Utils
-
#is_form?
—
MagicLogic::Utils
-
#is_neg?
—
MagicLogic::Utils
-
#is_or?
—
MagicLogic::Utils
-
#neg?
—
MagicLogic::Utils
-
#sbst!
—
String
-
#to_s
—
MagicLogic::Base::Taut
-
#to_s
—
MagicLogic::Base::UTaut
-
#to_s
—
MagicLogic::Base::Atom
-
#to_s
—
MagicLogic::Base::Atom
-
#to_s
—
MagicLogic::Base::NEG
-
#to_s
—
MagicLogic::Base::FORM