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

Psl Builtin
###########

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:Psl_Prev:

Iir_Kind_Psl_Prev
=================

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:`Expression <INT:AST:field:Expression>`
     - ``Field5``
     - ``Iir``
     - owned
     - Expression for an various nodes.
   * - :ref:`Count_Expression <INT:AST:field:Count_Expression>`
     - ``Field2``
     - ``Iir``
     - owned
     - —
   * - :ref:`Clock_Expression <INT:AST:field:Clock_Expression>`
     - ``Field4``
     - ``Iir``
     - owned
     - —
   * - :ref:`Default_Clock <INT:AST:field:Default_Clock>`
     - ``Field3``
     - ``PSL_Node``
     - ref
     - Reference to outer or default_clock node.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expression staticness, defined by rules of LRM 7.4

.. graphviz::

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

      "Psl_Prev" [style=filled fillcolor="#eeeeec" label="{Psl_Prev|{<Type> Type|<Expression> Expression|<Count_Expression> Count_Expression|<Clock_Expression> Clock_Expression|<Default_Clock> Default_Clock|<Expr_Staticness> Expr_Staticness}}"]
      "Psl_Prev__Type" [shape=box label="Iir"]
      "Psl_Prev":Type -> "Psl_Prev__Type" [color="#3465a4" style=dashed]
      "Psl_Prev__Expression" [shape=box label="Iir"]
      "Psl_Prev":Expression -> "Psl_Prev__Expression" [color="#000000"]
      "Psl_Prev__Count_Expression" [shape=box label="Iir"]
      "Psl_Prev":Count_Expression -> "Psl_Prev__Count_Expression" [color="#000000"]
      "Psl_Prev__Clock_Expression" [shape=box label="Iir"]
      "Psl_Prev":Clock_Expression -> "Psl_Prev__Clock_Expression" [color="#000000"]
      "Psl_Prev__Default_Clock" [shape=box label="PSL_Node"]
      "Psl_Prev":Default_Clock -> "Psl_Prev__Default_Clock" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Psl_Stable:

Iir_Kind_Psl_Stable
===================

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:`Expression <INT:AST:field:Expression>`
     - ``Field5``
     - ``Iir``
     - owned
     - Expression for an various nodes.
   * - :ref:`Clock_Expression <INT:AST:field:Clock_Expression>`
     - ``Field4``
     - ``Iir``
     - owned
     - —
   * - :ref:`Default_Clock <INT:AST:field:Default_Clock>`
     - ``Field3``
     - ``PSL_Node``
     - ref
     - Reference to the outer or default_clock node.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expression staticness, defined by rules of LRM 7.4

.. graphviz::

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

      "Psl_Stable" [style=filled fillcolor="#eeeeec" label="{Psl_Stable|{<Type> Type|<Expression> Expression|<Clock_Expression> Clock_Expression|<Default_Clock> Default_Clock|<Expr_Staticness> Expr_Staticness}}"]
      "Psl_Stable__Type" [shape=box label="Iir"]
      "Psl_Stable":Type -> "Psl_Stable__Type" [color="#3465a4" style=dashed]
      "Psl_Stable__Expression" [shape=box label="Iir"]
      "Psl_Stable":Expression -> "Psl_Stable__Expression" [color="#000000"]
      "Psl_Stable__Clock_Expression" [shape=box label="Iir"]
      "Psl_Stable":Clock_Expression -> "Psl_Stable__Clock_Expression" [color="#000000"]
      "Psl_Stable__Default_Clock" [shape=box label="PSL_Node"]
      "Psl_Stable":Default_Clock -> "Psl_Stable__Default_Clock" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Psl_Rose:

Iir_Kind_Psl_Rose
=================

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:`Expression <INT:AST:field:Expression>`
     - ``Field5``
     - ``Iir``
     - owned
     - Expression for an various nodes.
   * - :ref:`Clock_Expression <INT:AST:field:Clock_Expression>`
     - ``Field4``
     - ``Iir``
     - owned
     - —
   * - :ref:`Default_Clock <INT:AST:field:Default_Clock>`
     - ``Field3``
     - ``PSL_Node``
     - ref
     - Reference to the outer or default_clock node.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expression staticness, defined by rules of LRM 7.4

.. graphviz::

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

      "Psl_Rose" [style=filled fillcolor="#eeeeec" label="{Psl_Rose|{<Type> Type|<Expression> Expression|<Clock_Expression> Clock_Expression|<Default_Clock> Default_Clock|<Expr_Staticness> Expr_Staticness}}"]
      "Psl_Rose__Type" [shape=box label="Iir"]
      "Psl_Rose":Type -> "Psl_Rose__Type" [color="#3465a4" style=dashed]
      "Psl_Rose__Expression" [shape=box label="Iir"]
      "Psl_Rose":Expression -> "Psl_Rose__Expression" [color="#000000"]
      "Psl_Rose__Clock_Expression" [shape=box label="Iir"]
      "Psl_Rose":Clock_Expression -> "Psl_Rose__Clock_Expression" [color="#000000"]
      "Psl_Rose__Default_Clock" [shape=box label="PSL_Node"]
      "Psl_Rose":Default_Clock -> "Psl_Rose__Default_Clock" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Psl_Fell:

Iir_Kind_Psl_Fell
=================

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:`Expression <INT:AST:field:Expression>`
     - ``Field5``
     - ``Iir``
     - owned
     - Expression for an various nodes.
   * - :ref:`Clock_Expression <INT:AST:field:Clock_Expression>`
     - ``Field4``
     - ``Iir``
     - owned
     - —
   * - :ref:`Default_Clock <INT:AST:field:Default_Clock>`
     - ``Field3``
     - ``PSL_Node``
     - ref
     - Reference to the outer or default_clock node.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expression staticness, defined by rules of LRM 7.4

.. graphviz::

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

      "Psl_Fell" [style=filled fillcolor="#eeeeec" label="{Psl_Fell|{<Type> Type|<Expression> Expression|<Clock_Expression> Clock_Expression|<Default_Clock> Default_Clock|<Expr_Staticness> Expr_Staticness}}"]
      "Psl_Fell__Type" [shape=box label="Iir"]
      "Psl_Fell":Type -> "Psl_Fell__Type" [color="#3465a4" style=dashed]
      "Psl_Fell__Expression" [shape=box label="Iir"]
      "Psl_Fell":Expression -> "Psl_Fell__Expression" [color="#000000"]
      "Psl_Fell__Clock_Expression" [shape=box label="Iir"]
      "Psl_Fell":Clock_Expression -> "Psl_Fell__Clock_Expression" [color="#000000"]
      "Psl_Fell__Default_Clock" [shape=box label="PSL_Node"]
      "Psl_Fell":Default_Clock -> "Psl_Fell__Default_Clock" [color="#3465a4" style=dashed]
   }


.. _INT:AST:Psl_Onehot:

Iir_Kind_Psl_Onehot
===================

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:`Expression <INT:AST:field:Expression>`
     - ``Field5``
     - ``Iir``
     - owned
     - Expression for an various nodes.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expression staticness, defined by rules of LRM 7.4

.. graphviz::

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

      "Psl_Onehot" [style=filled fillcolor="#eeeeec" label="{Psl_Onehot|{<Type> Type|<Expression> Expression|<Expr_Staticness> Expr_Staticness}}"]
      "Psl_Onehot__Type" [shape=box label="Iir"]
      "Psl_Onehot":Type -> "Psl_Onehot__Type" [color="#3465a4" style=dashed]
      "Psl_Onehot__Expression" [shape=box label="Iir"]
      "Psl_Onehot":Expression -> "Psl_Onehot__Expression" [color="#000000"]
   }


.. _INT:AST:Psl_Onehot0:

Iir_Kind_Psl_Onehot0
====================

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:`Expression <INT:AST:field:Expression>`
     - ``Field5``
     - ``Iir``
     - owned
     - Expression for an various nodes.
   * - :ref:`Expr_Staticness <INT:AST:field:Expr_Staticness>`
     - ``State1``
     - ``Iir_Staticness``
     - owned
     - Expression staticness, defined by rules of LRM 7.4

.. graphviz::

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

      "Psl_Onehot0" [style=filled fillcolor="#eeeeec" label="{Psl_Onehot0|{<Type> Type|<Expression> Expression|<Expr_Staticness> Expr_Staticness}}"]
      "Psl_Onehot0__Type" [shape=box label="Iir"]
      "Psl_Onehot0":Type -> "Psl_Onehot0__Type" [color="#3465a4" style=dashed]
      "Psl_Onehot0__Expression" [shape=box label="Iir"]
      "Psl_Onehot0":Expression -> "Psl_Onehot0__Expression" [color="#000000"]
   }