txgraffiti.logic
================

txgraffiti.logic.properties
------------------------------

.. automodule:: txgraffiti.logic.properties
   :members:
   :show-inheritance:
   :undoc-members:
   :no-index:

txgraffiti.logic.predicates
------------------------------

.. automodule:: txgraffiti.logic.predicates
   :members:
   :show-inheritance:
   :undoc-members:
   :no-index:

txgraffiti.logic.inequalities
------------------------------

.. automodule:: txgraffiti.logic.inequalities
   :members:
   :show-inheritance:
   :undoc-members:
   :no-index:

txgraffiti.logic.conjectures
------------------------------

.. automodule:: txgraffiti.logic.conjectures
   :members:
   :show-inheritance:
   :undoc-members:
   :no-index:

txgraffiti.logic.tables
------------------------------

.. automodule:: txgraffiti.logic.tables
   :members:
   :show-inheritance:
   :undoc-members:
   :no-index: