.. _file_tvm_tirx_structural_mutate_with_constraint_context.h:

File structural_mutate_with_constraint_context.h
================================================

|exhale_lsh| :ref:`Parent directory <dir_tvm_tirx>` (``tvm/tirx``)

.. |exhale_lsh| unicode:: U+021B0 .. UPWARDS ARROW WITH TIP LEFTWARDS



Structural mutation with lexical symbolic premises. 



.. contents:: Contents
   :local:
   :backlinks: none

Definition (``tvm/tirx/structural_mutate_with_constraint_context.h``)
---------------------------------------------------------------------


.. toctree::
   :maxdepth: 1

   program_listing_file_tvm_tirx_structural_mutate_with_constraint_context.h.rst





Includes
--------


- ``tvm/ffi/extra/structural_mutate.h`` (:ref:`file__workspace_3rdparty_tvm-ffi_include_tvm_ffi_extra_structural_mutate.h`)

- ``tvm/tirx/structural_visit_with_constraint_context.h`` (:ref:`file_tvm_tirx_structural_visit_with_constraint_context.h`)



Included By
-----------


- :ref:`file_tvm_tirx_object_functor_with_constraint_context.h`




Namespaces
----------


- :ref:`namespace_tvm`

- :ref:`namespace_tvm__tirx`

- :ref:`namespace_tvm__tirx__type_attr`


Classes
-------


- :ref:`exhale_class_classtvm_1_1tirx_1_1StructuralMutatorWithConstraintContext`

- :ref:`exhale_class_classtvm_1_1tirx_1_1StructuralMutatorWithConstraintContextObj`


Functions
---------


- :ref:`exhale_function_namespacetvm_1_1tirx_1ad6a734883febf85bd248bfefd7ae2411`

- :ref:`exhale_function_namespacetvm_1_1tirx_1a66d0037c47156854355846a8777803db`

- :ref:`exhale_function_namespacetvm_1_1tirx_1a85b8dfd68857dd460d31dab5a24d1bad`

- :ref:`exhale_function_namespacetvm_1_1tirx_1aadc55aa790f23a60c9c33a4104f3660d`


Typedefs
--------


- :ref:`exhale_typedef_namespacetvm_1_1tirx_1a3933ee60c8b840479b577ce9a0d6bf13`


Variables
---------


- :ref:`exhale_variable_namespacetvm_1_1tirx_1_1type__attr_1a4c4d9bcc0b40b5cde24a87609adf3254`

- :ref:`exhale_variable_namespacetvm_1_1tirx_1_1type__attr_1a9974e203f702221407596a0c840489c8`