.. _file_tvm_sym_constraint.h:

File constraint.h
=================

|exhale_lsh| :ref:`Parent directory <dir_tvm_sym>` (``tvm/sym``)

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



Data-only symbolic premises collected during traversal. 



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

Definition (``tvm/sym/constraint.h``)
-------------------------------------


.. toctree::
   :maxdepth: 1

   program_listing_file_tvm_sym_constraint.h.rst





Includes
--------


- ``tvm/ffi/cast.h``

- ``tvm/ffi/container/array.h``

- ``tvm/ir/expr.h`` (:ref:`file_tvm_ir_expr.h`)

- ``tvm/ir/prim/expr.h`` (:ref:`file_tvm_ir_prim_expr.h`)

- ``utility``



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


- :ref:`file_tvm_sym_analyzer.h`

- :ref:`file_tvm_tirx_structural_visit_with_constraint_context.h`




Namespaces
----------


- :ref:`namespace_tvm`

- :ref:`namespace_tvm__sym`


Classes
-------


- :ref:`exhale_class_classtvm_1_1sym_1_1BindingConstraint`

- :ref:`exhale_class_classtvm_1_1sym_1_1BindingConstraintObj`

- :ref:`exhale_class_classtvm_1_1sym_1_1Constraint`

- :ref:`exhale_class_classtvm_1_1sym_1_1ConstraintContext`

- :ref:`exhale_class_classtvm_1_1sym_1_1ConstraintContextObj`

- :ref:`exhale_class_classtvm_1_1sym_1_1ConstraintObj`

- :ref:`exhale_class_classtvm_1_1sym_1_1PredicateConstraint`

- :ref:`exhale_class_classtvm_1_1sym_1_1PredicateConstraintObj`

- :ref:`exhale_class_classtvm_1_1sym_1_1RangeConstraint`

- :ref:`exhale_class_classtvm_1_1sym_1_1RangeConstraintObj`