freetensor::PBSpace Class Reference

#include <presburger.h>

Public Member Functions
	PBSpace ()
	PBSpace (const Ref< PBCtx > &ctx, isl_space *space)
	PBSpace (const PBSet &set)
	PBSpace (const PBMap &map)
	~PBSpace ()
	PBSpace (const PBSpace &other)
PBSpace &	operator= (const PBSpace &other)
	PBSpace (PBSpace &&other)
PBSpace &	operator= (PBSpace &&other)
bool	isValid () const
const auto &	ctx () const
auto &	ctx ()
isl_space *	get () const
isl_space *	copy () const
isl_space *	move ()
bool	operator== (const PBSpace &other) const

Friends
std::ostream &	operator<< (std::ostream &os, const PBSpace &space)

Constructor & Destructor Documentation

PBSpace() [1/6]

freetensor::PBSpace::PBSpace ( )

inline

PBSpace() [2/6]

freetensor::PBSpace::PBSpace ( const Ref< PBCtx > &  ctx, isl_space *  space  )

inline

PBSpace() [3/6]

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

inline

PBSpace() [4/6]

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

inline

~PBSpace()

freetensor::PBSpace::~PBSpace ( )

inline

PBSpace() [5/6]

freetensor::PBSpace::PBSpace ( const PBSpace &  other )

inline

PBSpace() [6/6]

freetensor::PBSpace::PBSpace ( PBSpace &&  other )

inline

Member Function Documentation

copy()

isl_space * freetensor::PBSpace::copy ( ) const

inline

ctx() [1/2]

auto & freetensor::PBSpace::ctx ( )

inline

ctx() [2/2]

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

inline

get()

isl_space * freetensor::PBSpace::get ( ) const

inline

isValid()

bool freetensor::PBSpace::isValid ( ) const

inline

move()

isl_space * freetensor::PBSpace::move ( )

inline

operator=() [1/2]

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

inline

operator=() [2/2]

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

inline

operator==()

bool freetensor::PBSpace::operator== ( const PBSpace &  other ) const

inline

Friends And Related Function Documentation

operator<<

std::ostream & operator<< ( std::ostream &  os, const PBSpace &  space  )

friend

---

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

• include/math/presburger.h