1 #ifndef HALIDE_MONOTONIC_H 2 #define HALIDE_MONOTONIC_H A fragment of Halide syntax.
ConstantInterval derivative_bounds(const Expr &e, const std::string &var, const Scope< ConstantInterval > &scope=Scope< ConstantInterval >::empty_scope())
Find the bounds of the derivative of an expression.
std::ostream & operator<<(std::ostream &stream, const Stmt &)
Emit a halide statement on an output stream (such as std::cout) in a human-readable form...
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.
Not visible externally, similar to 'static' linkage in C.
Monotonic
Detect whether an expression is monotonic increasing in a variable, decreasing, or unknown...
Defines the Scope class, which is used for keeping track of names in a scope while traversing IR...
static const Scope< T > & empty_scope()
A const ref to an empty scope.
Monotonic is_monotonic(const Expr &e, const std::string &var, const Scope< ConstantInterval > &scope=Scope< ConstantInterval >::empty_scope())
Defines the Interval class.