=============================
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