#include "Expr.h"

Namespaces
	Halide
	This file defines the class FunctionDAG, which is our representation of a Halide pipeline, and contains methods to using Halide's bounds tools to query properties of it.

	Halide::Internal

Functions
Stmt	Halide::Internal::simplify_correlated_differences (const Stmt &)
	Symbolic interval arithmetic can be extremely conservative in cases where we analyze the difference between two correlated expressions. More...

Expr	Halide::Internal::bound_correlated_differences (const Expr &expr)
	Refactor the expression to remove correlated differences or rewrite them in a form that is more amenable to bounds inference. More...

Detailed Description

Defines a simplification pass for handling differences of correlated expressions.

Namespaces