==============
Specifications
==============

.. autoclass:: staliro.specifications.Specification
    :members: evaluate

.. autodecorator:: staliro.specification

RTAMT
-----

.. _rtamt-discrete:

.. autofunction:: staliro.specifications.rtamt.parse_discrete

.. _rtamt-dense:

.. autofunction:: staliro.specifications.rtamt.parse_dense