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