freetensor::CompUniqueBounds Class Reference

#include <comp_unique_bounds.h>

Inheritance diagram for freetensor::CompUniqueBounds:

Collaboration diagram for freetensor::CompUniqueBounds:

Classes
class	Bound

Public Types
enum class	BoundType { Combination , Presburger }

Public Member Functions
	CompUniqueBounds (const CompTransientBoundsInterface &transients)
virtual	~CompUniqueBounds ()
virtual Ref< Bound >	getBound (const Expr &op)=0
int64_t	getIntLower (const Expr &op)
int64_t	getIntUpper (const Expr &op)
std::optional< int64_t >	getInt (const Expr &op)
virtual bool	alwaysLT (const Expr &lhs, const Expr &rhs)=0
virtual bool	alwaysLE (const Expr &lhs, const Expr &rhs)=0
virtual std::pair< Expr, Expr >	unionBounds (const std::vector< Ref< Bound > > &bounds)=0

Protected Attributes
const CompTransientBoundsInterface &	transients_

Member Enumeration Documentation

BoundType

enum class freetensor::CompUniqueBounds::BoundType

strong

Enumerator
Combination
Presburger

Constructor & Destructor Documentation

CompUniqueBounds()

freetensor::CompUniqueBounds::CompUniqueBounds ( const CompTransientBoundsInterface &  transients )

inline

~CompUniqueBounds()

virtual freetensor::CompUniqueBounds::~CompUniqueBounds ( )

inlinevirtual

Member Function Documentation

alwaysLE()

virtual bool freetensor::CompUniqueBounds::alwaysLE ( const Expr &  lhs, const Expr &  rhs  )

pure virtual

Implemented in freetensor::CompUniqueBoundsCombination, and freetensor::CompUniqueBoundsPB.

alwaysLT()

virtual bool freetensor::CompUniqueBounds::alwaysLT ( const Expr &  lhs, const Expr &  rhs  )

pure virtual

Implemented in freetensor::CompUniqueBoundsCombination, and freetensor::CompUniqueBoundsPB.

getBound()

virtual Ref< Bound > freetensor::CompUniqueBounds::getBound ( const Expr &  op )

pure virtual

Implemented in freetensor::CompUniqueBoundsCombination, and freetensor::CompUniqueBoundsPB.

getInt()

std::optional< int64_t > freetensor::CompUniqueBounds::getInt ( const Expr &  op )

inline

getIntLower()

int64_t freetensor::CompUniqueBounds::getIntLower ( const Expr &  op )

inline

getIntUpper()

int64_t freetensor::CompUniqueBounds::getIntUpper ( const Expr &  op )

inline

unionBounds()

virtual std::pair< Expr, Expr > freetensor::CompUniqueBounds::unionBounds ( const std::vector< Ref< Bound > > &  bounds )

pure virtual

Implemented in freetensor::CompUniqueBoundsCombination, and freetensor::CompUniqueBoundsPB.

Member Data Documentation

transients_

const CompTransientBoundsInterface& freetensor::CompUniqueBounds::transients_

protected

---

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

• include/analyze/comp_unique_bounds.h