#include <Simplify_Internal.h>
Public Member Functions | |
void | learn_false (const Expr &fact) |
void | learn_true (const Expr &fact) |
void | learn_upper_bound (const Variable *v, int64_t val) |
void | learn_lower_bound (const Variable *v, int64_t val) |
Expr | substitute_facts (const Expr &e) |
Stmt | substitute_facts (const Stmt &s) |
ScopedFact (Simplify *s) | |
~ScopedFact () | |
ScopedFact (const ScopedFact &that)=delete | |
ScopedFact (ScopedFact &&that)=default | |
Public Attributes | |
Simplify * | simplify |
std::vector< const Variable * > | pop_list |
std::vector< const Variable * > | bounds_pop_list |
std::set< Expr, IRDeepCompare > | truths |
std::set< Expr, IRDeepCompare > | falsehoods |
Definition at line 283 of file Simplify_Internal.h.
|
inline |
Definition at line 299 of file Simplify_Internal.h.
References Halide::Internal::Simplify::Simplify(), and simplify.
Referenced by ScopedFact(), and ScopedFact().
Halide::Internal::Simplify::ScopedFact::~ScopedFact | ( | ) |
|
delete |
References ScopedFact().
|
default |
References ScopedFact().
void Halide::Internal::Simplify::ScopedFact::learn_false | ( | const Expr & | fact | ) |
Referenced by Halide::Internal::Simplify::scoped_falsehood().
void Halide::Internal::Simplify::ScopedFact::learn_true | ( | const Expr & | fact | ) |
Referenced by Halide::Internal::Simplify::scoped_truth().
References Halide::Internal::Simplify::v.
References Halide::Internal::Simplify::v.
Simplify* Halide::Internal::Simplify::ScopedFact::simplify |
Definition at line 284 of file Simplify_Internal.h.
Referenced by ScopedFact().
std::vector<const Variable *> Halide::Internal::Simplify::ScopedFact::pop_list |
Definition at line 286 of file Simplify_Internal.h.
std::vector<const Variable *> Halide::Internal::Simplify::ScopedFact::bounds_pop_list |
Definition at line 287 of file Simplify_Internal.h.
std::set<Expr, IRDeepCompare> Halide::Internal::Simplify::ScopedFact::truths |
Definition at line 288 of file Simplify_Internal.h.
std::set<Expr, IRDeepCompare> Halide::Internal::Simplify::ScopedFact::falsehoods |
Definition at line 288 of file Simplify_Internal.h.