freetensor::PBMap Class Reference

#include <presburger.h>

Classes
class	Serialized

Public Member Functions
	PBMap ()
	PBMap (const Ref< PBCtx > &ctx, isl_map *map)
	PBMap (const Ref< PBCtx > &ctx, const std::string &str)
	~PBMap ()
	PBMap (const PBMap &other)
PBMap &	operator= (const PBMap &other)
	PBMap (PBMap &&other)
PBMap &	operator= (PBMap &&other)
bool	isValid () const
const auto &	ctx () const
auto &	ctx ()
isl_map *	get () const
isl_map *	copy () const
isl_map *	move ()
Serialized	toSerialized () const
PBMap	to (const Ref< PBCtx > &ctx) const
bool	empty () const
bool	isSingleValued () const
bool	isBijective () const
isl_size	nBasic () const
isl_size	nInDims () const
isl_size	nOutDims () const
isl_size	nParamDims () const
const char *	nameInDim (unsigned i) const
const char *	nameOutDim (unsigned i) const
const char *	nameParamDim (unsigned i) const

Friends
std::ostream &	operator<< (std::ostream &os, const PBMap &map)

Constructor & Destructor Documentation

PBMap() [1/5]

freetensor::PBMap::PBMap ( )

inline

PBMap() [2/5]

freetensor::PBMap::PBMap ( const Ref< PBCtx > &  ctx, isl_map *  map  )

inline

PBMap() [3/5]

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

inline

~PBMap()

freetensor::PBMap::~PBMap ( )

inline

PBMap() [4/5]

freetensor::PBMap::PBMap ( const PBMap &  other )

inline

PBMap() [5/5]

freetensor::PBMap::PBMap ( PBMap &&  other )

inline

Member Function Documentation

copy()

isl_map * freetensor::PBMap::copy ( ) const

inline

ctx() [1/2]

auto & freetensor::PBMap::ctx ( )

inline

ctx() [2/2]

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

inline

empty()

bool freetensor::PBMap::empty ( ) const

inline

get()

isl_map * freetensor::PBMap::get ( ) const

inline

isBijective()

bool freetensor::PBMap::isBijective ( ) const

inline

isSingleValued()

bool freetensor::PBMap::isSingleValued ( ) const

inline

isValid()

bool freetensor::PBMap::isValid ( ) const

inline

move()

isl_map * freetensor::PBMap::move ( )

inline

nameInDim()

const char * freetensor::PBMap::nameInDim ( unsigned  i ) const

inline

nameOutDim()

const char * freetensor::PBMap::nameOutDim ( unsigned  i ) const

inline

nameParamDim()

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

inline

nBasic()

isl_size freetensor::PBMap::nBasic ( ) const

inline

nInDims()

isl_size freetensor::PBMap::nInDims ( ) const

inline

nOutDims()

isl_size freetensor::PBMap::nOutDims ( ) const

inline

nParamDims()

isl_size freetensor::PBMap::nParamDims ( ) const

inline

operator=() [1/2]

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

inline

operator=() [2/2]

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

inline

to()

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

inline

toSerialized()

Serialized freetensor::PBMap::toSerialized ( ) const

inline

Friends And Related Function Documentation

operator<<

std::ostream & operator<< ( std::ostream &  os, const PBMap &  map  )

friend

---

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

• include/math/presburger.h