MLIR  20.0.0git
Classes | Namespaces | Enumerations
IntegerRelation.h File Reference
#include "mlir/Analysis/Presburger/Fraction.h"
#include "mlir/Analysis/Presburger/Matrix.h"
#include "mlir/Analysis/Presburger/PresburgerSpace.h"
#include "mlir/Analysis/Presburger/Utils.h"
#include "llvm/ADT/DynamicAPInt.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/LogicalResult.h"
#include <optional>

Go to the source code of this file.

Classes

class  mlir::presburger::IntegerRelation
 An IntegerRelation represents the set of points from a PresburgerSpace that satisfy a list of affine constraints. More...
 
struct  mlir::presburger::IntegerRelation::CountsSnapshot
 The struct CountsSnapshot stores the count of each VarKind, and also of each constraint type. More...
 
class  mlir::presburger::IntegerPolyhedron
 An IntegerPolyhedron represents the set of points from a PresburgerSpace that satisfy a list of affine constraints. More...
 

Namespaces

 mlir
 Include the generated interface declarations.
 
 mlir::presburger
 

Enumerations

enum class  mlir::presburger::BoundType { mlir::presburger::EQ , mlir::presburger::LB , mlir::presburger::UB }
 The type of bound: equal, lower bound or upper bound. More...