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

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