FreeTensor
Loading...
Searching...
No Matches
Public Member Functions | Friends | List of all members
freetensor::UpperBound Class Reference

#include <bounds.h>

Public Member Functions

 UpperBound (const Expr &expr)
 
 UpperBound (const LinearExpr< Rational< int64_t > > &lin)
 
 UpperBound (LinearExpr< Rational< int64_t > > &&lin)
 
const Exprexpr ()
 
const std::unordered_set< std::string > & allNames ()
 
const LinearExpr< Rational< int64_t > > & lin () const
 

Friends

std::ostream & operator<< (std::ostream &os, const UpperBound &b)
 

Constructor & Destructor Documentation

◆ UpperBound() [1/3]

freetensor::UpperBound::UpperBound ( const Expr expr)
inline

◆ UpperBound() [2/3]

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

◆ UpperBound() [3/3]

freetensor::UpperBound::UpperBound ( LinearExpr< Rational< int64_t > > &&  lin)
inline

Member Function Documentation

◆ allNames()

const std::unordered_set< std::string > & freetensor::UpperBound::allNames ( )

◆ expr()

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

◆ lin()

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

Friends And Related Function Documentation

◆ operator<<

std::ostream & operator<< ( std::ostream &  os,
const UpperBound b 
)
friend

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