Class mata::FormulaNode
=======================

.. doxygenclass:: mata::FormulaNode
   :members: