geneticengine.grammar.metahandlers.smt.parser
=============================================

.. py:module:: geneticengine.grammar.metahandlers.smt.parser


Attributes
----------

.. autoapisummary::

   geneticengine.grammar.metahandlers.smt.parser.dsl_grammar
   geneticengine.grammar.metahandlers.smt.parser.p_expr


Classes
-------

.. autoapisummary::

   geneticengine.grammar.metahandlers.smt.parser.TreeToDSL


Functions
---------

.. autoapisummary::

   geneticengine.grammar.metahandlers.smt.parser.mk_parser


Module Contents
---------------

.. py:data:: dsl_grammar
   :value: Multiline-String

   .. raw:: html

      <details><summary>Show Value</summary>

   .. code-block:: python

      """
      
      expression : "-" expression_plus                             -> minus
                 | expression_un                                   -> same
      
      expression_un : expression_bool                              -> same
                 | "!" expression_un                               -> nnot
                 | expression_bool "==" expression_un              -> binop_eq
                 | expression_bool "!=" expression_un              -> binop_neq
                 | expression_bool "&&" expression_un              -> binop_and
                 | expression_bool _DOUBLEPIPE expression_un       -> binop_or
      
      expression_bool : expression_plus                            -> same
                      | expression_plus "<" expression_bool        -> binop_lt
                      | expression_plus "<=" expression_bool       -> binop_le
                      | expression_plus ">" expression_bool        -> binop_gt
                      | expression_plus ">=" expression_bool       -> binop_ge
                      | expression_plus "-->" expression_bool      -> binop_imp
      
      expression_plus : expression_fact                           -> same
                      | expression_fact "+" expression_plus       -> binop_plus
                      | expression_fact "-" expression_plus       -> binop_minus
      
      expression_fact : expression_simple                         -> same
                      | expression_simple "*" expression_fact     -> binop_mult
                      | expression_simple "/" expression_fact     -> binop_div
                      | expression_simple "%" expression_fact     -> binop_mod
      
      
      expression_simple : "(" expression ")"                      -> same
                  | comprehension                                 -> same
                  | INTLIT                                        -> int_lit
                  | SIGNED_INT                                    -> int_lit
                  | FLOATLIT                                      -> float_lit
                  | BOOLLIT                                       -> bool_lit
                  | VAR ("." VAR)*                                -> var
      
      comprehension : "AllPairs" "(" VAR "," VAR "," VAR ")" "{" expression "}" -> all_pairs
      
      BOOLLIT.5 : "true" | "false"
      INTLIT : /[0-9][0-9]*/
      FLOATLIT : SIGNED_FLOAT
      _DOUBLEPIPE.11 : "||"
      VAR : (("a".."z")|"_"|("A".."Z")) (("0".."9")|("a".."z")|("A".."Z"))*
      
      %import common.WS
      %import common.CNAME
      %import common.SIGNED_INT
      %import common.SIGNED_FLOAT
      
      %ignore WS
      """

   .. raw:: html

      </details>



.. py:class:: TreeToDSL

   Bases: :py:obj:`lark.Transformer`


   .. py:method:: same(args)


   .. py:method:: var(args)


   .. py:method:: int_lit(args)


   .. py:method:: float_lit(args)


   .. py:method:: bool_lit(args)


   .. py:method:: minus(args)
      :abstractmethod:



   .. py:method:: nnot(args)


   .. py:method:: binop_eq(args)


   .. py:method:: binop_neq(args)


   .. py:method:: binop_and(args)


   .. py:method:: binop_or(args)


   .. py:method:: binop_lt(args)


   .. py:method:: binop_le(args)


   .. py:method:: binop_gt(args)


   .. py:method:: binop_ge(args)


   .. py:method:: binop_imp(args)


   .. py:method:: binop_plus(args)


   .. py:method:: binop_minus(args)
      :abstractmethod:



   .. py:method:: binop_mult(args)
      :abstractmethod:



   .. py:method:: binop_div(args)
      :abstractmethod:



   .. py:method:: binop_mod(args)


   .. py:method:: all_pairs(args)


.. py:function:: mk_parser()

.. py:data:: p_expr