.. _exhale_function_InstPropLinker_8h_1a76b89b12524e571af632a41c178c05fb:

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

- Defined in :ref:`file_src_VALfiles_InstPropLinker.h`


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


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