.. _Show Constraints:

Show Constraints
================


To see where a field or variable is constrained, **right click on it's name > Show > Constraints**.

.. figure:: ../../images/common/e_show_constraints_trigger_editor.png
	:align: center


The results are presented in the :guilabel:`Search View`.

.. figure:: ../../images/common/e_show_constraints_results.png
	:align: center


The results include:

.. list-table::
   :header-rows: 0
   :widths: auto

   * - .. figure:: ../../images/common/constraint_obj.png
     - Constraints or type constraints involving the variable.
   * - .. figure:: ../../images/common/randomize_with.png
     - In-line constraints involving the variable, in do ... keeping {} and gen ... keeping {}  actions.
   * - .. figure:: ../../images/common/randomize_with.png
     - Initializations involving the variable in new ... with {} actions.
   * - .. figure:: ../../images/common/randomize_with.png
     - Allocations of the variable using new.
   * - .. figure:: ../../images/common/randomize_with.png
     - Generations of the variable using gen or do actions.

.. tip::

  For **generatable** fields you can also hold down the :kbd:`Ctrl` key while **hovering** the name of the field with the mouse cursor, and pick **Show Constraints** from the pop-up list.
  
.. figure:: ../../images/common/e_show_constraints_trigger_hyperlink.png
  :align: center


.. tip::

  You can also trigger this functionality from a view's **context menu**, for example from the **Types View** or **UVM Browser View**.
  
.. figure:: ../../images/common/e_show_constraints_trigger_view.png
  :align: center


.. tip::

  You can choose to hide the matches where the field or variable is initialized or generated **Filters...** button: 
  
.. figure:: ../../images/common/e_show_constraints_filter.png
  :align: center





