MLIR  17.0.0git
Classes | Namespaces | Enumerations
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...