MLIR  19.0.0git
Classes | Namespaces | Functions
AffineStructures.h File Reference
#include "mlir/Analysis/FlatLinearValueConstraints.h"
#include "mlir/Analysis/Presburger/IntegerRelation.h"
#include "mlir/Analysis/Presburger/Matrix.h"
#include "mlir/IR/AffineExpr.h"
#include "mlir/IR/OpDefinition.h"
#include <optional>

Go to the source code of this file.


class  mlir::affine::FlatAffineValueConstraints
 FlatAffineValueConstraints is an extension of FlatLinearValueConstraints with helper functions for Affine dialect ops. More...
class  mlir::affine::FlatAffineRelation
 A FlatAffineRelation represents a set of ordered pairs (domain -> range) where "domain" and "range" are tuples of variables. More...


 Include the generated interface declarations.


LogicalResult mlir::affine::getRelationFromMap (AffineMap &map, presburger::IntegerRelation &rel)
 Builds a relation from the given AffineMap/AffineValueMap map, containing all pairs of the form operands -> result that satisfy map. More...
LogicalResult mlir::affine::getRelationFromMap (const AffineValueMap &map, presburger::IntegerRelation &rel)