.. currentmodule:: iglsynth.logic.ltl

Linear Temporal Logic
=====================


.. autoclass:: iglsynth.logic.ltl.LTL
    :members:
    :show-inheritance:
    :inherited-members: