mlir::presburger::MaybeOptimum< T > Class Template Reference

#include "mlir/Analysis/Presburger/Utils.h"

Public Member Functions
	MaybeOptimum ()=default
	MaybeOptimum (OptimumKind kind)
	MaybeOptimum (const T &optimum)
OptimumKind	getKind () const
bool	isBounded () const
bool	isUnbounded () const
bool	isEmpty () const
std::optional< T >	getOptimumIfBounded () const
const T &	getBoundedOptimum () const
T &	getBoundedOptimum ()
const T &	operator* () const
T &	operator* ()
const T *	operator-> () const
T *	operator-> ()
bool	operator== (const MaybeOptimum< T > &other) const
template<class Function >
auto	map (const Function &f) const &-> MaybeOptimum< decltype(f(optimum))>

Detailed Description

template<typename T>
class mlir::presburger::MaybeOptimum< T >

Definition at line 36 of file Utils.h.

Constructor & Destructor Documentation

MaybeOptimum() [1/3]

template<typename T >

mlir::presburger::MaybeOptimum< T >::MaybeOptimum ( )

default

MaybeOptimum() [2/3]

template<typename T >

mlir::presburger::MaybeOptimum< T >::MaybeOptimum ( OptimumKind  kind )

inline

Definition at line 44 of file Utils.h.

References mlir::presburger::Bounded.

MaybeOptimum() [3/3]

template<typename T >

mlir::presburger::MaybeOptimum< T >::MaybeOptimum ( const T &  optimum )

inline

Definition at line 48 of file Utils.h.

References mlir::presburger::Bounded.

Member Function Documentation

getBoundedOptimum() [1/2]

template<typename T >

T& mlir::presburger::MaybeOptimum< T >::getBoundedOptimum ( )

inline

Definition at line 62 of file Utils.h.

References mlir::presburger::Bounded.

getBoundedOptimum() [2/2]

template<typename T >

const T& mlir::presburger::MaybeOptimum< T >::getBoundedOptimum ( ) const

inline

Definition at line 57 of file Utils.h.

References mlir::presburger::Bounded.

Referenced by mlir::presburger::MaybeOptimum< T >::operator*(), and mlir::presburger::MaybeOptimum< T >::operator->().

getKind()

template<typename T >

OptimumKind mlir::presburger::MaybeOptimum< T >::getKind ( ) const

inline

Definition at line 51 of file Utils.h.

Referenced by mlir::presburger::IntegerRelation::findIntegerLexMin().

getOptimumIfBounded()

template<typename T >

std::optional<T> mlir::presburger::MaybeOptimum< T >::getOptimumIfBounded ( ) const

inline

Definition at line 56 of file Utils.h.

isBounded()

template<typename T >

bool mlir::presburger::MaybeOptimum< T >::isBounded ( ) const

inline

Definition at line 52 of file Utils.h.

References mlir::presburger::Bounded.

Referenced by mlir::presburger::GBRSimplex::computeWidth(), mlir::presburger::GBRSimplex::computeWidthAndDuals(), mlir::presburger::Simplex::findIneqType(), mlir::presburger::IntegerRelation::findIntegerLexMin(), mlir::presburger::IntegerRelation::findRationalLexMin(), and mlir::presburger::Simplex::isRedundantEquality().

isEmpty()

template<typename T >

bool mlir::presburger::MaybeOptimum< T >::isEmpty ( ) const

inline

Definition at line 54 of file Utils.h.

References mlir::presburger::Empty.

Referenced by mlir::presburger::LexSimplex::findIntegerLexMin(), and mlir::presburger::Simplex::isRedundantEquality().

isUnbounded()

template<typename T >

bool mlir::presburger::MaybeOptimum< T >::isUnbounded ( ) const

inline

Definition at line 53 of file Utils.h.

References mlir::presburger::Unbounded.

Referenced by mlir::presburger::Simplex::detectRedundant(), and mlir::presburger::LexSimplex::findIntegerLexMin().

map()

template<typename T >

template<class Function >

auto mlir::presburger::MaybeOptimum< T >::map ( const Function &  f ) const & -> MaybeOptimum<decltype(f(optimum))>

inline

Definition at line 83 of file Utils.h.

References mlir::presburger::Bounded.

operator*() [1/2]

template<typename T >

T& mlir::presburger::MaybeOptimum< T >::operator* ( )

inline

Definition at line 68 of file Utils.h.

References mlir::presburger::MaybeOptimum< T >::getBoundedOptimum().

operator*() [2/2]

template<typename T >

const T& mlir::presburger::MaybeOptimum< T >::operator* ( ) const

inline

Definition at line 67 of file Utils.h.

References mlir::presburger::MaybeOptimum< T >::getBoundedOptimum().

operator->() [1/2]

template<typename T >

T* mlir::presburger::MaybeOptimum< T >::operator-> ( )

inline

Definition at line 70 of file Utils.h.

References mlir::presburger::MaybeOptimum< T >::getBoundedOptimum().

operator->() [2/2]

template<typename T >

const T* mlir::presburger::MaybeOptimum< T >::operator-> ( ) const

inline

Definition at line 69 of file Utils.h.

References mlir::presburger::MaybeOptimum< T >::getBoundedOptimum().

operator==()

template<typename T >

bool mlir::presburger::MaybeOptimum< T >::operator== ( const MaybeOptimum< T > &  other ) const

inline

Definition at line 71 of file Utils.h.

References mlir::presburger::Bounded.

---

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

• include/mlir/Analysis/Presburger/Utils.h