#include <Simplify_Internal.h>
Definition at line 289 of file Simplify_Internal.h.
◆ ScopedFact() [1/3]
Halide::Internal::Simplify::ScopedFact::ScopedFact |
( |
Simplify * | s | ) |
|
|
inline |
◆ ~ScopedFact()
Halide::Internal::Simplify::ScopedFact::~ScopedFact |
( |
| ) |
|
◆ ScopedFact() [2/3]
Halide::Internal::Simplify::ScopedFact::ScopedFact |
( |
const ScopedFact & | that | ) |
|
|
delete |
◆ ScopedFact() [3/3]
Halide::Internal::Simplify::ScopedFact::ScopedFact |
( |
ScopedFact && | that | ) |
|
|
default |
◆ learn_false()
void Halide::Internal::Simplify::ScopedFact::learn_false |
( |
const Expr & | fact | ) |
|
◆ learn_true()
void Halide::Internal::Simplify::ScopedFact::learn_true |
( |
const Expr & | fact | ) |
|
◆ learn_upper_bound()
void Halide::Internal::Simplify::ScopedFact::learn_upper_bound |
( |
const Variable * | v, |
|
|
int64_t | val ) |
◆ learn_lower_bound()
void Halide::Internal::Simplify::ScopedFact::learn_lower_bound |
( |
const Variable * | v, |
|
|
int64_t | val ) |
◆ substitute_facts() [1/2]
Expr Halide::Internal::Simplify::ScopedFact::substitute_facts |
( |
const Expr & | e | ) |
|
◆ substitute_facts() [2/2]
Stmt Halide::Internal::Simplify::ScopedFact::substitute_facts |
( |
const Stmt & | s | ) |
|
◆ simplify
Simplify* Halide::Internal::Simplify::ScopedFact::simplify |
◆ pop_list
std::vector<const Variable *> Halide::Internal::Simplify::ScopedFact::pop_list |
◆ bounds_pop_list
std::vector<const Variable *> Halide::Internal::Simplify::ScopedFact::bounds_pop_list |
◆ truths
◆ falsehoods
The documentation for this struct was generated from the following file: