MLIR  16.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"
+ Include dependency graph for PresburgerSpace.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


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


 Include the generated interface declarations.


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