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.

Classes

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
 

Namespaces

 mlir
 Include the generated interface declarations.
 
 mlir::presburger