.. _file_tvm_tirx_structural_visit_with_constraint_context.h:

File structural_visit_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 traversal with ordered lexical symbolic premises. 



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

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


.. toctree::
   :maxdepth: 1

   program_listing_file_tvm_tirx_structural_visit_with_constraint_context.h.rst





Includes
--------


- ``tvm/ffi/extra/structural_visit.h`` (:ref:`file__workspace_3rdparty_tvm-ffi_include_tvm_ffi_extra_structural_visit.h`)

- ``tvm/sym/constraint.h`` (:ref:`file_tvm_sym_constraint.h`)



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


- :ref:`file_tvm_tirx_structural_mutate_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_1StructuralVisitorWithConstraintContext`

- :ref:`exhale_class_classtvm_1_1tirx_1_1StructuralVisitorWithConstraintContextObj`


Functions
---------


- :ref:`exhale_function_namespacetvm_1_1tirx_1aa9bfd5a6dae027cc3794ba0a4fb525f0`

- :ref:`exhale_function_namespacetvm_1_1tirx_1afc4202a214579cec3c48df4caf5c5ce8`

- :ref:`exhale_function_namespacetvm_1_1tirx_1a39caf71b530eff759ff62ac732d59bf3`

- :ref:`exhale_function_namespacetvm_1_1tirx_1ab12af3202a18d10aeac6fc4638148899`


Typedefs
--------


- :ref:`exhale_typedef_namespacetvm_1_1tirx_1a8c92103c5fe72a21c5c2c3b630667643`


Variables
---------


- :ref:`exhale_variable_namespacetvm_1_1tirx_1_1type__attr_1a03fc316075fda905f020b588500fccd9`