freetensor::PBMapBuilder Class Reference

#include <presburger.h>

Inheritance diagram for freetensor::PBMapBuilder:

Collaboration diagram for freetensor::PBMapBuilder:

Public Member Functions
	PBMapBuilder ()=default
	PBMapBuilder (const PBMapBuilder &)=default
	PBMapBuilder (PBMapBuilder &&)=default
PBMapBuilder &	operator= (const PBMapBuilder &)=default
PBMapBuilder &	operator= (PBMapBuilder &&)=default
void	addInput (const PBBuildExpr &expr)
void	addInputs (auto &&exprs)
PBBuildExpr	newInput (const std::string &name)
std::vector< PBBuildExpr >	newInputs (int n, const std::string &prefix="")
const std::vector< PBBuildExpr > &	inputs () const
void	clearInputs ()
void	addOutput (const PBBuildExpr &expr)
void	addOutputs (auto &&exprs)
PBBuildExpr	newOutput (const std::string &name)
std::vector< PBBuildExpr >	newOutputs (int n, const std::string &prefix="")
const std::vector< PBBuildExpr > &	outputs () const
void	clearOutputs ()
PBMap	build (const Ref< PBCtx > &ctx) const
Public Member Functions inherited from freetensor::PBBuilder
	PBBuilder ()=default
	PBBuilder (const PBBuilder &)=default
	PBBuilder (PBBuilder &&)=default
PBBuilder &	operator= (const PBBuilder &)=default
PBBuilder &	operator= (PBBuilder &&)=default
void	addConstraint (const PBBuildExpr &constraint)
void	addConstraint (PBBuildExpr &&constraint)
template<typename T = std::initializer_list<PBBuildExpr>>
void	addConstraints (T &&constraints)
const std::vector< PBBuildExpr > &	constraints () const
void	clearConstraints ()

Additional Inherited Members
Protected Member Functions inherited from freetensor::PBBuilder
PBBuildExpr	newVar (const std::string &name="")
std::vector< PBBuildExpr >	newVars (int n, const std::string &prefix="")
std::string	getConstraintsStr () const

Constructor & Destructor Documentation

PBMapBuilder() [1/3]

freetensor::PBMapBuilder::PBMapBuilder ( )

default

PBMapBuilder() [2/3]

freetensor::PBMapBuilder::PBMapBuilder ( const PBMapBuilder &  )

default

PBMapBuilder() [3/3]

freetensor::PBMapBuilder::PBMapBuilder ( PBMapBuilder &&  )

default

Member Function Documentation

addInput()

void freetensor::PBMapBuilder::addInput

(

const PBBuildExpr &

expr

)

addInputs()

void freetensor::PBMapBuilder::addInputs ( auto &&  exprs )

inline

addOutput()

void freetensor::PBMapBuilder::addOutput

(

const PBBuildExpr &

expr

)

addOutputs()

void freetensor::PBMapBuilder::addOutputs ( auto &&  exprs )

inline

build()

PBMap freetensor::PBMapBuilder::build

(

const Ref< PBCtx > &

ctx

)

const

clearInputs()

void freetensor::PBMapBuilder::clearInputs ( )

inline

clearOutputs()

void freetensor::PBMapBuilder::clearOutputs ( )

inline

inputs()

const std::vector< PBBuildExpr > & freetensor::PBMapBuilder::inputs ( ) const

inline

newInput()

PBBuildExpr freetensor::PBMapBuilder::newInput

(

const std::string &

name

)

newInputs()

std::vector< PBBuildExpr > freetensor::PBMapBuilder::newInputs	(	int	n,
		const std::string &	prefix = ""
	)

newOutput()

PBBuildExpr freetensor::PBMapBuilder::newOutput

(

const std::string &

name

)

newOutputs()

std::vector< PBBuildExpr > freetensor::PBMapBuilder::newOutputs	(	int	n,
		const std::string &	prefix = ""
	)

operator=() [1/2]

PBMapBuilder & freetensor::PBMapBuilder::operator= ( const PBMapBuilder &  )

default

operator=() [2/2]

PBMapBuilder & freetensor::PBMapBuilder::operator= ( PBMapBuilder &&  )

default

outputs()

const std::vector< PBBuildExpr > & freetensor::PBMapBuilder::outputs ( ) const

inline

---

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

• include/math/presburger.h
• src/math/presburger.cc