freetensor::PBSet Class Reference

#include <presburger.h>

Classes
class	Serialized

Public Member Functions
	PBSet ()
	PBSet (const Ref< PBCtx > &ctx, isl_set *set)
	PBSet (const Ref< PBCtx > &ctx, const std::string &str)
	~PBSet ()
	PBSet (const PBSet &other)
PBSet &	operator= (const PBSet &other)
	PBSet (PBSet &&other)
PBSet &	operator= (PBSet &&other)
bool	isValid () const
const auto &	ctx () const
auto &	ctx ()
isl_set *	get () const
isl_set *	copy () const
isl_set *	move ()
Serialized	toSerialized () const
PBSet	to (const Ref< PBCtx > &ctx) const
bool	empty () const
bool	isSingleValued () const
isl_size	nBasic () const
isl_size	nDims () const
isl_size	nParamDims () const
const char *	nameDim (unsigned i) const
const char *	nameParamDim (unsigned i) const
bool	hasLowerBound (unsigned i) const
bool	hasUpperBound (unsigned i) const

Friends
std::ostream &	operator<< (std::ostream &os, const PBSet &set)

Constructor & Destructor Documentation

PBSet() [1/5]

freetensor::PBSet::PBSet ( )

inline

PBSet() [2/5]

freetensor::PBSet::PBSet ( const Ref< PBCtx > &  ctx, isl_set *  set  )

inline

PBSet() [3/5]

freetensor::PBSet::PBSet ( const Ref< PBCtx > &  ctx, const std::string &  str  )

inline

~PBSet()

freetensor::PBSet::~PBSet ( )

inline

PBSet() [4/5]

freetensor::PBSet::PBSet ( const PBSet &  other )

inline

PBSet() [5/5]

freetensor::PBSet::PBSet ( PBSet &&  other )

inline

Member Function Documentation

copy()

isl_set * freetensor::PBSet::copy ( ) const

inline

ctx() [1/2]

auto & freetensor::PBSet::ctx ( )

inline

ctx() [2/2]

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

inline

empty()

bool freetensor::PBSet::empty ( ) const

inline

get()

isl_set * freetensor::PBSet::get ( ) const

inline

hasLowerBound()

bool freetensor::PBSet::hasLowerBound ( unsigned  i ) const

inline

hasUpperBound()

bool freetensor::PBSet::hasUpperBound ( unsigned  i ) const

inline

isSingleValued()

bool freetensor::PBSet::isSingleValued ( ) const

inline

isValid()

bool freetensor::PBSet::isValid ( ) const

inline

move()

isl_set * freetensor::PBSet::move ( )

inline

nameDim()

const char * freetensor::PBSet::nameDim ( unsigned  i ) const

inline

nameParamDim()

const char * freetensor::PBSet::nameParamDim ( unsigned  i ) const

inline

nBasic()

isl_size freetensor::PBSet::nBasic ( ) const

inline

nDims()

isl_size freetensor::PBSet::nDims ( ) const

inline

nParamDims()

isl_size freetensor::PBSet::nParamDims ( ) const

inline

operator=() [1/2]

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

inline

operator=() [2/2]

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

inline

to()

PBSet freetensor::PBSet::to ( const Ref< PBCtx > &  ctx ) const

inline

toSerialized()

Serialized freetensor::PBSet::toSerialized ( ) const

inline

Friends And Related Function Documentation

operator<<

std::ostream & operator<< ( std::ostream &  os, const PBSet &  set  )

friend

---

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

• include/math/presburger.h