Halide
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)
 
 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::vector< Exprtruths
 
std::vector< Exprfalsehoods
 

Detailed Description

Definition at line 225 of file Simplify_Internal.h.

Constructor & Destructor Documentation

◆ ScopedFact() [1/3]

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

Definition at line 237 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 
)

Member Data Documentation

◆ simplify

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

Definition at line 226 of file Simplify_Internal.h.

◆ pop_list

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

Definition at line 228 of file Simplify_Internal.h.

◆ bounds_pop_list

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

Definition at line 229 of file Simplify_Internal.h.

◆ truths

std::vector<Expr> Halide::Internal::Simplify::ScopedFact::truths

Definition at line 230 of file Simplify_Internal.h.

◆ falsehoods

std::vector<Expr> Halide::Internal::Simplify::ScopedFact::falsehoods

Definition at line 230 of file Simplify_Internal.h.


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