freetensor::PBFunc Class Reference

#include <presburger.h>

Classes
class	Serialized

Public Member Functions
	PBFunc ()
	PBFunc (const Ref< PBCtx > &ctx, isl_pw_multi_aff *func)
	PBFunc (const Ref< PBCtx > &ctx, const std::string &str)
	PBFunc (const PBSingleFunc &singleFunc)
	PBFunc (PBSingleFunc &&singleFunc)
	PBFunc (const PBMap &map)
	PBFunc (PBMap &&map)
	PBFunc (const PBSet &set)
	PBFunc (PBSet &&set)
	~PBFunc ()
	PBFunc (const PBFunc &other)
PBFunc &	operator= (const PBFunc &other)
	PBFunc (PBFunc &&other)
PBFunc &	operator= (PBFunc &&other)
bool	isValid () const
const auto &	ctx () const
auto &	ctx ()
isl_pw_multi_aff *	get () const
isl_pw_multi_aff *	copy () const
isl_pw_multi_aff *	move ()
Serialized	toSerialized () const
PBFunc	to (const Ref< PBCtx > &ctx) const
isl_size	nInDims () const
isl_size	nOutDims () const
PBSingleFunc	operator[] (isl_size i) const
std::vector< std::pair< PBSet, PBFunc > >	pieces () const

Friends
std::ostream &	operator<< (std::ostream &os, const PBFunc &func)

Constructor & Destructor Documentation

PBFunc() [1/11]

freetensor::PBFunc::PBFunc ( )

inline

PBFunc() [2/11]

freetensor::PBFunc::PBFunc ( const Ref< PBCtx > &  ctx, isl_pw_multi_aff *  func  )

inline

PBFunc() [3/11]

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

inline

PBFunc() [4/11]

freetensor::PBFunc::PBFunc ( const PBSingleFunc &  singleFunc )

inline

PBFunc() [5/11]

freetensor::PBFunc::PBFunc ( PBSingleFunc &&  singleFunc )

inline

PBFunc() [6/11]

freetensor::PBFunc::PBFunc ( const PBMap &  map )

inline

PBFunc() [7/11]

freetensor::PBFunc::PBFunc ( PBMap &&  map )

inline

PBFunc() [8/11]

freetensor::PBFunc::PBFunc ( const PBSet &  set )

inline

PBFunc() [9/11]

freetensor::PBFunc::PBFunc ( PBSet &&  set )

inline

~PBFunc()

freetensor::PBFunc::~PBFunc ( )

inline

PBFunc() [10/11]

freetensor::PBFunc::PBFunc ( const PBFunc &  other )

inline

PBFunc() [11/11]

freetensor::PBFunc::PBFunc ( PBFunc &&  other )

inline

Member Function Documentation

copy()

isl_pw_multi_aff * freetensor::PBFunc::copy ( ) const

inline

ctx() [1/2]

auto & freetensor::PBFunc::ctx ( )

inline

ctx() [2/2]

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

inline

get()

isl_pw_multi_aff * freetensor::PBFunc::get ( ) const

inline

isValid()

bool freetensor::PBFunc::isValid ( ) const

inline

move()

isl_pw_multi_aff * freetensor::PBFunc::move ( )

inline

nInDims()

isl_size freetensor::PBFunc::nInDims ( ) const

inline

nOutDims()

isl_size freetensor::PBFunc::nOutDims ( ) const

inline

operator=() [1/2]

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

inline

operator=() [2/2]

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

inline

operator[]()

PBSingleFunc freetensor::PBFunc::operator[] ( isl_size  i ) const

inline

pieces()

std::vector< std::pair< PBSet, PBFunc > > freetensor::PBFunc::pieces ( ) const

inline

to()

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

inline

toSerialized()

Serialized freetensor::PBFunc::toSerialized ( ) const

inline

Friends And Related Function Documentation

operator<<

std::ostream & operator<< ( std::ostream &  os, const PBFunc &  func  )

friend

---

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

• include/math/presburger.h