Halide 19.0.0
Halide compiler and libraries
Loading...
Searching...
No Matches
Halide::Internal::Simplify::ScopedFact Struct Reference

#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

Simplifysimplify
 
std::vector< const Variable * > pop_list
 
std::vector< const Variable * > bounds_pop_list
 
std::set< Expr, IRDeepComparetruths
 
std::set< Expr, IRDeepComparefalsehoods
 

Detailed Description

Definition at line 289 of file Simplify_Internal.h.

Constructor & Destructor Documentation

◆ ScopedFact() [1/3]

Halide::Internal::Simplify::ScopedFact::ScopedFact ( Simplify * s)
inline

Definition at line 305 of file Simplify_Internal.h.

◆ ~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

Member Function Documentation

◆ 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)

Member Data Documentation

◆ simplify

Simplify* Halide::Internal::Simplify::ScopedFact::simplify

Definition at line 290 of file Simplify_Internal.h.

◆ pop_list

std::vector<const Variable *> Halide::Internal::Simplify::ScopedFact::pop_list

Definition at line 292 of file Simplify_Internal.h.

◆ bounds_pop_list

std::vector<const Variable *> Halide::Internal::Simplify::ScopedFact::bounds_pop_list

Definition at line 293 of file Simplify_Internal.h.

◆ truths

std::set<Expr, IRDeepCompare> Halide::Internal::Simplify::ScopedFact::truths

Definition at line 294 of file Simplify_Internal.h.

◆ falsehoods

std::set<Expr, IRDeepCompare> Halide::Internal::Simplify::ScopedFact::falsehoods

Definition at line 294 of file Simplify_Internal.h.


The documentation for this struct was generated from the following file: