==================================
Conversion, parsing, serialization
==================================

.. currentmodule:: ulkb

.. autosummary::
   :toctree: generated/

   Object.convert_from
   Object.convert_to
   Object.parse
   Object.serialize

Built-in converters
-------------------

.. autosummary::
   :toctree: generated/

   Object.from_ast
   Object.to_ast
   Object.from_sparql
   Object.to_sparql
   Object.from_z3
   Object.to_z3

Built-in parsers
----------------

.. autosummary::
   :toctree: generated/

   Object.from_json
   Object.from_ofn

Built-in serializers
--------------------

.. autosummary::
   :toctree: generated/

   Object.to_json
   Object.to_tptp
   Object.to_ulkb