adt.h File Reference

Algebraic data types for Relay. More...

#include <tvm/ir/adt.h>
#include <tvm/ir/attrs.h>
#include <tvm/relay/base.h>
#include <tvm/relay/expr.h>
#include <tvm/relay/type.h>
#include <functional>
#include <string>
#include <utility>

Include dependency graph for adt.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	tvm::relay::PatternNode
	Base type for declaring relay pattern. More...
class	tvm::relay::Pattern
	Pattern is the base type for an ADT match pattern in Relay. More...
class	tvm::relay::PatternWildcardNode
	PatternWildcard container node. More...
class	tvm::relay::PatternWildcard
class	tvm::relay::PatternVarNode
	PatternVar container node. More...
class	tvm::relay::PatternVar
class	tvm::relay::PatternConstructorNode
	PatternVar container node. More...
class	tvm::relay::PatternConstructor
class	tvm::relay::PatternTupleNode
	PatternVar container node. More...
class	tvm::relay::PatternTuple
class	tvm::relay::ClauseNode
	Clause container node. More...
class	tvm::relay::Clause
class	tvm::relay::MatchNode
	Match container node. More...
class	tvm::relay::Match

Namespaces
	tvm
	runtime implementation for LibTorch/TorchScript.
	tvm::relay
	Relay: a high level functional IR for TVM.

Typedefs
using	tvm::relay::Constructor = tvm::Constructor
using	tvm::relay::ConstructorNode = tvm::ConstructorNode
using	tvm::relay::TypeData = tvm::TypeData
using	tvm::relay::TypeDataNode = tvm::TypeDataNode

Functions
Clause	tvm::relay::WithFields (Clause clause, Optional< Pattern > opt_lhs=Optional< Pattern >(), Optional< Expr > opt_rhs=Optional< Expr >())
	Returns clause with the given properties. A null property denotes 'no change'. Returns clause if all properties are unchanged. Otherwise, returns a copy with the new fields. More...
Match	tvm::relay::WithFields (Match match, Optional< Expr > opt_data=Optional< Expr >(), Optional< Array< Clause >> opt_clauses=Optional< Array< Clause >>(), Optional< Bool > opt_complete=Optional< Bool >(), Optional< Span > opt_span=Optional< Span >())
	Returns match with the given properties. A null property denotes 'no change'. Returns match if all properties are unchanged. Otherwise, returns a copy with the new fields. More...

Detailed Description

Algebraic data types for Relay.