#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::vector< Expr >	truths

std::vector< Expr >	falsehoods

Detailed Description

Definition at line 250 of file Simplify_Internal.h.

Constructor & Destructor Documentation

◆ ScopedFact() [1/3]

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

inline

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

Referenced by Halide::Internal::Simplify::scoped_falsehood().

◆ learn_true()

void Halide::Internal::Simplify::ScopedFact::learn_true ( const Expr & fact )

Referenced by Halide::Internal::Simplify::scoped_truth().

◆ 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 251 of file Simplify_Internal.h.

◆ pop_list

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

Definition at line 253 of file Simplify_Internal.h.

◆ bounds_pop_list

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

Definition at line 254 of file Simplify_Internal.h.

◆ truths

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

Definition at line 255 of file Simplify_Internal.h.

◆ falsehoods

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