MLIR  17.0.0git
Classes | Namespaces
PresburgerRelation.h File Reference
#include "mlir/Analysis/Presburger/IntegerRelation.h"
#include <optional>

Go to the source code of this file.


class  mlir::presburger::PresburgerRelation
 A PresburgerRelation represents a union of IntegerRelations that live in the same PresburgerSpace with support for union, intersection, subtraction, and complement operations, as well as sampling. More...
class  mlir::presburger::PresburgerSet


 This header declares functions that assit transformations in the MemRef dialect.