#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>
Include dependency graph for IntegerRelation.h:
This graph shows which files directly or indirectly include this file:
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 | |
