freetensor::PBSetBuilder Class Reference

#include <presburger.h>

Inheritance diagram for freetensor::PBSetBuilder:

Collaboration diagram for freetensor::PBSetBuilder:

Public Member Functions
	PBSetBuilder ()=default
	PBSetBuilder (const PBSetBuilder &)=default
	PBSetBuilder (PBSetBuilder &&)=default
PBSetBuilder &	operator= (const PBSetBuilder &)=default
PBSetBuilder &	operator= (PBSetBuilder &&)=default
void	addVar (const PBBuildExpr &expr)
void	addVars (auto &&exprs)
PBBuildExpr	newVar (const std::string &name)
std::vector< PBBuildExpr >	newVars (int n, const std::string &prefix="")
const std::vector< PBBuildExpr > &	vars () const
void	clearVars ()
PBSet	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

PBSetBuilder() [1/3]

freetensor::PBSetBuilder::PBSetBuilder ( )

default

PBSetBuilder() [2/3]

freetensor::PBSetBuilder::PBSetBuilder ( const PBSetBuilder &  )

default

PBSetBuilder() [3/3]

freetensor::PBSetBuilder::PBSetBuilder ( PBSetBuilder &&  )

default

Member Function Documentation

addVar()

void freetensor::PBSetBuilder::addVar

(

const PBBuildExpr &

expr

)

addVars()

void freetensor::PBSetBuilder::addVars ( auto &&  exprs )

inline

build()

PBSet freetensor::PBSetBuilder::build

(

const Ref< PBCtx > &

ctx

)

const

clearVars()

void freetensor::PBSetBuilder::clearVars ( )

inline

newVar()

PBBuildExpr freetensor::PBSetBuilder::newVar

(

const std::string &

name

)

newVars()

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

operator=() [1/2]

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

default

operator=() [2/2]

PBSetBuilder & freetensor::PBSetBuilder::operator= ( PBSetBuilder &&  )

default

vars()

const std::vector< PBBuildExpr > & freetensor::PBSetBuilder::vars ( ) const

inline

---

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

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