freetensor::PBBuilder Class Reference

#include <presburger.h>

Inheritance diagram for freetensor::PBBuilder:

Public Member Functions
	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 ()

Protected Member Functions
PBBuildExpr	newVar (const std::string &name="")
std::vector< PBBuildExpr >	newVars (int n, const std::string &prefix="")
std::string	getConstraintsStr () const

Constructor & Destructor Documentation

PBBuilder() [1/3]

freetensor::PBBuilder::PBBuilder ( )

default

PBBuilder() [2/3]

freetensor::PBBuilder::PBBuilder ( const PBBuilder &  )

default

PBBuilder() [3/3]

freetensor::PBBuilder::PBBuilder ( PBBuilder &&  )

default

Member Function Documentation

addConstraint() [1/2]

void freetensor::PBBuilder::addConstraint

(

const PBBuildExpr &

constraint

)

addConstraint() [2/2]

void freetensor::PBBuilder::addConstraint

(

PBBuildExpr &&

constraint

)

addConstraints()

template<typename T = std::initializer_list<PBBuildExpr>>

void freetensor::PBBuilder::addConstraints ( T &&  constraints )

inline

clearConstraints()

void freetensor::PBBuilder::clearConstraints ( )

inline

constraints()

const std::vector< PBBuildExpr > & freetensor::PBBuilder::constraints ( ) const

inline

getConstraintsStr()

std::string freetensor::PBBuilder::getConstraintsStr ( ) const

protected

newVar()

PBBuildExpr freetensor::PBBuilder::newVar ( const std::string &  name = "" )

protected

newVars()

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

protected

operator=() [1/2]

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

default

operator=() [2/2]

PBBuilder & freetensor::PBBuilder::operator= ( PBBuilder &&  )

default

---

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

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