MLIR  18.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.


class  mlir::presburger::Identifier
 An Identifier stores a pointer to an object, such as a Value or an Operation. More...
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 class  mlir::presburger::VarKind {
  mlir::presburger::Symbol , mlir::presburger::Local , mlir::presburger::Domain , mlir::presburger::Range ,
  mlir::presburger::SetDim = Range
 Kind of variable. More...