bounds.cc File Reference

#include <algorithm>
#include <climits>
#include <functional>
#include <numeric>
#include <type_traits>
#include <analyze/all_uses.h>
#include <math/bounds.h>
#include <math/utils.h>

Include dependency graph for bounds.cc:

Namespaces
namespace	freetensor

Functions
UpperBound	freetensor::add (const UpperBound &b1, const UpperBound &b2)
LowerBound	freetensor::add (const LowerBound &b1, const LowerBound &b2)
UpperBound	freetensor::sub (const UpperBound &b1, const LowerBound &b2)
LowerBound	freetensor::sub (const LowerBound &b1, const UpperBound &b2)
UpperBound	freetensor::mul (const UpperBound &b, int k)
LowerBound	freetensor::mul (const LowerBound &b, int k)
UpperBound	freetensor::floorDiv (const UpperBound &b, int k)
LowerBound	freetensor::floorDiv (const LowerBound &b, int k)
UpperBound	freetensor::ceilDiv (const UpperBound &b, int k)
LowerBound	freetensor::ceilDiv (const LowerBound &b, int k)
bool	freetensor::alwaysLT (const UpperBound &b1, const LowerBound &b2)
bool	freetensor::alwaysLE (const UpperBound &b1, const LowerBound &b2)