#include <Simplify_Internal.h>
Definition at line 434 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()
◆ learn_lower_bound()
◆ 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: