Module: MagicLogic::Base

Includes:

Operator, Utils

Included in:

Atom, FORM, NEG, Taut, UTaut

Defined in:

lib/magic_logic.rb

Method Summary

Methods included from Utils

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

Methods included from Operator

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