This class represents a multi-affine function with the domain as Z^d, where d is the number of domain variables of the function. More...

#include "mlir/Analysis/Presburger/PWMAFunction.h"

Public Member Functions
	MultiAffineFunction (const PresburgerSpace &space, const IntMatrix &output)

	MultiAffineFunction (const PresburgerSpace &space, const IntMatrix &output, const DivisionRepr &divs)

unsigned	getNumDomainVars () const

unsigned	getNumSymbolVars () const

unsigned	getNumOutputs () const

unsigned	getNumDivs () const

const PresburgerSpace &	getSpace () const
	Get the space of this function. More...

PresburgerSpace	getDomainSpace () const
	Get the domain/output space of the function. More...

PresburgerSpace	getOutputSpace () const

const IntMatrix &	getOutputMatrix () const
	Get a matrix with each row representing row^th output expression. More...

ArrayRef< MPInt >	getOutputExpr (unsigned i) const
	Get the `i^th` output expression. More...

const DivisionRepr &	getDivs () const
	Get the divisions used in this function. More...

void	removeOutputs (unsigned start, unsigned end)
	Remove the specified range of outputs. More...

void	mergeDivs (MultiAffineFunction &other)
	Given a MAF `other`, merges division variables such that both functions have the union of the division vars that exist in the functions. More...

SmallVector< MPInt, 8 >	valueAt (ArrayRef< MPInt > point) const

SmallVector< MPInt, 8 >	valueAt (ArrayRef< int64_t > point) const

bool	isEqual (const MultiAffineFunction &other) const
	Return whether the `this` and `other` are equal when the domain is restricted to `domain`. More...

bool	isEqual (const MultiAffineFunction &other, const IntegerPolyhedron &domain) const

bool	isEqual (const MultiAffineFunction &other, const PresburgerSet &domain) const

void	subtract (const MultiAffineFunction &other)

PresburgerSet	getLexSet (OrderingKind comp, const MultiAffineFunction &other) const
	Return the set of domain points where the output of `this` and `other` are ordered lexicographically according to the given ordering. More...

IntegerRelation	getAsRelation () const
	Get this function as a relation. More...

void	print (raw_ostream &os) const

void	dump () const

Detailed Description

This class represents a multi-affine function with the domain as Z^d, where d is the number of domain variables of the function.

For example:

(x, y) -> (x + 2, 2*x - 3y + 5, 2*x + y).

The output expressions are represented as a matrix with one row for every output, one column for each var including division variables, and an extra column at the end for the constant term.

Checking equality of two such functions is supported, as well as finding the value of the function at a specified point.

Definition at line 41 of file PWMAFunction.h.

Constructor & Destructor Documentation

◆ MultiAffineFunction() [1/2]

mlir::presburger::MultiAffineFunction::MultiAffineFunction	(	const PresburgerSpace &	space,
		const IntMatrix &	output
	)

inline

Definition at line 43 of file PWMAFunction.h.

◆ MultiAffineFunction() [2/2]

mlir::presburger::MultiAffineFunction::MultiAffineFunction	(	const PresburgerSpace &	space,
		const IntMatrix &	output,
		const DivisionRepr &	divs
	)

inline

Definition at line 49 of file PWMAFunction.h.

Member Function Documentation

◆ dump()

void mlir::presburger::MultiAffineFunction::dump ( ) const

◆ getAsRelation()

IntegerRelation MultiAffineFunction::getAsRelation ( ) const

Get this function as a relation.

Definition at line 418 of file PWMAFunction.cpp.

Referenced by isEqual().

◆ getDivs()

const DivisionRepr& mlir::presburger::MultiAffineFunction::getDivs ( ) const

inline

Get the divisions used in this function.

Definition at line 73 of file PWMAFunction.h.

◆ getDomainSpace()

PresburgerSpace mlir::presburger::MultiAffineFunction::getDomainSpace ( ) const

inline

Get the domain/output space of the function.

The returned space is a set space.

Definition at line 64 of file PWMAFunction.h.

References mlir::presburger::PresburgerSpace::getDomainSpace().

Referenced by getLexSet(), and mlir::presburger::PWMAFunction::Piece::isConsistent().

◆ getLexSet()

PresburgerSet MultiAffineFunction::getLexSet	(	OrderingKind	comp,
		const MultiAffineFunction &	other
	)		const

Return the set of domain points where the output of this and other are ordered lexicographically according to the given ordering.

For example, if the given comparison is LT, then the returned set contains all points where the first output of this is lexicographically less than other.

Definition at line 187 of file PWMAFunction.cpp.