freetensor::PBCtx Class Reference

#include <presburger.h>

Public Member Functions
	PBCtx ()
	~PBCtx ()
	PBCtx (const PBCtx &other)=delete
PBCtx &	operator= (const PBCtx &other)=delete
	PBCtx (PBCtx &&other)=delete
PBCtx &	operator= (PBCtx &&other)=delete
isl_ctx *	get () const

Detailed Description

Context for presburger operation

• All operands of a presburger operation should be on the same context.
• Operations in the same context is NOT thread-safe. Explitly transfer to a different context if you want to use in multiple threads.

Constructor & Destructor Documentation

PBCtx() [1/3]

freetensor::PBCtx::PBCtx ( )

inline

~PBCtx()

freetensor::PBCtx::~PBCtx ( )

inline

PBCtx() [2/3]

freetensor::PBCtx::PBCtx ( const PBCtx &  other )

delete

PBCtx() [3/3]

freetensor::PBCtx::PBCtx ( PBCtx &&  other )

delete

Member Function Documentation

get()

isl_ctx * freetensor::PBCtx::get ( ) const

inline

operator=() [1/2]

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

delete

operator=() [2/2]

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

delete

---

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

• include/math/presburger.h