Logic Module
==============

.. currentmodule:: iglsynth.logic.core


Global Variables
----------------

.. data:: TRUE
    :annotation: = AP(name=true)

.. data:: FALSE
    :annotation: = AP(name=false)

-----------------

ILogic (Interface Class)
------------------------

.. autoclass:: iglsynth.logic.core.ILogic
    :members:
    :show-inheritance:
    :inherited-members:


-----------------

SyntaxTree
-----------

.. autoclass:: iglsynth.logic.core.SyntaxTree
    :members:
    :show-inheritance:



-----------------

Atomic Propositions
-------------------

.. autoclass:: iglsynth.logic.core.AP
    :members:
    :show-inheritance:
    :inherited-members:



-----------------

Alphabet
-------------------

.. autoclass:: iglsynth.logic.core.Alphabet
    :members:
    :show-inheritance:
    :inherited-members:



-----------------

Propositional Logic Formulas
----------------------------

.. autoclass:: iglsynth.logic.core.PL
    :members:
    :show-inheritance:
    :inherited-members: