.. # This page is generated by doc/ASTReference.py when Sphinx starts.  Do not edit it.

Monadic Operator
################

The diagrams below draw one box per node kind, with one port per field. The edge colours say how a link is held; they
are listed in full on the :ref:`INT:AST:Fields` page.

.. graphviz::

   digraph {
      rankdir="LR"
      nodesep=0.1
      node [shape=point width=0.06 color="#888a85"]
      edge [fontname="monospace" fontsize=10 minlen=3]

      l0a -> l0b [label="owned" color="#000000"]
      l1a -> l1b [label="ref" color="#3465a4" style=dashed]
      l2a -> l2b [label="maybe ref" color="#3465a4" style=dotted]
      l3a -> l3b [label="of ref" color="#3465a4" style=dashed]
      l4a -> l4b [label="of maybe ref" color="#3465a4" style=dotted]
      l5a -> l5b [label="forward ref" color="#f57900" style=dashed]
      l6a -> l6b [label="maybe forward ref" color="#f57900" style=dotted]
      l7a -> l7b [label="chain" color="#4e9a06"]
      l8a -> l8b [label="chain next" color="#4e9a06" style=bold]
   }

.. _INT:AST:Identity_Operator:

Iir_Kind_Identity_Operator
==========================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Identity_Operator" [style=filled fillcolor="#eeeeec" label="{Identity_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Identity_Operator__Type" [shape=box label="Iir"]
      "Identity_Operator":Type -> "Identity_Operator__Type" [color="#3465a4" style=dashed]
      "Identity_Operator__Operand" [shape=box label="Iir"]
      "Identity_Operator":Operand -> "Identity_Operator__Operand" [color="#000000"]
      "Identity_Operator__Implementation" [shape=box label="Iir"]
      "Identity_Operator":Implementation -> "Identity_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Negation_Operator:

Iir_Kind_Negation_Operator
==========================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Negation_Operator" [style=filled fillcolor="#eeeeec" label="{Negation_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Negation_Operator__Type" [shape=box label="Iir"]
      "Negation_Operator":Type -> "Negation_Operator__Type" [color="#3465a4" style=dashed]
      "Negation_Operator__Operand" [shape=box label="Iir"]
      "Negation_Operator":Operand -> "Negation_Operator__Operand" [color="#000000"]
      "Negation_Operator__Implementation" [shape=box label="Iir"]
      "Negation_Operator":Implementation -> "Negation_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Absolute_Operator:

Iir_Kind_Absolute_Operator
==========================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Absolute_Operator" [style=filled fillcolor="#eeeeec" label="{Absolute_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Absolute_Operator__Type" [shape=box label="Iir"]
      "Absolute_Operator":Type -> "Absolute_Operator__Type" [color="#3465a4" style=dashed]
      "Absolute_Operator__Operand" [shape=box label="Iir"]
      "Absolute_Operator":Operand -> "Absolute_Operator__Operand" [color="#000000"]
      "Absolute_Operator__Implementation" [shape=box label="Iir"]
      "Absolute_Operator":Implementation -> "Absolute_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Not_Operator:

Iir_Kind_Not_Operator
=====================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Not_Operator" [style=filled fillcolor="#eeeeec" label="{Not_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Not_Operator__Type" [shape=box label="Iir"]
      "Not_Operator":Type -> "Not_Operator__Type" [color="#3465a4" style=dashed]
      "Not_Operator__Operand" [shape=box label="Iir"]
      "Not_Operator":Operand -> "Not_Operator__Operand" [color="#000000"]
      "Not_Operator__Implementation" [shape=box label="Iir"]
      "Not_Operator":Implementation -> "Not_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Implicit_Condition_Operator:

Iir_Kind_Implicit_Condition_Operator
====================================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Implicit_Condition_Operator" [style=filled fillcolor="#eeeeec" label="{Implicit_Condition_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Implicit_Condition_Operator__Type" [shape=box label="Iir"]
      "Implicit_Condition_Operator":Type -> "Implicit_Condition_Operator__Type" [color="#3465a4" style=dashed]
      "Implicit_Condition_Operator__Operand" [shape=box label="Iir"]
      "Implicit_Condition_Operator":Operand -> "Implicit_Condition_Operator__Operand" [color="#000000"]
      "Implicit_Condition_Operator__Implementation" [shape=box label="Iir"]
      "Implicit_Condition_Operator":Implementation -> "Implicit_Condition_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Condition_Operator:

Iir_Kind_Condition_Operator
===========================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Condition_Operator" [style=filled fillcolor="#eeeeec" label="{Condition_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Condition_Operator__Type" [shape=box label="Iir"]
      "Condition_Operator":Type -> "Condition_Operator__Type" [color="#3465a4" style=dashed]
      "Condition_Operator__Operand" [shape=box label="Iir"]
      "Condition_Operator":Operand -> "Condition_Operator__Operand" [color="#000000"]
      "Condition_Operator__Implementation" [shape=box label="Iir"]
      "Condition_Operator":Implementation -> "Condition_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Reduction_And_Operator:

Iir_Kind_Reduction_And_Operator
===============================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Reduction_And_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_And_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Reduction_And_Operator__Type" [shape=box label="Iir"]
      "Reduction_And_Operator":Type -> "Reduction_And_Operator__Type" [color="#3465a4" style=dashed]
      "Reduction_And_Operator__Operand" [shape=box label="Iir"]
      "Reduction_And_Operator":Operand -> "Reduction_And_Operator__Operand" [color="#000000"]
      "Reduction_And_Operator__Implementation" [shape=box label="Iir"]
      "Reduction_And_Operator":Implementation -> "Reduction_And_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Reduction_Or_Operator:

Iir_Kind_Reduction_Or_Operator
==============================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Reduction_Or_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Or_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Reduction_Or_Operator__Type" [shape=box label="Iir"]
      "Reduction_Or_Operator":Type -> "Reduction_Or_Operator__Type" [color="#3465a4" style=dashed]
      "Reduction_Or_Operator__Operand" [shape=box label="Iir"]
      "Reduction_Or_Operator":Operand -> "Reduction_Or_Operator__Operand" [color="#000000"]
      "Reduction_Or_Operator__Implementation" [shape=box label="Iir"]
      "Reduction_Or_Operator":Implementation -> "Reduction_Or_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Reduction_Nand_Operator:

Iir_Kind_Reduction_Nand_Operator
================================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Reduction_Nand_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Nand_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Reduction_Nand_Operator__Type" [shape=box label="Iir"]
      "Reduction_Nand_Operator":Type -> "Reduction_Nand_Operator__Type" [color="#3465a4" style=dashed]
      "Reduction_Nand_Operator__Operand" [shape=box label="Iir"]
      "Reduction_Nand_Operator":Operand -> "Reduction_Nand_Operator__Operand" [color="#000000"]
      "Reduction_Nand_Operator__Implementation" [shape=box label="Iir"]
      "Reduction_Nand_Operator":Implementation -> "Reduction_Nand_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Reduction_Nor_Operator:

Iir_Kind_Reduction_Nor_Operator
===============================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Reduction_Nor_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Nor_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Reduction_Nor_Operator__Type" [shape=box label="Iir"]
      "Reduction_Nor_Operator":Type -> "Reduction_Nor_Operator__Type" [color="#3465a4" style=dashed]
      "Reduction_Nor_Operator__Operand" [shape=box label="Iir"]
      "Reduction_Nor_Operator":Operand -> "Reduction_Nor_Operator__Operand" [color="#000000"]
      "Reduction_Nor_Operator__Implementation" [shape=box label="Iir"]
      "Reduction_Nor_Operator":Implementation -> "Reduction_Nor_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Reduction_Xor_Operator:

Iir_Kind_Reduction_Xor_Operator
===============================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Reduction_Xor_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Xor_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Reduction_Xor_Operator__Type" [shape=box label="Iir"]
      "Reduction_Xor_Operator":Type -> "Reduction_Xor_Operator__Type" [color="#3465a4" style=dashed]
      "Reduction_Xor_Operator__Operand" [shape=box label="Iir"]
      "Reduction_Xor_Operator":Operand -> "Reduction_Xor_Operator__Operand" [color="#000000"]
      "Reduction_Xor_Operator__Implementation" [shape=box label="Iir"]
      "Reduction_Xor_Operator":Implementation -> "Reduction_Xor_Operator__Implementation" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Reduction_Xnor_Operator:

Iir_Kind_Reduction_Xnor_Operator
================================

Format: ``Short``

.. list-table::
   :header-rows: 1
   :widths: 30 12 18 12 28

   * - Accessor
     - Field
     - Type
     - Access
     - Description
   * - :ref:`Type <INT:AST:field:Type>`
     - ``Field1``
     - ``Iir``
     - ref
     - —
   * - :ref:`Operand <INT:AST:field:Operand>`
     - ``Field2``
     - ``Iir``
     - owned
     - Operand of a monadic operator.
   * - :ref:`Implementation <INT:AST:field:Implementation>`
     - ``Field3``
     - ``Iir``
     - ref
     - Function declaration corresponding to the function to call.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expr_staticness is defined by LRM93 7.4

.. graphviz::

   digraph {
      rankdir="LR"
      node [shape=record fontname="monospace" fontsize=10]
      edge [fontname="monospace" fontsize=9]

      "Reduction_Xnor_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Xnor_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"]
      "Reduction_Xnor_Operator__Type" [shape=box label="Iir"]
      "Reduction_Xnor_Operator":Type -> "Reduction_Xnor_Operator__Type" [color="#3465a4" style=dashed]
      "Reduction_Xnor_Operator__Operand" [shape=box label="Iir"]
      "Reduction_Xnor_Operator":Operand -> "Reduction_Xnor_Operator__Operand" [color="#000000"]
      "Reduction_Xnor_Operator__Implementation" [shape=box label="Iir"]
      "Reduction_Xnor_Operator":Implementation -> "Reduction_Xnor_Operator__Implementation" [color="#3465a4" style=dashed]
   }