type_relation.h File Reference

Type relation and function for type inference(checking). More...

#include <tvm/ir/attrs.h>
#include <tvm/ir/diagnostic.h>
#include <tvm/ir/env_func.h>
#include <tvm/ir/module.h>
#include <tvm/ir/type.h>
#include <tvm/runtime/logging.h>

Include dependency graph for type_relation.h:

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

Go to the source code of this file.

Classes
class	tvm::TypeCallNode
	Type function application. More...
class	tvm::TypeCall
	Managed reference to TypeCallNode. More...
class	tvm::TypeReporterNode
	reporter that reports back to the type resolution information. More...
class	tvm::TypeReporter
	Container class of TypeReporter. More...
class	tvm::TypeRelationNode
	User defined type relation, it is an input-output relation on types. More...
class	tvm::TypeRelation
	Managed reference to TypeRelationNode. More...

Namespaces
	tvm
	runtime implementation for LibTorch/TorchScript.

Typedefs
using	tvm::TypeRelationFn = TypedEnvFunc< bool(const Array< Type > &args, int num_inputs, const Attrs &attrs, const TypeReporter &reporter)>
	User defined type constraint function. More...

Detailed Description

Type relation and function for type inference(checking).