|
FreeTensor
|
#include <bounds.h>
Public Member Functions | |
| UpperBound (const Expr &expr) | |
| UpperBound (const LinearExpr< Rational< int64_t > > &lin) | |
| UpperBound (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 UpperBound &b) |
|
inline |
|
inline |
|
inline |
| const std::unordered_set< std::string > & freetensor::UpperBound::allNames | ( | ) |
| const Expr & freetensor::UpperBound::expr | ( | ) |
|
inline |
|
friend |