Managed reference to a pattern context.
More...
#include <dataflow_pattern.h>
|
| static ffi::Optional< PatternContext > | Current () |
| | Get the constraint context object on the top of the stack.
|
| |
Managed reference to a pattern context.
- See also
- PatternContextObj
◆ PatternContext() [1/2]
| tvm::relax::PatternContext::PatternContext |
( |
ffi::UnsafeInit |
tag | ) |
|
|
inlineexplicit |
◆ PatternContext() [2/2]
| tvm::relax::PatternContext::PatternContext |
( |
bool |
incremental = false | ) |
|
|
explicit |
◆ add_constraint() [1/2]
| void tvm::relax::PatternContext::add_constraint |
( |
DFConstraint |
constraint | ) |
|
|
inline |
Add a validation constraint.
- Parameters
-
| constraint | The new constraint |
◆ add_constraint() [2/2]
Build an edge constraint between two patterns (producer and consumer).
- Parameters
-
| producer | The pattern corresponding to the producer node. |
| consumer | The pattern corresponding to the consumer node. |
| cons | The constraint type. |
- See also
- PairCons
◆ Current()
| static ffi::Optional< PatternContext > tvm::relax::PatternContext::Current |
( |
| ) |
|
|
static |
Get the constraint context object on the top of the stack.
◆ EnterWithScope()
| void tvm::relax::PatternContext::EnterWithScope |
( |
| ) |
const |
The RAII-like entry of a constraint context scope.
◆ ExitWithScope()
| void tvm::relax::PatternContext::ExitWithScope |
( |
| ) |
const |
The RAII-like exit of a constraint context scope.
◆ operator->() [1/2]
◆ operator->() [2/2]
◆ With< PatternContext >
◆ _type_is_nullable
| constexpr bool tvm::relax::PatternContext::_type_is_nullable = false |
|
staticconstexpr |
The documentation for this class was generated from the following file: