conversion.rst

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