MLIR  20.0.0git
Classes | Namespaces | Enumerations
PresburgerSpace.h File Reference
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/PointerLikeTypeTraits.h"
#include "llvm/Support/TypeName.h"
#include "llvm/Support/raw_ostream.h"

Go to the source code of this file.

Classes

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

Namespaces

 mlir
 Include the generated interface declarations.
 
 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...