MLIR
17.0.0git
|
#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 "mlir/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 | |