.. _exhale_function_InstPropLinker_8h_1af1736b62e238909c7d2b44e3fdd261dc:

Function Inst::toLiteral
========================

- Defined in :ref:`file_src_VALfiles_InstPropLinker.h`


Function Documentation
----------------------


.. doxygenfunction:: Inst::toLiteral(const VAL::SimpleProposition *)
   :project: popf Doxygen Project