freetensor::PBVal Class Reference

#include <presburger.h>

Public Member Functions
	PBVal ()
	PBVal (const Ref< PBCtx > &ctx, isl_val *val)
	~PBVal ()
	PBVal (const PBVal &other)
PBVal &	operator= (const PBVal &other)
	PBVal (PBVal &&other)
PBVal &	operator= (PBVal &&other)
bool	isValid () const
const auto &	ctx () const
auto &	ctx ()
isl_val *	get () const
isl_val *	copy () const
isl_val *	move ()
bool	isNaN () const
bool	isRat () const
bool	isInt () const
bool	isInf () const
bool	isNegInf () const
int	numSi () const
int	denSi () const

Friends
std::ostream &	operator<< (std::ostream &os, const PBVal &val)

Constructor & Destructor Documentation

PBVal() [1/4]

freetensor::PBVal::PBVal ( )

inline

PBVal() [2/4]

freetensor::PBVal::PBVal ( const Ref< PBCtx > &  ctx, isl_val *  val  )

inline

~PBVal()

freetensor::PBVal::~PBVal ( )

inline

PBVal() [3/4]

freetensor::PBVal::PBVal ( const PBVal &  other )

inline

PBVal() [4/4]

freetensor::PBVal::PBVal ( PBVal &&  other )

inline

Member Function Documentation

copy()

isl_val * freetensor::PBVal::copy ( ) const

inline

ctx() [1/2]

auto & freetensor::PBVal::ctx ( )

inline

ctx() [2/2]

const auto & freetensor::PBVal::ctx ( ) const

inline

denSi()

int freetensor::PBVal::denSi ( ) const

inline

get()

isl_val * freetensor::PBVal::get ( ) const

inline

isInf()

bool freetensor::PBVal::isInf ( ) const

inline

isInt()

bool freetensor::PBVal::isInt ( ) const

inline

isNaN()

bool freetensor::PBVal::isNaN ( ) const

inline

isNegInf()

bool freetensor::PBVal::isNegInf ( ) const

inline

isRat()

bool freetensor::PBVal::isRat ( ) const

inline

isValid()

bool freetensor::PBVal::isValid ( ) const

inline

move()

isl_val * freetensor::PBVal::move ( )

inline

numSi()

int freetensor::PBVal::numSi ( ) const

inline

operator=() [1/2]

PBVal & freetensor::PBVal::operator= ( const PBVal &  other )

inline

operator=() [2/2]

PBVal & freetensor::PBVal::operator= ( PBVal &&  other )

inline

Friends And Related Function Documentation

operator<<

std::ostream & operator<< ( std::ostream &  os, const PBVal &  val  )

friend

---

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

• include/math/presburger.h