freetensor::LowerBound Class Reference

#include <bounds.h>

Public Member Functions
	LowerBound (const Expr &expr)
	LowerBound (const LinearExpr< Rational< int64_t > > &lin)
	LowerBound (LinearExpr< Rational< int64_t > > &&lin)
const Expr &	expr ()
const std::unordered_set< std::string > &	allNames ()
const LinearExpr< Rational< int64_t > > &	lin () const

Friends
std::ostream &	operator<< (std::ostream &os, const LowerBound &u)

Constructor & Destructor Documentation

LowerBound() [1/3]

freetensor::LowerBound::LowerBound ( const Expr &  expr )

inline

LowerBound() [2/3]

freetensor::LowerBound::LowerBound ( const LinearExpr< Rational< int64_t > > &  lin )

inline

LowerBound() [3/3]

freetensor::LowerBound::LowerBound ( LinearExpr< Rational< int64_t > > &&  lin )

inline

Member Function Documentation

allNames()

const std::unordered_set< std::string > & freetensor::LowerBound::allNames

(

)

expr()

const Expr & freetensor::LowerBound::expr

(

)

lin()

const LinearExpr< Rational< int64_t > > & freetensor::LowerBound::lin ( ) const

inline

Friends And Related Function Documentation

operator<<

std::ostream & operator<< ( std::ostream &  os, const LowerBound &  u  )

friend

---

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

• include/math/bounds.h
• src/math/bounds.cc