mlir::SDBM Class Reference

#include <SDBM.h>

Public Member Functions
void	getSDBMExpressions (SDBMDialect *dialect, SmallVectorImpl< SDBMExpr > &inequalities, SmallVectorImpl< SDBMExpr > &equalities)
void	print (raw_ostream &os)
void	dump ()
IntInfty	operator() (int i, int j)

Static Public Member Functions
static SDBM	get (ArrayRef< SDBMExpr > inequalities, ArrayRef< SDBMExpr > equalities)

Detailed Description

Striped difference-bound matrix is a representation of an integer set bound by a system of SDBMExprs interpreted as inequalities "expr <= 0".

Member Function Documentation

dump()

void SDBM::dump

(

)

get()

SDBM SDBM::get ( ArrayRef< SDBMExpr >  inequalities, ArrayRef< SDBMExpr >  equalities  )

static

Obtain an SDBM from a list of SDBM expressions treated as inequalities and equalities with zero.

getSDBMExpressions()

void SDBM::getSDBMExpressions	(	SDBMDialect *	dialect,
		SmallVectorImpl< SDBMExpr > &	inequalities,
		SmallVectorImpl< SDBMExpr > &	equalities
	)

operator()()

IntInfty mlir::SDBM::operator() ( int  i, int  j  )

inline

print()

void SDBM::print

(

raw_ostream &

os

)

---

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

• include/mlir/Dialect/SDBM/SDBM.h
• lib/Dialect/SDBM/SDBM.cpp