MLIR  16.0.0git
Classes | Namespaces
PresburgerRelation.h File Reference
#include "mlir/Analysis/Presburger/IntegerRelation.h"
+ Include dependency graph for PresburgerRelation.h:
+ This graph shows which files directly or indirectly include this file:

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


 Include the generated interface declarations.