Module: MagicLogic::Base

Includes:

Operator, Utils

Included in:

Atom, FORM, NEG, Taut, UTaut

Defined in:

lib/magic_logic.rb

Constant Summary

Constants included from Utils

Utils::ATOM_PREFIX

Method Summary

Methods included from Utils

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

Methods included from Operator

#<=>, #>=, #_, #~@