more.rst

Appendix: More object methods

.. currentmodule:: ulkb

Testing

.. autosummary::
   :toctree: generated/

   Object.test_expression
   Object.test_object
   Object.test_theory

Checking

.. autosummary::
   :toctree: generated/

   Object.check_expression
   Object.check_object
   Object.check_theory

Unfolding

.. autosummary::
   :toctree: generated/

   Object.unfold_expression
   Object.unfold_object
   Object.unfold_theory

Unsafe versions:

.. autosummary::
   :toctree: generated/

   Object.unfold_expression_unsafe
   Object.unfold_object_unsafe
   Object.unfold_theory_unsafe

Unpacking

.. autosummary::
   :toctree: generated/

   Object.unpack_expression
   Object.unpack_object
   Object.unpack_theory

Unsafe versions:

.. autosummary::
   :toctree: generated/

   Object.unpack_expression_unsafe
   Object.unpack_object_unsafe
   Object.unpack_theory_unsafe