PresburgerSpace.h File Reference

#include "mlir/Support/TypeID.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/PointerLikeTypeTraits.h"
#include "llvm/Support/raw_ostream.h"

Go to the source code of this file.

Classes
class	mlir::presburger::PresburgerSpace
	PresburgerSpace is the space of all possible values of a tuple of integer valued variables/variables. More...

Namespaces
	mlir
	This header declares functions that assist transformations in the MemRef dialect.
	mlir::presburger

Enumerations
enum class	mlir::presburger::VarKind {   mlir::presburger::Symbol , mlir::presburger::Local , mlir::presburger::Domain , mlir::presburger::Range ,   mlir::presburger::SetDim = Range }
	Kind of variable. More...